Initial commit of the configuration language and application

1 files changed, 127 insertions, 0 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
new file mode 100644
index 00000000..ed83419f
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
@@ -0,0 +1,127 @@
+grammar hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration with org.eclipse.xtext.common.Terminals

+

+import "http://www.eclipse.org/emf/2002/Ecore" as ecore

+import "http://www.eclipse.org/viatra/query/patternlanguage/PatternLanguage" as viatra

+generate applicationConfiguration "http://www.bme.hu/mit/inf/dslreasoner/application/ApplicationConfiguration"

+

+ConfigurationScript:

+        (imports += Import)*

+        (commands += Command)*

+;
+

+Command :

+        Declaration

+        //| Task

+;

+Declaration :

+//      FileDeclaration | 

+        MetamodelDeclaration

+//      | PartialModelDeclaration

+//      | GraphPatternDeclaration

+//      | SolverConfig

+;

+

+///////////////////////////////////////////////////

+// Imports

+///////////////////////////////////////////////////

+

+Import: EPackageImport | ViatraImport;

+

+EPackageImport: "import" "epackage" importedPackage=[ecore::EPackage|STRING];

+ViatraImport: "import" "viatra" importedViatra=[viatra::PatternModel|STRING];

+

+///////////////////////////////////////////////////

+// Files and Folders

+///////////////////////////////////////////////////

+/*

+FileSpecification: path = STRING;

+FileDeclaration: 'file' name = ID '=' specification = FileSpecification;

+

+FileReference: referred = [FileDeclaration];

+File: FileSpecification | FileReference;

+*/

+///////////////////////////////////////////////////

+// Metamodel

+///////////////////////////////////////////////////

+

+MetamodelSpecification: '{' (entries += MetamodelEntry) (',' entries += MetamodelEntry)* '}';

+MetamodelEntry: MetamodelElement | AllPackageEntry;

+AllPackageEntry: "package" package=[ecore::EPackage] ("excluding" '{'exclusion +=MetamodelElement (',' exclusion +=MetamodelElement)*'}')?;

+MetamodelElement: (package=[ecore::EPackage] '::')? classifier = [ecore::EClassifier] ('.' feature= [ecore::ENamedElement])?;

+

+MetamodelDeclaration: 'metamodel' name = ID specification = MetamodelSpecification;

+MetamodelReference: referred = [MetamodelDeclaration];

+Metamodel: MetamodelReference | MetamodelSpecification;

+

+///////////////////////////////////////////////////

+// Partial Model

+///////////////////////////////////////////////////

+/*

+PartialModelEntry: path = File;

+PartialModelSpecification: entry += PartialModelEntry ('+' entry += PartialModelEntry)*;

+PartialModelDeclaration: 'partial-model' name = ID '=' specification = PartialModelSpecification;

+PartialModelReference : referred = [PartialModelDeclaration];

+PartialModel: PartialModelSpecification | PartialModelReference;

+*/

+///////////////////////////////////////////////////

+// Patterns

+///////////////////////////////////////////////////

+/*

+PatternSpecification: '{' entries += PatternEntry (',' entries += PatternEntry)* '}';

+PatternEntry: PatternElement | AllPatternEntry;

+AllPatternEntry: package = [viatra::PatternModel] ('excluding' '{' exclusuion += PatternElement (',' exclusuion += PatternElement)* '}')?;

+PatternElement: pattern = [viatra::Pattern];

+

+GraphPatternDeclaration: 'patterns' name = ID specification = PatternSpecification;

+GraphPatternReference: referred = [GraphPatternDeclaration];

+GraphPattern: GraphPatternReference|PatternSpecification;

+*/

+///////////////////////////////////////////////////

+// SolverConfig

+///////////////////////////////////////////////////

+/*

+SolverConfig : SMTSolverConfig | AlloySolverConfig | ViatraSolverConfig;

+
+SMTSolverConfig:
+        'smt-solver-config' name = ID '{'

+                'solver-path' '=' solverPath = File

+        '}'
+;

+
+AlloySolverConfig:
+        'alloy-solver-config' name = ID  '{'

+                ('symmetry' '=' symmetry=INT)?

+        '}'
+;
+
+ViatraSolverConfig:
+        'viatra-solver-config' name = ID '{'

+                ('statecoding' '=' statecoding = ViatraStatecoder)? &

+                ('type-inferencing' '=' typeinferencing = ViatraTypeInferencing)? &

+                ('backtrack-chance' '=' backtrackChance = INT)?

+        '}'
+;

+enum ViatraStatecoder: neighbourhood | identifier;

+enum ViatraTypeInferencing: preliminary | online;

+

+Solver: SMTSolver | AlloySolver | ViatraSolver;

+

+SMTSolver: 'smt-solver' '(' (config = [SMTSolverConfig]) ')';

+AlloySolver: 'alloy-solver' {AlloySolver} '(' (config = [AlloySolverConfig]|'default') ')';

+ViatraSolver: 'viatra-solver' {ViatraSolver} '(' (config= [ViatraSolverConfig]|'default')')';

+

+Task: GenerationTask;

+

+GenerationTask: 'generate' '{'

+                ('metamodel' '=' metamodel = Metamodel) &

+                ('partial-model'  '=' partialModel = PartialModel)? &

+                ('patterns'  '=' patterns = GraphPattern)? &

+                ('new-objects' '=' size = INT) &

+                ('number' '=' number= INT)? &

+                ('runs' '=' runs = INT)?

+                'target-folder' '=' tagetFolder = File

+                'debug-folder' '=' debugFolder = File

+                ('log' '=' targetLogFile = File)?

+                ('statistics' '=' targetStatisticsFile = File)?

+        '}'

+;*/
\ No newline at end of file