diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-06 00:27:55 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-06 00:27:55 +0200 |
commit | 820151b6d27643ba0927ca84d1bccadbd695a55d (patch) | |
tree | 9d3a5786b7f90723a6af967875f861a89e5b897e /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java | |
parent | color update (diff) | |
download | VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.gz VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.zst VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.zip |
PS language update
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java | 44 |
1 files changed, 13 insertions, 31 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java index 80f9a02e..1ad39fd7 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java | |||
@@ -20,7 +20,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.Constraint; | |||
20 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | 20 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; |
21 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | 21 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; |
22 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | 22 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; |
23 | import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate; | ||
24 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | 23 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; |
25 | import org.eclipse.viatra.solver.language.solverLanguage.False; | 24 | import org.eclipse.viatra.solver.language.solverLanguage.False; |
26 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | 25 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; |
@@ -34,7 +33,7 @@ import org.eclipse.viatra.solver.language.solverLanguage.NamedObject; | |||
34 | import org.eclipse.viatra.solver.language.solverLanguage.Negative; | 33 | import org.eclipse.viatra.solver.language.solverLanguage.Negative; |
35 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | 34 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; |
36 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | 35 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; |
37 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol; | 36 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; |
38 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | 37 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; |
39 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | 38 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; |
40 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | 39 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; |
@@ -107,9 +106,6 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
107 | case SolverLanguagePackage.ERROR: | 106 | case SolverLanguagePackage.ERROR: |
108 | sequence_TruthValue(context, (org.eclipse.viatra.solver.language.solverLanguage.Error) semanticObject); | 107 | sequence_TruthValue(context, (org.eclipse.viatra.solver.language.solverLanguage.Error) semanticObject); |
109 | return; | 108 | return; |
110 | case SolverLanguagePackage.ERROR_PREDICATE: | ||
111 | sequence_ErrorPredicate(context, (ErrorPredicate) semanticObject); | ||
112 | return; | ||
113 | case SolverLanguagePackage.EXIST_SYMBOL: | 109 | case SolverLanguagePackage.EXIST_SYMBOL: |
114 | sequence_ExistSymbol(context, (ExistSymbol) semanticObject); | 110 | sequence_ExistSymbol(context, (ExistSymbol) semanticObject); |
115 | return; | 111 | return; |
@@ -152,8 +148,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
152 | case SolverLanguagePackage.POSITIVE: | 148 | case SolverLanguagePackage.POSITIVE: |
153 | sequence_Polarity(context, (Positive) semanticObject); | 149 | sequence_Polarity(context, (Positive) semanticObject); |
154 | return; | 150 | return; |
155 | case SolverLanguagePackage.PREDICATE_SYMBOL: | 151 | case SolverLanguagePackage.PREDICATE: |
156 | sequence_PredicateSymbol(context, (PredicateSymbol) semanticObject); | 152 | sequence_Predicate(context, (Predicate) semanticObject); |
157 | return; | 153 | return; |
158 | case SolverLanguagePackage.PROBLEM: | 154 | case SolverLanguagePackage.PROBLEM: |
159 | sequence_Problem(context, (Problem) semanticObject); | 155 | sequence_Problem(context, (Problem) semanticObject); |
@@ -229,7 +225,7 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
229 | * BasicInterpretation returns BasicInterpretation | 225 | * BasicInterpretation returns BasicInterpretation |
230 | * | 226 | * |
231 | * Constraint: | 227 | * Constraint: |
232 | * (symbol=Symbol objects+=ComplexObject* value=TruthValue) | 228 | * (symbol=Symbol (objects+=ComplexObject objects+=ComplexObject*)? value=TruthValue) |
233 | */ | 229 | */ |
234 | protected void sequence_BasicInterpretation(ISerializationContext context, BasicInterpretation semanticObject) { | 230 | protected void sequence_BasicInterpretation(ISerializationContext context, BasicInterpretation semanticObject) { |
235 | genericSequencer.createSequence(context, semanticObject); | 231 | genericSequencer.createSequence(context, semanticObject); |
@@ -304,7 +300,7 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
304 | * ClassInterpretation returns ClassInterpretation | 300 | * ClassInterpretation returns ClassInterpretation |
305 | * | 301 | * |
306 | * Constraint: | 302 | * Constraint: |
307 | * (abstract?='abstract' symbol=ModelSymbol supertypes+=ModelSymbol* fielt+=FieldRelationInterpretation*) | 303 | * (abstract?='abstract'? symbol=ModelSymbol supertypes+=ModelSymbol* fielt+=FieldRelationInterpretation*) |
308 | */ | 304 | */ |
309 | protected void sequence_ClassInterpretation(ISerializationContext context, ClassInterpretation semanticObject) { | 305 | protected void sequence_ClassInterpretation(ISerializationContext context, ClassInterpretation semanticObject) { |
310 | genericSequencer.createSequence(context, semanticObject); | 306 | genericSequencer.createSequence(context, semanticObject); |
@@ -340,7 +336,7 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
340 | * Constraint returns Constraint | 336 | * Constraint returns Constraint |
341 | * | 337 | * |
342 | * Constraint: | 338 | * Constraint: |
343 | * (polarity=Polarity? symbol=ModelSymbol (params+=Literal+ | (closureType=ClosureType params+=Literal params+=Literal))?) | 339 | * ((polarity=Polarity? symbol=ModelSymbol params+=Literal? params+=Literal*) | (closureType=ClosureType params+=Literal? params+=Literal*)) |
344 | */ | 340 | */ |
345 | protected void sequence_Constraint(ISerializationContext context, Constraint semanticObject) { | 341 | protected void sequence_Constraint(ISerializationContext context, Constraint semanticObject) { |
346 | genericSequencer.createSequence(context, semanticObject); | 342 | genericSequencer.createSequence(context, semanticObject); |
@@ -398,20 +394,6 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
398 | 394 | ||
399 | /** | 395 | /** |
400 | * Contexts: | 396 | * Contexts: |
401 | * Statement returns ErrorPredicate | ||
402 | * Predicate returns ErrorPredicate | ||
403 | * ErrorPredicate returns ErrorPredicate | ||
404 | * | ||
405 | * Constraint: | ||
406 | * (name=ID? parameters+=Parameter* (bodies+=PatternBody bodies+=PatternBody*)?) | ||
407 | */ | ||
408 | protected void sequence_ErrorPredicate(ISerializationContext context, ErrorPredicate semanticObject) { | ||
409 | genericSequencer.createSequence(context, semanticObject); | ||
410 | } | ||
411 | |||
412 | |||
413 | /** | ||
414 | * Contexts: | ||
415 | * Symbol returns ExistSymbol | 397 | * Symbol returns ExistSymbol |
416 | * PartialitySymbol returns ExistSymbol | 398 | * PartialitySymbol returns ExistSymbol |
417 | * ExistSymbol returns ExistSymbol | 399 | * ExistSymbol returns ExistSymbol |
@@ -429,7 +411,7 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
429 | * FieldRelationInterpretation returns FieldRelationInterpretation | 411 | * FieldRelationInterpretation returns FieldRelationInterpretation |
430 | * | 412 | * |
431 | * Constraint: | 413 | * Constraint: |
432 | * (containment?='containment' symbol=ModelSymbol multiplicity=MultiplicityDefinition? target=Symbol) | 414 | * (containment?='containment'? symbol=ModelSymbol multiplicity=MultiplicityDefinition? target=Symbol) |
433 | */ | 415 | */ |
434 | protected void sequence_FieldRelationInterpretation(ISerializationContext context, FieldRelationInterpretation semanticObject) { | 416 | protected void sequence_FieldRelationInterpretation(ISerializationContext context, FieldRelationInterpretation semanticObject) { |
435 | genericSequencer.createSequence(context, semanticObject); | 417 | genericSequencer.createSequence(context, semanticObject); |
@@ -445,7 +427,7 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
445 | * | 427 | * |
446 | * Constraint: | 428 | * Constraint: |
447 | * ( | 429 | * ( |
448 | * containment?='containment' | 430 | * containment?='containment'? |
449 | * symbol=ModelSymbol | 431 | * symbol=ModelSymbol |
450 | * sourceMultiplicity=MultiplicityDefinition? | 432 | * sourceMultiplicity=MultiplicityDefinition? |
451 | * source=Symbol | 433 | * source=Symbol |
@@ -530,6 +512,7 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
530 | * ComplexObject returns NamedObject | 512 | * ComplexObject returns NamedObject |
531 | * Object returns NamedObject | 513 | * Object returns NamedObject |
532 | * NamedObject returns NamedObject | 514 | * NamedObject returns NamedObject |
515 | * Literal returns NamedObject | ||
533 | * | 516 | * |
534 | * Constraint: | 517 | * Constraint: |
535 | * name=ID | 518 | * name=ID |
@@ -595,14 +578,13 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
595 | 578 | ||
596 | /** | 579 | /** |
597 | * Contexts: | 580 | * Contexts: |
598 | * Statement returns PredicateSymbol | 581 | * Statement returns Predicate |
599 | * Predicate returns PredicateSymbol | 582 | * Predicate returns Predicate |
600 | * PredicateSymbol returns PredicateSymbol | ||
601 | * | 583 | * |
602 | * Constraint: | 584 | * Constraint: |
603 | * (symbol=ModelSymbol parameters+=Parameter* (bodies+=PatternBody bodies+=PatternBody*)?) | 585 | * (isError?='error'? symbol=ModelSymbol (parameters+=Parameter parameters+=Parameter*)? (bodies+=PatternBody bodies+=PatternBody*)?) |
604 | */ | 586 | */ |
605 | protected void sequence_PredicateSymbol(ISerializationContext context, PredicateSymbol semanticObject) { | 587 | protected void sequence_Predicate(ISerializationContext context, Predicate semanticObject) { |
606 | genericSequencer.createSequence(context, semanticObject); | 588 | genericSequencer.createSequence(context, semanticObject); |
607 | } | 589 | } |
608 | 590 | ||