diff options
author | 2020-06-14 19:38:40 -0400 | |
---|---|---|
committer | 2020-06-14 19:38:40 -0400 | |
commit | 3997c2408f192e22f809cd96faa5bc552530289d (patch) | |
tree | 6d9134700977b29a5d67206c1e3f587d468e34fa /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext | |
parent | remove Alloy solver copy (diff) | |
download | VIATRA-Generator-Vampire-New.tar.gz VIATRA-Generator-Vampire-New.tar.zst VIATRA-Generator-Vampire-New.zip |
This branch is ready to be merged into masterVampire-New
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.xtext | 8 |
1 files changed, 4 insertions, 4 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 6af31723..95dfe5a1 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 | |||
@@ -26,7 +26,7 @@ Import: EPackageImport | ViatraImport; | |||
26 | 26 | ||
27 | EPackageImport: "import" "epackage" importedPackage=[ecore::EPackage|STRING]; | 27 | EPackageImport: "import" "epackage" importedPackage=[ecore::EPackage|STRING]; |
28 | ViatraImport: "import" "viatra" importedViatra=[viatra::PatternModel|STRING]; | 28 | ViatraImport: "import" "viatra" importedViatra=[viatra::PatternModel|STRING]; |
29 | 29 | ||
30 | /////////////////////////////////////////////////// | 30 | /////////////////////////////////////////////////// |
31 | // Declaration | 31 | // Declaration |
32 | /////////////////////////////////////////////////// | 32 | /////////////////////////////////////////////////// |
@@ -95,8 +95,8 @@ GraphPattern: GraphPatternReference|PatternSpecification; | |||
95 | ConfigSpecification: {ConfigSpecification}'{' | 95 | ConfigSpecification: {ConfigSpecification}'{' |
96 | (entries += ConfigEntry ("," entries += ConfigEntry)*)? | 96 | (entries += ConfigEntry ("," entries += ConfigEntry)*)? |
97 | '}'; | 97 | '}'; |
98 | ConfigDeclaration : | 98 | ConfigDeclaration : |
99 | 'config' name = ID specification = ConfigSpecification | 99 | 'config' name = ID specification = ConfigSpecification |
100 | ; | 100 | ; |
101 | ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry; | 101 | ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry; |
102 | DocumentationEntry: "log-level" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full; | 102 | DocumentationEntry: "log-level" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full; |
@@ -107,7 +107,7 @@ CustomEntry: key = STRING "=" value = STRING; | |||
107 | ConfigReference: config = [ConfigDeclaration]; | 107 | ConfigReference: config = [ConfigDeclaration]; |
108 | Config: ConfigSpecification | ConfigReference; | 108 | Config: ConfigSpecification | ConfigReference; |
109 | 109 | ||
110 | enum Solver: SMTSolver | AlloySolver | ViatraSolver; | 110 | enum Solver: SMTSolver | AlloySolver | ViatraSolver | TPTPSolver; |
111 | 111 | ||
112 | ScopeSpecification: {ScopeSpecification} '{' | 112 | ScopeSpecification: {ScopeSpecification} '{' |
113 | (scopes += TypeScope (',' scopes += TypeScope)*)? | 113 | (scopes += TypeScope (',' scopes += TypeScope)*)? |