diff options
author | 2019-02-06 18:28:18 +0100 | |
---|---|---|
committer | 2019-02-19 19:18:25 +0100 | |
commit | 615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7 (patch) | |
tree | 1c9fe0f4ae152d84152c8ff1cfb6366ec8b277e9 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer | |
parent | [Stochastic] Fault tree transformation langauge (diff) | |
download | VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.gz VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.zst VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.zip |
Extract component fault tree model
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer')
2 files changed, 135 insertions, 67 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSemanticSequencer.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSemanticSequencer.java index 18682f69..835bb8cc 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSemanticSequencer.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSemanticSequencer.java | |||
@@ -4,22 +4,27 @@ | |||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.serializer; | 4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.serializer; |
5 | 5 | ||
6 | import com.google.inject.Inject; | 6 | import com.google.inject.Inject; |
7 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.AndGate; | ||
8 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Assignment; | 7 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Assignment; |
9 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.BasicEventDefinition; | ||
10 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftLanguagePackage; | 8 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftLanguagePackage; |
11 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel; | 9 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel; |
12 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentDefinition; | ||
13 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentInstance; | 10 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentInstance; |
14 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.EventReference; | 11 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.EventReference; |
15 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ImportDeclaration; | 12 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ImportDeclaration; |
16 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.InputEvent; | ||
17 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition; | 13 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition; |
18 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition; | 14 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition; |
19 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingParameter; | 15 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingParameter; |
20 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.OrGate; | ||
21 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition; | 16 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition; |
22 | import hu.bme.mit.inf.dslreasoner.faulttree.components.services.CftLanguageGrammarAccess; | 17 | import hu.bme.mit.inf.dslreasoner.faulttree.components.services.CftLanguageGrammarAccess; |
18 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition; | ||
19 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition; | ||
20 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; | ||
21 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition; | ||
22 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent; | ||
23 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition; | ||
24 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition; | ||
25 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution; | ||
26 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution; | ||
27 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; | ||
23 | import java.util.Set; | 28 | import java.util.Set; |
24 | import org.eclipse.emf.ecore.EObject; | 29 | import org.eclipse.emf.ecore.EObject; |
25 | import org.eclipse.emf.ecore.EPackage; | 30 | import org.eclipse.emf.ecore.EPackage; |
@@ -43,23 +48,35 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
43 | ParserRule rule = context.getParserRule(); | 48 | ParserRule rule = context.getParserRule(); |
44 | Action action = context.getAssignedAction(); | 49 | Action action = context.getAssignedAction(); |
45 | Set<Parameter> parameters = context.getEnabledBooleanParameters(); | 50 | Set<Parameter> parameters = context.getEnabledBooleanParameters(); |
46 | if (epackage == CftLanguagePackage.eINSTANCE) | 51 | if (epackage == CftPackage.eINSTANCE) |
47 | switch (semanticObject.eClass().getClassifierID()) { | 52 | switch (semanticObject.eClass().getClassifierID()) { |
48 | case CftLanguagePackage.AND_GATE: | 53 | case CftPackage.AND_GATE_DEFINITION: |
49 | sequence_AndGate(context, (AndGate) semanticObject); | 54 | sequence_AndGateDefinition(context, (AndGateDefinition) semanticObject); |
50 | return; | 55 | return; |
56 | case CftPackage.BASIC_EVENT_DEFINITION: | ||
57 | sequence_BasicEventDefinition(context, (BasicEventDefinition) semanticObject); | ||
58 | return; | ||
59 | case CftPackage.COMPONENT_DEFINITION: | ||
60 | sequence_ComponentDefinition(context, (ComponentDefinition) semanticObject); | ||
61 | return; | ||
62 | case CftPackage.INTPUT_EVENT: | ||
63 | sequence_InputEvent(context, (IntputEvent) semanticObject); | ||
64 | return; | ||
65 | case CftPackage.KOF_MGATE_DEFINITION: | ||
66 | sequence_KOfMGateDefinition(context, (KOfMGateDefinition) semanticObject); | ||
67 | return; | ||
68 | case CftPackage.OR_GATE_DEFINITION: | ||
69 | sequence_OrGateDefinition(context, (OrGateDefinition) semanticObject); | ||
70 | return; | ||
71 | } | ||
72 | else if (epackage == CftLanguagePackage.eINSTANCE) | ||
73 | switch (semanticObject.eClass().getClassifierID()) { | ||
51 | case CftLanguagePackage.ASSIGNMENT: | 74 | case CftLanguagePackage.ASSIGNMENT: |
52 | sequence_Assignment(context, (Assignment) semanticObject); | 75 | sequence_Assignment(context, (Assignment) semanticObject); |
53 | return; | 76 | return; |
54 | case CftLanguagePackage.BASIC_EVENT_DEFINITION: | ||
55 | sequence_BasicEventDefinition(context, (BasicEventDefinition) semanticObject); | ||
56 | return; | ||
57 | case CftLanguagePackage.CFT_MODEL: | 77 | case CftLanguagePackage.CFT_MODEL: |
58 | sequence_CftModel(context, (CftModel) semanticObject); | 78 | sequence_CftModel(context, (CftModel) semanticObject); |
59 | return; | 79 | return; |
60 | case CftLanguagePackage.COMPONENT_DEFINITION: | ||
61 | sequence_ComponentDefinition(context, (ComponentDefinition) semanticObject); | ||
62 | return; | ||
63 | case CftLanguagePackage.COMPONENT_INSTANCE: | 80 | case CftLanguagePackage.COMPONENT_INSTANCE: |
64 | sequence_ComponentInstance(context, (ComponentInstance) semanticObject); | 81 | sequence_ComponentInstance(context, (ComponentInstance) semanticObject); |
65 | return; | 82 | return; |
@@ -69,9 +86,6 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
69 | case CftLanguagePackage.IMPORT_DECLARATION: | 86 | case CftLanguagePackage.IMPORT_DECLARATION: |
70 | sequence_ImportDeclaration(context, (ImportDeclaration) semanticObject); | 87 | sequence_ImportDeclaration(context, (ImportDeclaration) semanticObject); |
71 | return; | 88 | return; |
72 | case CftLanguagePackage.INPUT_EVENT: | ||
73 | sequence_InputEvent(context, (InputEvent) semanticObject); | ||
74 | return; | ||
75 | case CftLanguagePackage.LOOKUP_DEFINITION: | 89 | case CftLanguagePackage.LOOKUP_DEFINITION: |
76 | sequence_LookupDefinition(context, (LookupDefinition) semanticObject); | 90 | sequence_LookupDefinition(context, (LookupDefinition) semanticObject); |
77 | return; | 91 | return; |
@@ -81,28 +95,33 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
81 | case CftLanguagePackage.MAPPING_PARAMETER: | 95 | case CftLanguagePackage.MAPPING_PARAMETER: |
82 | sequence_MappingParameter(context, (MappingParameter) semanticObject); | 96 | sequence_MappingParameter(context, (MappingParameter) semanticObject); |
83 | return; | 97 | return; |
84 | case CftLanguagePackage.OR_GATE: | ||
85 | sequence_OrGate(context, (OrGate) semanticObject); | ||
86 | return; | ||
87 | case CftLanguagePackage.TRANSFORMATION_DEFINITION: | 98 | case CftLanguagePackage.TRANSFORMATION_DEFINITION: |
88 | sequence_TransformationDefinition(context, (TransformationDefinition) semanticObject); | 99 | sequence_TransformationDefinition(context, (TransformationDefinition) semanticObject); |
89 | return; | 100 | return; |
90 | } | 101 | } |
102 | else if (epackage == FtPackage.eINSTANCE) | ||
103 | switch (semanticObject.eClass().getClassifierID()) { | ||
104 | case FtPackage.CONSTANT_DISTRIBUTION: | ||
105 | sequence_ConstantDistribution(context, (ConstantDistribution) semanticObject); | ||
106 | return; | ||
107 | case FtPackage.EXPONENTIAL_DISTRIBUTION: | ||
108 | sequence_ExponentialDistribution(context, (ExponentialDistribution) semanticObject); | ||
109 | return; | ||
110 | } | ||
91 | if (errorAcceptor != null) | 111 | if (errorAcceptor != null) |
92 | errorAcceptor.accept(diagnosticProvider.createInvalidContextOrTypeDiagnostic(semanticObject, context)); | 112 | errorAcceptor.accept(diagnosticProvider.createInvalidContextOrTypeDiagnostic(semanticObject, context)); |
93 | } | 113 | } |
94 | 114 | ||
95 | /** | 115 | /** |
96 | * Contexts: | 116 | * Contexts: |
97 | * EventDeclaration returns AndGate | 117 | * EventDefinition returns AndGateDefinition |
98 | * EventDefinition returns AndGate | 118 | * GateDefinition returns AndGateDefinition |
99 | * GateDefinition returns AndGate | 119 | * AndGateDefinition returns AndGateDefinition |
100 | * AndGate returns AndGate | ||
101 | * | 120 | * |
102 | * Constraint: | 121 | * Constraint: |
103 | * (name=ID inputEvents+=[EventDeclaration|ID]*) | 122 | * (name=ValidId inputEvents+=[EventDeclaration|ValidId]*) |
104 | */ | 123 | */ |
105 | protected void sequence_AndGate(ISerializationContext context, AndGate semanticObject) { | 124 | protected void sequence_AndGateDefinition(ISerializationContext context, AndGateDefinition semanticObject) { |
106 | genericSequencer.createSequence(context, semanticObject); | 125 | genericSequencer.createSequence(context, semanticObject); |
107 | } | 126 | } |
108 | 127 | ||
@@ -121,23 +140,22 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
121 | 140 | ||
122 | /** | 141 | /** |
123 | * Contexts: | 142 | * Contexts: |
124 | * EventDeclaration returns BasicEventDefinition | ||
125 | * EventDefinition returns BasicEventDefinition | 143 | * EventDefinition returns BasicEventDefinition |
126 | * BasicEventDefinition returns BasicEventDefinition | 144 | * BasicEventDefinition returns BasicEventDefinition |
127 | * | 145 | * |
128 | * Constraint: | 146 | * Constraint: |
129 | * (name=ID rate=DOULBE) | 147 | * (name=ValidId distribution=Distribution) |
130 | */ | 148 | */ |
131 | protected void sequence_BasicEventDefinition(ISerializationContext context, BasicEventDefinition semanticObject) { | 149 | protected void sequence_BasicEventDefinition(ISerializationContext context, BasicEventDefinition semanticObject) { |
132 | if (errorAcceptor != null) { | 150 | if (errorAcceptor != null) { |
133 | if (transientValues.isValueTransient(semanticObject, CftLanguagePackage.Literals.EVENT_DECLARATION__NAME) == ValueTransient.YES) | 151 | if (transientValues.isValueTransient(semanticObject, CftPackage.Literals.EVENT_DECLARATION__NAME) == ValueTransient.YES) |
134 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, CftLanguagePackage.Literals.EVENT_DECLARATION__NAME)); | 152 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, CftPackage.Literals.EVENT_DECLARATION__NAME)); |
135 | if (transientValues.isValueTransient(semanticObject, CftLanguagePackage.Literals.BASIC_EVENT_DEFINITION__RATE) == ValueTransient.YES) | 153 | if (transientValues.isValueTransient(semanticObject, CftPackage.Literals.BASIC_EVENT_DEFINITION__DISTRIBUTION) == ValueTransient.YES) |
136 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, CftLanguagePackage.Literals.BASIC_EVENT_DEFINITION__RATE)); | 154 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, CftPackage.Literals.BASIC_EVENT_DEFINITION__DISTRIBUTION)); |
137 | } | 155 | } |
138 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 156 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
139 | feeder.accept(grammarAccess.getBasicEventDefinitionAccess().getNameIDTerminalRuleCall_0_0(), semanticObject.getName()); | 157 | feeder.accept(grammarAccess.getBasicEventDefinitionAccess().getNameValidIdParserRuleCall_0_0(), semanticObject.getName()); |
140 | feeder.accept(grammarAccess.getBasicEventDefinitionAccess().getRateDOULBETerminalRuleCall_3_0(), semanticObject.getRate()); | 158 | feeder.accept(grammarAccess.getBasicEventDefinitionAccess().getDistributionDistributionParserRuleCall_1_0(), semanticObject.getDistribution()); |
141 | feeder.finish(); | 159 | feeder.finish(); |
142 | } | 160 | } |
143 | 161 | ||
@@ -163,7 +181,7 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
163 | * ComponentDefinition returns ComponentDefinition | 181 | * ComponentDefinition returns ComponentDefinition |
164 | * | 182 | * |
165 | * Constraint: | 183 | * Constraint: |
166 | * (name=ID (inputEvents+=InputEvent | outputEvents+=[EventDeclaration|ID])* eventDefinitions+=EventDefinition*) | 184 | * (name=ValidId (inputEvents+=InputEvent | outputEvents+=[EventDeclaration|ValidId])* eventDefinitions+=EventDefinition*) |
167 | */ | 185 | */ |
168 | protected void sequence_ComponentDefinition(ISerializationContext context, ComponentDefinition semanticObject) { | 186 | protected void sequence_ComponentDefinition(ISerializationContext context, ComponentDefinition semanticObject) { |
169 | genericSequencer.createSequence(context, semanticObject); | 187 | genericSequencer.createSequence(context, semanticObject); |
@@ -185,10 +203,29 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
185 | 203 | ||
186 | /** | 204 | /** |
187 | * Contexts: | 205 | * Contexts: |
206 | * Distribution returns ConstantDistribution | ||
207 | * ConstantDistribution returns ConstantDistribution | ||
208 | * | ||
209 | * Constraint: | ||
210 | * p=Double | ||
211 | */ | ||
212 | protected void sequence_ConstantDistribution(ISerializationContext context, ConstantDistribution semanticObject) { | ||
213 | if (errorAcceptor != null) { | ||
214 | if (transientValues.isValueTransient(semanticObject, FtPackage.Literals.CONSTANT_DISTRIBUTION__P) == ValueTransient.YES) | ||
215 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, FtPackage.Literals.CONSTANT_DISTRIBUTION__P)); | ||
216 | } | ||
217 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
218 | feeder.accept(grammarAccess.getConstantDistributionAccess().getPDoubleParserRuleCall_2_0(), semanticObject.getP()); | ||
219 | feeder.finish(); | ||
220 | } | ||
221 | |||
222 | |||
223 | /** | ||
224 | * Contexts: | ||
188 | * EventReference returns EventReference | 225 | * EventReference returns EventReference |
189 | * | 226 | * |
190 | * Constraint: | 227 | * Constraint: |
191 | * (component=[Variable|ID] event=[EventDeclaration|ID]) | 228 | * (component=[Variable|ValidId] event=[EventDeclaration|ValidId]) |
192 | */ | 229 | */ |
193 | protected void sequence_EventReference(ISerializationContext context, EventReference semanticObject) { | 230 | protected void sequence_EventReference(ISerializationContext context, EventReference semanticObject) { |
194 | if (errorAcceptor != null) { | 231 | if (errorAcceptor != null) { |
@@ -198,8 +235,27 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
198 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, CftLanguagePackage.Literals.EVENT_REFERENCE__EVENT)); | 235 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, CftLanguagePackage.Literals.EVENT_REFERENCE__EVENT)); |
199 | } | 236 | } |
200 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 237 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
201 | feeder.accept(grammarAccess.getEventReferenceAccess().getComponentVariableIDTerminalRuleCall_0_0_1(), semanticObject.eGet(CftLanguagePackage.Literals.EVENT_REFERENCE__COMPONENT, false)); | 238 | feeder.accept(grammarAccess.getEventReferenceAccess().getComponentVariableValidIdParserRuleCall_0_0_1(), semanticObject.eGet(CftLanguagePackage.Literals.EVENT_REFERENCE__COMPONENT, false)); |
202 | feeder.accept(grammarAccess.getEventReferenceAccess().getEventEventDeclarationIDTerminalRuleCall_2_0_1(), semanticObject.eGet(CftLanguagePackage.Literals.EVENT_REFERENCE__EVENT, false)); | 239 | feeder.accept(grammarAccess.getEventReferenceAccess().getEventEventDeclarationValidIdParserRuleCall_2_0_1(), semanticObject.eGet(CftLanguagePackage.Literals.EVENT_REFERENCE__EVENT, false)); |
240 | feeder.finish(); | ||
241 | } | ||
242 | |||
243 | |||
244 | /** | ||
245 | * Contexts: | ||
246 | * Distribution returns ExponentialDistribution | ||
247 | * ExponentialDistribution returns ExponentialDistribution | ||
248 | * | ||
249 | * Constraint: | ||
250 | * lambda=Double | ||
251 | */ | ||
252 | protected void sequence_ExponentialDistribution(ISerializationContext context, ExponentialDistribution semanticObject) { | ||
253 | if (errorAcceptor != null) { | ||
254 | if (transientValues.isValueTransient(semanticObject, FtPackage.Literals.EXPONENTIAL_DISTRIBUTION__LAMBDA) == ValueTransient.YES) | ||
255 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, FtPackage.Literals.EXPONENTIAL_DISTRIBUTION__LAMBDA)); | ||
256 | } | ||
257 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
258 | feeder.accept(grammarAccess.getExponentialDistributionAccess().getLambdaDoubleParserRuleCall_2_0(), semanticObject.getLambda()); | ||
203 | feeder.finish(); | 259 | feeder.finish(); |
204 | } | 260 | } |
205 | 261 | ||
@@ -224,13 +280,26 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
224 | 280 | ||
225 | /** | 281 | /** |
226 | * Contexts: | 282 | * Contexts: |
227 | * EventDeclaration returns InputEvent | 283 | * InputEvent returns IntputEvent |
228 | * InputEvent returns InputEvent | 284 | * |
285 | * Constraint: | ||
286 | * (name=ValidId multiple?='[]'?) | ||
287 | */ | ||
288 | protected void sequence_InputEvent(ISerializationContext context, IntputEvent semanticObject) { | ||
289 | genericSequencer.createSequence(context, semanticObject); | ||
290 | } | ||
291 | |||
292 | |||
293 | /** | ||
294 | * Contexts: | ||
295 | * EventDefinition returns KOfMGateDefinition | ||
296 | * GateDefinition returns KOfMGateDefinition | ||
297 | * KOfMGateDefinition returns KOfMGateDefinition | ||
229 | * | 298 | * |
230 | * Constraint: | 299 | * Constraint: |
231 | * (name=ID multiple?='[]'?) | 300 | * (name=ValidId k=INT (m=INT | m=OF_INT) inputEvents+=[EventDeclaration|ValidId]*) |
232 | */ | 301 | */ |
233 | protected void sequence_InputEvent(ISerializationContext context, InputEvent semanticObject) { | 302 | protected void sequence_KOfMGateDefinition(ISerializationContext context, KOfMGateDefinition semanticObject) { |
234 | genericSequencer.createSequence(context, semanticObject); | 303 | genericSequencer.createSequence(context, semanticObject); |
235 | } | 304 | } |
236 | 305 | ||
@@ -241,7 +310,7 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
241 | * Variable returns LookupDefinition | 310 | * Variable returns LookupDefinition |
242 | * | 311 | * |
243 | * Constraint: | 312 | * Constraint: |
244 | * (mapping=[MappingDefinition|ID] arguments+=[MappingParameter|ID] arguments+=[MappingParameter|ID]* name=ID) | 313 | * (mapping=[MappingDefinition|QualifiedName] arguments+=[MappingParameter|ValidId] arguments+=[MappingParameter|ValidId]* name=ValidId) |
245 | */ | 314 | */ |
246 | protected void sequence_LookupDefinition(ISerializationContext context, LookupDefinition semanticObject) { | 315 | protected void sequence_LookupDefinition(ISerializationContext context, LookupDefinition semanticObject) { |
247 | genericSequencer.createSequence(context, semanticObject); | 316 | genericSequencer.createSequence(context, semanticObject); |
@@ -272,7 +341,7 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
272 | * MappingParameter returns MappingParameter | 341 | * MappingParameter returns MappingParameter |
273 | * | 342 | * |
274 | * Constraint: | 343 | * Constraint: |
275 | * name=ID | 344 | * name=ValidId |
276 | */ | 345 | */ |
277 | protected void sequence_MappingParameter(ISerializationContext context, MappingParameter semanticObject) { | 346 | protected void sequence_MappingParameter(ISerializationContext context, MappingParameter semanticObject) { |
278 | if (errorAcceptor != null) { | 347 | if (errorAcceptor != null) { |
@@ -280,22 +349,21 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
280 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, CftLanguagePackage.Literals.MAPPING_PARAMETER__NAME)); | 349 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, CftLanguagePackage.Literals.MAPPING_PARAMETER__NAME)); |
281 | } | 350 | } |
282 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 351 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
283 | feeder.accept(grammarAccess.getMappingParameterAccess().getNameIDTerminalRuleCall_0(), semanticObject.getName()); | 352 | feeder.accept(grammarAccess.getMappingParameterAccess().getNameValidIdParserRuleCall_0(), semanticObject.getName()); |
284 | feeder.finish(); | 353 | feeder.finish(); |
285 | } | 354 | } |
286 | 355 | ||
287 | 356 | ||
288 | /** | 357 | /** |
289 | * Contexts: | 358 | * Contexts: |
290 | * EventDeclaration returns OrGate | 359 | * EventDefinition returns OrGateDefinition |
291 | * EventDefinition returns OrGate | 360 | * GateDefinition returns OrGateDefinition |
292 | * GateDefinition returns OrGate | 361 | * OrGateDefinition returns OrGateDefinition |
293 | * OrGate returns OrGate | ||
294 | * | 362 | * |
295 | * Constraint: | 363 | * Constraint: |
296 | * (name=ID inputEvents+=[EventDeclaration|ID]*) | 364 | * (name=ValidId inputEvents+=[EventDeclaration|ValidId]*) |
297 | */ | 365 | */ |
298 | protected void sequence_OrGate(ISerializationContext context, OrGate semanticObject) { | 366 | protected void sequence_OrGateDefinition(ISerializationContext context, OrGateDefinition semanticObject) { |
299 | genericSequencer.createSequence(context, semanticObject); | 367 | genericSequencer.createSequence(context, semanticObject); |
300 | } | 368 | } |
301 | 369 | ||
@@ -305,7 +373,7 @@ public class CftLanguageSemanticSequencer extends AbstractDelegatingSemanticSequ | |||
305 | * TransformationDefinition returns TransformationDefinition | 373 | * TransformationDefinition returns TransformationDefinition |
306 | * | 374 | * |
307 | * Constraint: | 375 | * Constraint: |
308 | * (name=ID mappingDefinitions+=MappingDefinition*) | 376 | * (name=ValidId mappingDefinitions+=MappingDefinition*) |
309 | */ | 377 | */ |
310 | protected void sequence_TransformationDefinition(ISerializationContext context, TransformationDefinition semanticObject) { | 378 | protected void sequence_TransformationDefinition(ISerializationContext context, TransformationDefinition semanticObject) { |
311 | genericSequencer.createSequence(context, semanticObject); | 379 | genericSequencer.createSequence(context, semanticObject); |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSyntacticSequencer.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSyntacticSequencer.java index 65b39fb2..62a80a00 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSyntacticSequencer.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSyntacticSequencer.java | |||
@@ -123,10 +123,10 @@ public class CftLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | |||
123 | * ('in' ';')* | 123 | * ('in' ';')* |
124 | * | 124 | * |
125 | * This ambiguous syntax occurs at: | 125 | * This ambiguous syntax occurs at: |
126 | * inputEvents+=InputEvent ';' (ambiguity) (('out' ';')? ('out' ';' 'in' ';')?)+ 'out' outputEvents+=[EventDeclaration|ID] | 126 | * inputEvents+=InputEvent ';' (ambiguity) (('out' ';')? ('out' ';' 'in' ';')?)+ 'out' outputEvents+=[EventDeclaration|ValidId] |
127 | * name=ID '{' (ambiguity) 'out' (';' (ambiguity) 'out')* outputEvents+=[EventDeclaration|ID] | 127 | * name=ValidId '{' (ambiguity) 'out' (';' (ambiguity) 'out')* outputEvents+=[EventDeclaration|ValidId] |
128 | * outputEvents+=[EventDeclaration|ID] ';' (ambiguity) ('out' ';' (ambiguity))* '}' (rule end) | 128 | * outputEvents+=[EventDeclaration|ValidId] ';' (ambiguity) ('out' ';' (ambiguity))* '}' (rule end) |
129 | * outputEvents+=[EventDeclaration|ID] ';' (ambiguity) ('out' ';' (ambiguity))* eventDefinitions+=EventDefinition | 129 | * outputEvents+=[EventDeclaration|ValidId] ';' (ambiguity) ('out' ';' (ambiguity))* eventDefinitions+=EventDefinition |
130 | */ | 130 | */ |
131 | protected void emit_ComponentDefinition___InKeyword_3_0_0_SemicolonKeyword_3_0_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 131 | protected void emit_ComponentDefinition___InKeyword_3_0_0_SemicolonKeyword_3_0_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
132 | acceptNodes(transition, nodes); | 132 | acceptNodes(transition, nodes); |
@@ -137,8 +137,8 @@ public class CftLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | |||
137 | * ('out' ';' ('in' ';')*)* | 137 | * ('out' ';' ('in' ';')*)* |
138 | * | 138 | * |
139 | * This ambiguous syntax occurs at: | 139 | * This ambiguous syntax occurs at: |
140 | * outputEvents+=[EventDeclaration|ID] ';' ('in' ';')* (ambiguity) '}' (rule end) | 140 | * outputEvents+=[EventDeclaration|ValidId] ';' ('in' ';')* (ambiguity) '}' (rule end) |
141 | * outputEvents+=[EventDeclaration|ID] ';' ('in' ';')* (ambiguity) eventDefinitions+=EventDefinition | 141 | * outputEvents+=[EventDeclaration|ValidId] ';' ('in' ';')* (ambiguity) eventDefinitions+=EventDefinition |
142 | */ | 142 | */ |
143 | protected void emit_ComponentDefinition___OutKeyword_3_1_0_SemicolonKeyword_3_1_2___InKeyword_3_0_0_SemicolonKeyword_3_0_2__a__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 143 | protected void emit_ComponentDefinition___OutKeyword_3_1_0_SemicolonKeyword_3_1_2___InKeyword_3_0_0_SemicolonKeyword_3_0_2__a__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
144 | acceptNodes(transition, nodes); | 144 | acceptNodes(transition, nodes); |
@@ -151,8 +151,8 @@ public class CftLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | |||
151 | * This ambiguous syntax occurs at: | 151 | * This ambiguous syntax occurs at: |
152 | * inputEvents+=InputEvent ';' (ambiguity) ('in' ';' (ambiguity))* '}' (rule end) | 152 | * inputEvents+=InputEvent ';' (ambiguity) ('in' ';' (ambiguity))* '}' (rule end) |
153 | * inputEvents+=InputEvent ';' (ambiguity) ('in' ';' (ambiguity))* eventDefinitions+=EventDefinition | 153 | * inputEvents+=InputEvent ';' (ambiguity) ('in' ';' (ambiguity))* eventDefinitions+=EventDefinition |
154 | * name=ID '{' (ambiguity) 'in' (';' (ambiguity) 'in')* inputEvents+=InputEvent | 154 | * name=ValidId '{' (ambiguity) 'in' (';' (ambiguity) 'in')* inputEvents+=InputEvent |
155 | * outputEvents+=[EventDeclaration|ID] ';' (ambiguity) (('in' ';')? ('in' ';' 'out' ';')?)+ 'in' inputEvents+=InputEvent | 155 | * outputEvents+=[EventDeclaration|ValidId] ';' (ambiguity) (('in' ';')? ('in' ';' 'out' ';')?)+ 'in' inputEvents+=InputEvent |
156 | */ | 156 | */ |
157 | protected void emit_ComponentDefinition___OutKeyword_3_1_0_SemicolonKeyword_3_1_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 157 | protected void emit_ComponentDefinition___OutKeyword_3_1_0_SemicolonKeyword_3_1_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
158 | acceptNodes(transition, nodes); | 158 | acceptNodes(transition, nodes); |
@@ -164,7 +164,7 @@ public class CftLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | |||
164 | * | 164 | * |
165 | * This ambiguous syntax occurs at: | 165 | * This ambiguous syntax occurs at: |
166 | * inputEvents+=InputEvent (ambiguity) inputEvents+=InputEvent | 166 | * inputEvents+=InputEvent (ambiguity) inputEvents+=InputEvent |
167 | * name=ID '{' ('out' ';')* 'in' (ambiguity) inputEvents+=InputEvent | 167 | * name=ValidId '{' ('out' ';')* 'in' (ambiguity) inputEvents+=InputEvent |
168 | */ | 168 | */ |
169 | protected void emit_ComponentDefinition___SemicolonKeyword_3_0_2___OutKeyword_3_1_0_SemicolonKeyword_3_1_2__a_InKeyword_3_0_0__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 169 | protected void emit_ComponentDefinition___SemicolonKeyword_3_0_2___OutKeyword_3_1_0_SemicolonKeyword_3_1_2__a_InKeyword_3_0_0__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
170 | acceptNodes(transition, nodes); | 170 | acceptNodes(transition, nodes); |
@@ -175,8 +175,8 @@ public class CftLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | |||
175 | * (';' ('in' ';')* 'out')* | 175 | * (';' ('in' ';')* 'out')* |
176 | * | 176 | * |
177 | * This ambiguous syntax occurs at: | 177 | * This ambiguous syntax occurs at: |
178 | * name=ID '{' ('in' ';')* 'out' (ambiguity) outputEvents+=[EventDeclaration|ID] | 178 | * name=ValidId '{' ('in' ';')* 'out' (ambiguity) outputEvents+=[EventDeclaration|ValidId] |
179 | * outputEvents+=[EventDeclaration|ID] (ambiguity) outputEvents+=[EventDeclaration|ID] | 179 | * outputEvents+=[EventDeclaration|ValidId] (ambiguity) outputEvents+=[EventDeclaration|ValidId] |
180 | */ | 180 | */ |
181 | protected void emit_ComponentDefinition___SemicolonKeyword_3_1_2___InKeyword_3_0_0_SemicolonKeyword_3_0_2__a_OutKeyword_3_1_0__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 181 | protected void emit_ComponentDefinition___SemicolonKeyword_3_1_2___InKeyword_3_0_0_SemicolonKeyword_3_0_2__a_OutKeyword_3_1_0__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
182 | acceptNodes(transition, nodes); | 182 | acceptNodes(transition, nodes); |
@@ -187,8 +187,8 @@ public class CftLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | |||
187 | * (('in' ';') | ('out' ';'))* | 187 | * (('in' ';') | ('out' ';'))* |
188 | * | 188 | * |
189 | * This ambiguous syntax occurs at: | 189 | * This ambiguous syntax occurs at: |
190 | * name=ID '{' (ambiguity) '}' (rule end) | 190 | * name=ValidId '{' (ambiguity) '}' (rule end) |
191 | * name=ID '{' (ambiguity) eventDefinitions+=EventDefinition | 191 | * name=ValidId '{' (ambiguity) eventDefinitions+=EventDefinition |
192 | */ | 192 | */ |
193 | protected void emit_ComponentDefinition_____InKeyword_3_0_0_SemicolonKeyword_3_0_2___or___OutKeyword_3_1_0_SemicolonKeyword_3_1_2____a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 193 | protected void emit_ComponentDefinition_____InKeyword_3_0_0_SemicolonKeyword_3_0_2___or___OutKeyword_3_1_0_SemicolonKeyword_3_1_2____a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
194 | acceptNodes(transition, nodes); | 194 | acceptNodes(transition, nodes); |
@@ -199,7 +199,7 @@ public class CftLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | |||
199 | * (('in' ';')? ('in' ';' 'out' ';')?)+ | 199 | * (('in' ';')? ('in' ';' 'out' ';')?)+ |
200 | * | 200 | * |
201 | * This ambiguous syntax occurs at: | 201 | * This ambiguous syntax occurs at: |
202 | * outputEvents+=[EventDeclaration|ID] ';' ('out' ';')* (ambiguity) 'in' inputEvents+=InputEvent | 202 | * outputEvents+=[EventDeclaration|ValidId] ';' ('out' ';')* (ambiguity) 'in' inputEvents+=InputEvent |
203 | */ | 203 | */ |
204 | protected void emit_ComponentDefinition_____InKeyword_3_0_0_SemicolonKeyword_3_0_2__q___InKeyword_3_0_0_SemicolonKeyword_3_0_2_OutKeyword_3_1_0_SemicolonKeyword_3_1_2__q__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 204 | protected void emit_ComponentDefinition_____InKeyword_3_0_0_SemicolonKeyword_3_0_2__q___InKeyword_3_0_0_SemicolonKeyword_3_0_2_OutKeyword_3_1_0_SemicolonKeyword_3_1_2__q__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
205 | acceptNodes(transition, nodes); | 205 | acceptNodes(transition, nodes); |
@@ -210,7 +210,7 @@ public class CftLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | |||
210 | * (('out' ';')? ('out' ';' 'in' ';')?)+ | 210 | * (('out' ';')? ('out' ';' 'in' ';')?)+ |
211 | * | 211 | * |
212 | * This ambiguous syntax occurs at: | 212 | * This ambiguous syntax occurs at: |
213 | * inputEvents+=InputEvent ';' ('in' ';')* (ambiguity) 'out' outputEvents+=[EventDeclaration|ID] | 213 | * inputEvents+=InputEvent ';' ('in' ';')* (ambiguity) 'out' outputEvents+=[EventDeclaration|ValidId] |
214 | */ | 214 | */ |
215 | protected void emit_ComponentDefinition_____OutKeyword_3_1_0_SemicolonKeyword_3_1_2__q___OutKeyword_3_1_0_SemicolonKeyword_3_1_2_InKeyword_3_0_0_SemicolonKeyword_3_0_2__q__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 215 | protected void emit_ComponentDefinition_____OutKeyword_3_1_0_SemicolonKeyword_3_1_2__q___OutKeyword_3_1_0_SemicolonKeyword_3_1_2_InKeyword_3_0_0_SemicolonKeyword_3_0_2__q__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
216 | acceptNodes(transition, nodes); | 216 | acceptNodes(transition, nodes); |