aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
diff options
context:
space:
mode:
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext4
1 files changed, 2 insertions, 2 deletions
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)? &