aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath7
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs9
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF1
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties3
4 files changed, 10 insertions, 10 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath
index 0a5954ed..88c4b9c4 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath
@@ -2,17 +2,12 @@
2<classpath> 2<classpath>
3 <classpathentry kind="src" path="src"/> 3 <classpathentry kind="src" path="src"/>
4 <classpathentry kind="src" path="xtend-gen"/> 4 <classpathentry kind="src" path="xtend-gen"/>
5 <classpathentry kind="src" path="tests"/>
6 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5">
7 <attributes>
8 <attribute name="maven.pomderived" value="true"/>
9 </attributes>
10 </classpathentry>
11 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> 5 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
12 <classpathentry exported="true" kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER"> 6 <classpathentry exported="true" kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER">
13 <attributes> 7 <attributes>
14 <attribute name="maven.pomderived" value="true"/> 8 <attribute name="maven.pomderived" value="true"/>
15 </attributes> 9 </attributes>
16 </classpathentry> 10 </classpathentry>
11 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
17 <classpathentry kind="output" path="target/classes"/> 12 <classpathentry kind="output" path="target/classes"/>
18</classpath> 13</classpath>
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs
index 86260262..1ab2bb53 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs
@@ -1,5 +1,8 @@
1eclipse.preferences.version=1 1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3org.eclipse.jdt.core.compiler.compliance=1.5 3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
4org.eclipse.jdt.core.compiler.compliance=1.8
5org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
6org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
4org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning 7org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
5org.eclipse.jdt.core.compiler.source=1.5 8org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
index c34c382d..18331278 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
@@ -15,4 +15,5 @@ Require-Bundle: com.google.guava,
15 guru.nidi.graphviz-java;bundle-version="0.2.1" 15 guru.nidi.graphviz-java;bundle-version="0.2.1"
16Import-Package: org.apache.log4j;version="1.2.15" 16Import-Package: org.apache.log4j;version="1.2.15"
17Export-Package: hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz 17Export-Package: hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz
18Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.visualisation
18 19
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties
index 41eb6ade..d6c49e5c 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties
@@ -1,4 +1,5 @@
1source.. = src/ 1source.. = src/,\
2 xtend-gen/
2output.. = bin/ 3output.. = bin/
3bin.includes = META-INF/,\ 4bin.includes = META-INF/,\
4 . 5 .