diff options
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 | 19 |
1 files changed, 2 insertions, 17 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 be1ac662..537989f7 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 | |||
@@ -2,7 +2,6 @@ grammar hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration with org | |||
2 | 2 | ||
3 | import "http://www.eclipse.org/emf/2002/Ecore" as ecore | 3 | import "http://www.eclipse.org/emf/2002/Ecore" as ecore |
4 | import "http://www.eclipse.org/viatra/query/patternlanguage/emf/PatternLanguage" as viatra | 4 | import "http://www.eclipse.org/viatra/query/patternlanguage/emf/PatternLanguage" as viatra |
5 | import "http://www.bme.hu/mit/inf/dslreasoner/faulttree/components/CftLanguage" as cftLanguage | ||
6 | generate applicationConfiguration "http://www.bme.hu/mit/inf/dslreasoner/application/ApplicationConfiguration" | 5 | generate applicationConfiguration "http://www.bme.hu/mit/inf/dslreasoner/application/ApplicationConfiguration" |
7 | 6 | ||
8 | ConfigurationScript: | 7 | ConfigurationScript: |
@@ -25,16 +24,13 @@ INTLiteral returns ecore::EInt: | |||
25 | // Imports | 24 | // Imports |
26 | /////////////////////////////////////////////////// | 25 | /////////////////////////////////////////////////// |
27 | Import: | 26 | Import: |
28 | EPackageImport | ViatraImport | CftImport; | 27 | EPackageImport | ViatraImport; |
29 | 28 | ||
30 | EPackageImport: | 29 | EPackageImport: |
31 | "import" "epackage" importedPackage=[ecore::EPackage|STRING]; | 30 | "import" "epackage" importedPackage=[ecore::EPackage|STRING]; |
32 | 31 | ||
33 | ViatraImport: | 32 | ViatraImport: |
34 | "import" "viatra" importedViatra=[viatra::PatternModel|STRING]; | 33 | "import" "viatra" importedViatra=[viatra::PatternModel|STRING]; |
35 | |||
36 | CftImport: | ||
37 | "import" "reliability" importedCft=[cftLanguage::CftModel|STRING]; | ||
38 | 34 | ||
39 | /////////////////////////////////////////////////// | 35 | /////////////////////////////////////////////////// |
40 | // Declaration | 36 | // Declaration |
@@ -160,7 +156,7 @@ ThresholdEntry: | |||
160 | function=ObjectiveFunction operator=ComparisonOperator threshold=REALLiteral; | 156 | function=ObjectiveFunction operator=ComparisonOperator threshold=REALLiteral; |
161 | 157 | ||
162 | ObjectiveFunction: | 158 | ObjectiveFunction: |
163 | CostObjectiveFunction | ReliabilityObjectiveFunction; | 159 | CostObjectiveFunction; |
164 | 160 | ||
165 | CostObjectiveFunction: | 161 | CostObjectiveFunction: |
166 | 'cost' '{' entries+=CostEntry (',' entries+=CostEntry)* '}'; | 162 | 'cost' '{' entries+=CostEntry (',' entries+=CostEntry)* '}'; |
@@ -168,17 +164,6 @@ CostObjectiveFunction: | |||
168 | CostEntry: | 164 | CostEntry: |
169 | patternElement=PatternElement '=' weight=INTLiteral; | 165 | patternElement=PatternElement '=' weight=INTLiteral; |
170 | 166 | ||
171 | ReliabilityObjectiveFunction: | ||
172 | ReliabiltiyProbability | Mtff; | ||
173 | |||
174 | ReliabiltiyProbability: | ||
175 | 'reliability' (package=[cftLanguage::CftModel|QualifiedName] '::')? | ||
176 | transformation=[cftLanguage::TransformationDefinition] | ||
177 | 'at' time=REALLiteral; | ||
178 | |||
179 | Mtff: | ||
180 | 'mtff' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation=[cftLanguage::TransformationDefinition]; | ||
181 | |||
182 | ObjectiveDeclaration: | 167 | ObjectiveDeclaration: |
183 | 'objectives' name=ID specification=ObjectiveSpecification; | 168 | 'objectives' name=ID specification=ObjectiveSpecification; |
184 | 169 | ||