aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSemanticSequencer.java172
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/serializer/CftLanguageSyntacticSequencer.java30
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 @@
4package hu.bme.mit.inf.dslreasoner.faulttree.components.serializer; 4package hu.bme.mit.inf.dslreasoner.faulttree.components.serializer;
5 5
6import com.google.inject.Inject; 6import com.google.inject.Inject;
7import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.AndGate;
8import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Assignment; 7import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Assignment;
9import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.BasicEventDefinition;
10import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftLanguagePackage; 8import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftLanguagePackage;
11import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel; 9import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel;
12import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentDefinition;
13import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentInstance; 10import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentInstance;
14import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.EventReference; 11import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.EventReference;
15import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ImportDeclaration; 12import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ImportDeclaration;
16import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.InputEvent;
17import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition; 13import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition;
18import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition; 14import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition;
19import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingParameter; 15import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingParameter;
20import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.OrGate;
21import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition; 16import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition;
22import hu.bme.mit.inf.dslreasoner.faulttree.components.services.CftLanguageGrammarAccess; 17import hu.bme.mit.inf.dslreasoner.faulttree.components.services.CftLanguageGrammarAccess;
18import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition;
19import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition;
20import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
21import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
22import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent;
23import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition;
24import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition;
25import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution;
26import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution;
27import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
23import java.util.Set; 28import java.util.Set;
24import org.eclipse.emf.ecore.EObject; 29import org.eclipse.emf.ecore.EObject;
25import org.eclipse.emf.ecore.EPackage; 30import 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);