aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-24 19:01:26 -0400
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-24 19:01:26 -0400
commit3650e45220d906fe3e5411578341d5b133a16673 (patch)
tree3ebaa9e6432946bf2acf81e1374db50bfa0e18f7
parentRebooting Z3 solver Containment vs Inheritance still has a bug (diff)
downloadVIATRA-Generator-3650e45220d906fe3e5411578341d5b133a16673.tar.gz
VIATRA-Generator-3650e45220d906fe3e5411578341d5b133a16673.tar.zst
VIATRA-Generator-3650e45220d906fe3e5411578341d5b133a16673.zip
Renaming some configuration concepts
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application.ui/.gitignore1
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/.gitignore2
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext4
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend2
4 files changed, 5 insertions, 4 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application.ui/.gitignore
index ae3c1726..1a9ea807 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/.gitignore
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/.gitignore
@@ -1 +1,2 @@
1/bin/ 1/bin/
2/xtend-gen/* \ No newline at end of file
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application/.gitignore
index 3197db31..1a9ea807 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/.gitignore
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/.gitignore
@@ -1,2 +1,2 @@
1/bin/ 1/bin/
2/xtend-gen/ \ No newline at end of file 2/xtend-gen/* \ No newline at end of file
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
index 29e9f9d6..2361d965 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
@@ -84,7 +84,7 @@ PatternEntry: PatternElement | AllPatternEntry;
84AllPatternEntry: 'package' package = [viatra::PatternModel|QualifiedName] ('excluding' '{' exclusuion += PatternElement (',' exclusuion += PatternElement)* '}')?; 84AllPatternEntry: 'package' package = [viatra::PatternModel|QualifiedName] ('excluding' '{' exclusuion += PatternElement (',' exclusuion += PatternElement)* '}')?;
85PatternElement: (package =[viatra::PatternModel|QualifiedName] '::')? pattern = [viatra::Pattern]; 85PatternElement: (package =[viatra::PatternModel|QualifiedName] '::')? pattern = [viatra::Pattern];
86 86
87GraphPatternDeclaration: 'patterns' name = ID specification = PatternSpecification; 87GraphPatternDeclaration: 'constraints' name = ID specification = PatternSpecification;
88GraphPatternReference: referred = [GraphPatternDeclaration]; 88GraphPatternReference: referred = [GraphPatternDeclaration];
89GraphPattern: GraphPatternReference|PatternSpecification; 89GraphPattern: GraphPatternReference|PatternSpecification;
90 90
@@ -159,7 +159,7 @@ GenerationTask: 'generate' {GenerationTask} '{'(
159 // domain 159 // domain
160 ('metamodel' '=' metamodel = Metamodel)? & 160 ('metamodel' '=' metamodel = Metamodel)? &
161 ('partial-model' '=' partialModel = PartialModel)? & 161 ('partial-model' '=' partialModel = PartialModel)? &
162 ('patterns' '=' patterns = GraphPattern)? & 162 ('constraints' '=' patterns = GraphPattern)? &
163 163
164 // model set 164 // model set
165 ('scope' '=' scope = Scope)? & 165 ('scope' '=' scope = Scope)? &
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
index 2cbfc20d..5506d762 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
@@ -198,7 +198,7 @@ class GenerationTaskExecutor {
198 val vis1 = new PartialInterpretation2Gml 198 val vis1 = new PartialInterpretation2Gml
199 val gml = vis1.transform(representation) 199 val gml = vis1.transform(representation)
200 outputWorkspaceForRun.writeText('''model«IF runs>1»_«run»«ENDIF»_«interpretationIndex+1».gml''',gml) 200 outputWorkspaceForRun.writeText('''model«IF runs>1»_«run»«ENDIF»_«interpretationIndex+1».gml''',gml)
201 if(representation.newElements.size + representation.problem.elements.size < 150) { 201 if(false && representation.newElements.size + representation.problem.elements.size < 150) {
202 val vis2 = new GraphvizVisualisation 202 val vis2 = new GraphvizVisualisation
203 val dot = vis2.visualiseConcretization(representation) 203 val dot = vis2.visualiseConcretization(representation)
204 dot.writeToFile(outputWorkspaceForRun,'''model«IF runs>1»_«run»«ENDIF»_«interpretationIndex+1»''') 204 dot.writeToFile(outputWorkspaceForRun,'''model«IF runs>1»_«run»«ENDIF»_«interpretationIndex+1»''')