aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java62
1 files changed, 32 insertions, 30 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java
index 0a4b46a5..7f135fb2 100644
--- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java
+++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java
@@ -41,12 +41,10 @@ public class SolverLanguageParser extends AbstractContentAssistParser {
41 builder.put(grammarAccess.getComplexObjectAccess().getAlternatives(), "rule__ComplexObject__Alternatives"); 41 builder.put(grammarAccess.getComplexObjectAccess().getAlternatives(), "rule__ComplexObject__Alternatives");
42 builder.put(grammarAccess.getObjectAccess().getAlternatives(), "rule__Object__Alternatives"); 42 builder.put(grammarAccess.getObjectAccess().getAlternatives(), "rule__Object__Alternatives");
43 builder.put(grammarAccess.getDataObjectAccess().getAlternatives(), "rule__DataObject__Alternatives"); 43 builder.put(grammarAccess.getDataObjectAccess().getAlternatives(), "rule__DataObject__Alternatives");
44 builder.put(grammarAccess.getPredicateAccess().getAlternatives(), "rule__Predicate__Alternatives"); 44 builder.put(grammarAccess.getPredicateAccess().getAlternatives_4(), "rule__Predicate__Alternatives_4");
45 builder.put(grammarAccess.getPredicateSymbolAccess().getAlternatives_6(), "rule__PredicateSymbol__Alternatives_6");
46 builder.put(grammarAccess.getErrorPredicateAccess().getAlternatives_5(), "rule__ErrorPredicate__Alternatives_5");
47 builder.put(grammarAccess.getPatternBodyAccess().getAlternatives_1(), "rule__PatternBody__Alternatives_1"); 45 builder.put(grammarAccess.getPatternBodyAccess().getAlternatives_1(), "rule__PatternBody__Alternatives_1");
48 builder.put(grammarAccess.getPolarityAccess().getAlternatives(), "rule__Polarity__Alternatives"); 46 builder.put(grammarAccess.getPolarityAccess().getAlternatives(), "rule__Polarity__Alternatives");
49 builder.put(grammarAccess.getConstraintAccess().getAlternatives_2(), "rule__Constraint__Alternatives_2"); 47 builder.put(grammarAccess.getConstraintAccess().getAlternatives(), "rule__Constraint__Alternatives");
50 builder.put(grammarAccess.getClosureTypeAccess().getAlternatives(), "rule__ClosureType__Alternatives"); 48 builder.put(grammarAccess.getClosureTypeAccess().getAlternatives(), "rule__ClosureType__Alternatives");
51 builder.put(grammarAccess.getLiteralAccess().getAlternatives(), "rule__Literal__Alternatives"); 49 builder.put(grammarAccess.getLiteralAccess().getAlternatives(), "rule__Literal__Alternatives");
52 builder.put(grammarAccess.getCDInterpretationAccess().getAlternatives(), "rule__CDInterpretation__Alternatives"); 50 builder.put(grammarAccess.getCDInterpretationAccess().getAlternatives(), "rule__CDInterpretation__Alternatives");
@@ -60,6 +58,9 @@ public class SolverLanguageParser extends AbstractContentAssistParser {
60 builder.put(grammarAccess.getTruthValueAccess().getGroup_2(), "rule__TruthValue__Group_2__0"); 58 builder.put(grammarAccess.getTruthValueAccess().getGroup_2(), "rule__TruthValue__Group_2__0");
61 builder.put(grammarAccess.getTruthValueAccess().getGroup_3(), "rule__TruthValue__Group_3__0"); 59 builder.put(grammarAccess.getTruthValueAccess().getGroup_3(), "rule__TruthValue__Group_3__0");
62 builder.put(grammarAccess.getBasicInterpretationAccess().getGroup(), "rule__BasicInterpretation__Group__0"); 60 builder.put(grammarAccess.getBasicInterpretationAccess().getGroup(), "rule__BasicInterpretation__Group__0");
61 builder.put(grammarAccess.getBasicInterpretationAccess().getGroup_1(), "rule__BasicInterpretation__Group_1__0");
62 builder.put(grammarAccess.getBasicInterpretationAccess().getGroup_1_1(), "rule__BasicInterpretation__Group_1_1__0");
63 builder.put(grammarAccess.getBasicInterpretationAccess().getGroup_1_1_1(), "rule__BasicInterpretation__Group_1_1_1__0");
63 builder.put(grammarAccess.getExistSymbolAccess().getGroup(), "rule__ExistSymbol__Group__0"); 64 builder.put(grammarAccess.getExistSymbolAccess().getGroup(), "rule__ExistSymbol__Group__0");
64 builder.put(grammarAccess.getEqualsSymbolAccess().getGroup(), "rule__EqualsSymbol__Group__0"); 65 builder.put(grammarAccess.getEqualsSymbolAccess().getGroup(), "rule__EqualsSymbol__Group__0");
65 builder.put(grammarAccess.getBooleanSymbolAccess().getGroup(), "rule__BooleanSymbol__Group__0"); 66 builder.put(grammarAccess.getBooleanSymbolAccess().getGroup(), "rule__BooleanSymbol__Group__0");
@@ -67,21 +68,22 @@ public class SolverLanguageParser extends AbstractContentAssistParser {
67 builder.put(grammarAccess.getRealSymbolAccess().getGroup(), "rule__RealSymbol__Group__0"); 68 builder.put(grammarAccess.getRealSymbolAccess().getGroup(), "rule__RealSymbol__Group__0");
68 builder.put(grammarAccess.getStringSymbolAccess().getGroup(), "rule__StringSymbol__Group__0"); 69 builder.put(grammarAccess.getStringSymbolAccess().getGroup(), "rule__StringSymbol__Group__0");
69 builder.put(grammarAccess.getNamedObjectAccess().getGroup(), "rule__NamedObject__Group__0"); 70 builder.put(grammarAccess.getNamedObjectAccess().getGroup(), "rule__NamedObject__Group__0");
70 builder.put(grammarAccess.getPredicateSymbolAccess().getGroup(), "rule__PredicateSymbol__Group__0"); 71 builder.put(grammarAccess.getPredicateAccess().getGroup(), "rule__Predicate__Group__0");
71 builder.put(grammarAccess.getPredicateSymbolAccess().getGroup_6_1(), "rule__PredicateSymbol__Group_6_1__0"); 72 builder.put(grammarAccess.getPredicateAccess().getGroup_2(), "rule__Predicate__Group_2__0");
72 builder.put(grammarAccess.getPredicateSymbolAccess().getGroup_6_1_1(), "rule__PredicateSymbol__Group_6_1_1__0"); 73 builder.put(grammarAccess.getPredicateAccess().getGroup_2_1(), "rule__Predicate__Group_2_1__0");
73 builder.put(grammarAccess.getErrorPredicateAccess().getGroup(), "rule__ErrorPredicate__Group__0"); 74 builder.put(grammarAccess.getPredicateAccess().getGroup_2_1_1(), "rule__Predicate__Group_2_1_1__0");
74 builder.put(grammarAccess.getErrorPredicateAccess().getGroup_3(), "rule__ErrorPredicate__Group_3__0"); 75 builder.put(grammarAccess.getPredicateAccess().getGroup_4_1(), "rule__Predicate__Group_4_1__0");
75 builder.put(grammarAccess.getErrorPredicateAccess().getGroup_5_1(), "rule__ErrorPredicate__Group_5_1__0"); 76 builder.put(grammarAccess.getPredicateAccess().getGroup_4_1_1(), "rule__Predicate__Group_4_1_1__0");
76 builder.put(grammarAccess.getErrorPredicateAccess().getGroup_5_1_1(), "rule__ErrorPredicate__Group_5_1_1__0");
77 builder.put(grammarAccess.getParameterAccess().getGroup(), "rule__Parameter__Group__0"); 77 builder.put(grammarAccess.getParameterAccess().getGroup(), "rule__Parameter__Group__0");
78 builder.put(grammarAccess.getParameterAccess().getGroup_1(), "rule__Parameter__Group_1__0"); 78 builder.put(grammarAccess.getParameterAccess().getGroup_1(), "rule__Parameter__Group_1__0");
79 builder.put(grammarAccess.getPatternBodyAccess().getGroup(), "rule__PatternBody__Group__0"); 79 builder.put(grammarAccess.getPatternBodyAccess().getGroup(), "rule__PatternBody__Group__0");
80 builder.put(grammarAccess.getPolarityAccess().getGroup_0(), "rule__Polarity__Group_0__0"); 80 builder.put(grammarAccess.getPolarityAccess().getGroup_0(), "rule__Polarity__Group_0__0");
81 builder.put(grammarAccess.getPolarityAccess().getGroup_1(), "rule__Polarity__Group_1__0"); 81 builder.put(grammarAccess.getPolarityAccess().getGroup_1(), "rule__Polarity__Group_1__0");
82 builder.put(grammarAccess.getConstraintAccess().getGroup(), "rule__Constraint__Group__0"); 82 builder.put(grammarAccess.getConstraintAccess().getGroup_0(), "rule__Constraint__Group_0__0");
83 builder.put(grammarAccess.getConstraintAccess().getGroup_2_0(), "rule__Constraint__Group_2_0__0"); 83 builder.put(grammarAccess.getConstraintAccess().getGroup_0_2(), "rule__Constraint__Group_0_2__0");
84 builder.put(grammarAccess.getConstraintAccess().getGroup_2_1(), "rule__Constraint__Group_2_1__0"); 84 builder.put(grammarAccess.getConstraintAccess().getGroup_0_2_2(), "rule__Constraint__Group_0_2_2__0");
85 builder.put(grammarAccess.getConstraintAccess().getGroup_1(), "rule__Constraint__Group_1__0");
86 builder.put(grammarAccess.getConstraintAccess().getGroup_1_3(), "rule__Constraint__Group_1_3__0");
85 builder.put(grammarAccess.getClosureTypeAccess().getGroup_0(), "rule__ClosureType__Group_0__0"); 87 builder.put(grammarAccess.getClosureTypeAccess().getGroup_0(), "rule__ClosureType__Group_0__0");
86 builder.put(grammarAccess.getClosureTypeAccess().getGroup_1(), "rule__ClosureType__Group_1__0"); 88 builder.put(grammarAccess.getClosureTypeAccess().getGroup_1(), "rule__ClosureType__Group_1__0");
87 builder.put(grammarAccess.getAllInstancesAccess().getGroup(), "rule__AllInstances__Group__0"); 89 builder.put(grammarAccess.getAllInstancesAccess().getGroup(), "rule__AllInstances__Group__0");
@@ -95,8 +97,9 @@ public class SolverLanguageParser extends AbstractContentAssistParser {
95 builder.put(grammarAccess.getMultiplicityDefinitionAccess().getGroup(), "rule__MultiplicityDefinition__Group__0"); 97 builder.put(grammarAccess.getMultiplicityDefinitionAccess().getGroup(), "rule__MultiplicityDefinition__Group__0");
96 builder.put(grammarAccess.getProblemAccess().getStatementsAssignment(), "rule__Problem__StatementsAssignment"); 98 builder.put(grammarAccess.getProblemAccess().getStatementsAssignment(), "rule__Problem__StatementsAssignment");
97 builder.put(grammarAccess.getBasicInterpretationAccess().getSymbolAssignment_0(), "rule__BasicInterpretation__SymbolAssignment_0"); 99 builder.put(grammarAccess.getBasicInterpretationAccess().getSymbolAssignment_0(), "rule__BasicInterpretation__SymbolAssignment_0");
98 builder.put(grammarAccess.getBasicInterpretationAccess().getObjectsAssignment_2(), "rule__BasicInterpretation__ObjectsAssignment_2"); 100 builder.put(grammarAccess.getBasicInterpretationAccess().getObjectsAssignment_1_1_0(), "rule__BasicInterpretation__ObjectsAssignment_1_1_0");
99 builder.put(grammarAccess.getBasicInterpretationAccess().getValueAssignment_5(), "rule__BasicInterpretation__ValueAssignment_5"); 101 builder.put(grammarAccess.getBasicInterpretationAccess().getObjectsAssignment_1_1_1_1(), "rule__BasicInterpretation__ObjectsAssignment_1_1_1_1");
102 builder.put(grammarAccess.getBasicInterpretationAccess().getValueAssignment_3(), "rule__BasicInterpretation__ValueAssignment_3");
100 builder.put(grammarAccess.getModelSymbolAccess().getNameAssignment(), "rule__ModelSymbol__NameAssignment"); 103 builder.put(grammarAccess.getModelSymbolAccess().getNameAssignment(), "rule__ModelSymbol__NameAssignment");
101 builder.put(grammarAccess.getNamedObjectAccess().getNameAssignment_1(), "rule__NamedObject__NameAssignment_1"); 104 builder.put(grammarAccess.getNamedObjectAccess().getNameAssignment_1(), "rule__NamedObject__NameAssignment_1");
102 builder.put(grammarAccess.getUnnamedObjectAccess().getNameAssignment(), "rule__UnnamedObject__NameAssignment"); 105 builder.put(grammarAccess.getUnnamedObjectAccess().getNameAssignment(), "rule__UnnamedObject__NameAssignment");
@@ -104,23 +107,22 @@ public class SolverLanguageParser extends AbstractContentAssistParser {
104 builder.put(grammarAccess.getIntObjectAccess().getValueAssignment(), "rule__IntObject__ValueAssignment"); 107 builder.put(grammarAccess.getIntObjectAccess().getValueAssignment(), "rule__IntObject__ValueAssignment");
105 builder.put(grammarAccess.getRealObjectAccess().getValueAssignment(), "rule__RealObject__ValueAssignment"); 108 builder.put(grammarAccess.getRealObjectAccess().getValueAssignment(), "rule__RealObject__ValueAssignment");
106 builder.put(grammarAccess.getStringObjectAccess().getValueAssignment(), "rule__StringObject__ValueAssignment"); 109 builder.put(grammarAccess.getStringObjectAccess().getValueAssignment(), "rule__StringObject__ValueAssignment");
107 builder.put(grammarAccess.getPredicateSymbolAccess().getSymbolAssignment_1(), "rule__PredicateSymbol__SymbolAssignment_1"); 110 builder.put(grammarAccess.getPredicateAccess().getIsErrorAssignment_0(), "rule__Predicate__IsErrorAssignment_0");
108 builder.put(grammarAccess.getPredicateSymbolAccess().getParametersAssignment_3(), "rule__PredicateSymbol__ParametersAssignment_3"); 111 builder.put(grammarAccess.getPredicateAccess().getSymbolAssignment_1(), "rule__Predicate__SymbolAssignment_1");
109 builder.put(grammarAccess.getPredicateSymbolAccess().getBodiesAssignment_6_1_0(), "rule__PredicateSymbol__BodiesAssignment_6_1_0"); 112 builder.put(grammarAccess.getPredicateAccess().getParametersAssignment_2_1_0(), "rule__Predicate__ParametersAssignment_2_1_0");
110 builder.put(grammarAccess.getPredicateSymbolAccess().getBodiesAssignment_6_1_1_1(), "rule__PredicateSymbol__BodiesAssignment_6_1_1_1"); 113 builder.put(grammarAccess.getPredicateAccess().getParametersAssignment_2_1_1_1(), "rule__Predicate__ParametersAssignment_2_1_1_1");
111 builder.put(grammarAccess.getErrorPredicateAccess().getNameAssignment_2(), "rule__ErrorPredicate__NameAssignment_2"); 114 builder.put(grammarAccess.getPredicateAccess().getBodiesAssignment_4_1_0(), "rule__Predicate__BodiesAssignment_4_1_0");
112 builder.put(grammarAccess.getErrorPredicateAccess().getParametersAssignment_3_1(), "rule__ErrorPredicate__ParametersAssignment_3_1"); 115 builder.put(grammarAccess.getPredicateAccess().getBodiesAssignment_4_1_1_1(), "rule__Predicate__BodiesAssignment_4_1_1_1");
113 builder.put(grammarAccess.getErrorPredicateAccess().getBodiesAssignment_5_1_0(), "rule__ErrorPredicate__BodiesAssignment_5_1_0");
114 builder.put(grammarAccess.getErrorPredicateAccess().getBodiesAssignment_5_1_1_1(), "rule__ErrorPredicate__BodiesAssignment_5_1_1_1");
115 builder.put(grammarAccess.getParameterAccess().getVariableAssignment_0(), "rule__Parameter__VariableAssignment_0"); 116 builder.put(grammarAccess.getParameterAccess().getVariableAssignment_0(), "rule__Parameter__VariableAssignment_0");
116 builder.put(grammarAccess.getParameterAccess().getTypeAssignment_1_1(), "rule__Parameter__TypeAssignment_1_1"); 117 builder.put(grammarAccess.getParameterAccess().getTypeAssignment_1_1(), "rule__Parameter__TypeAssignment_1_1");
117 builder.put(grammarAccess.getPatternBodyAccess().getConstraintsAssignment_1_1(), "rule__PatternBody__ConstraintsAssignment_1_1"); 118 builder.put(grammarAccess.getPatternBodyAccess().getConstraintsAssignment_1_1(), "rule__PatternBody__ConstraintsAssignment_1_1");
118 builder.put(grammarAccess.getConstraintAccess().getPolarityAssignment_0(), "rule__Constraint__PolarityAssignment_0"); 119 builder.put(grammarAccess.getConstraintAccess().getPolarityAssignment_0_0(), "rule__Constraint__PolarityAssignment_0_0");
119 builder.put(grammarAccess.getConstraintAccess().getSymbolAssignment_1(), "rule__Constraint__SymbolAssignment_1"); 120 builder.put(grammarAccess.getConstraintAccess().getSymbolAssignment_0_1(), "rule__Constraint__SymbolAssignment_0_1");
120 builder.put(grammarAccess.getConstraintAccess().getParamsAssignment_2_0_1(), "rule__Constraint__ParamsAssignment_2_0_1"); 121 builder.put(grammarAccess.getConstraintAccess().getParamsAssignment_0_2_1(), "rule__Constraint__ParamsAssignment_0_2_1");
121 builder.put(grammarAccess.getConstraintAccess().getClosureTypeAssignment_2_1_0(), "rule__Constraint__ClosureTypeAssignment_2_1_0"); 122 builder.put(grammarAccess.getConstraintAccess().getParamsAssignment_0_2_2_1(), "rule__Constraint__ParamsAssignment_0_2_2_1");
122 builder.put(grammarAccess.getConstraintAccess().getParamsAssignment_2_1_2(), "rule__Constraint__ParamsAssignment_2_1_2"); 123 builder.put(grammarAccess.getConstraintAccess().getClosureTypeAssignment_1_0(), "rule__Constraint__ClosureTypeAssignment_1_0");
123 builder.put(grammarAccess.getConstraintAccess().getParamsAssignment_2_1_3(), "rule__Constraint__ParamsAssignment_2_1_3"); 124 builder.put(grammarAccess.getConstraintAccess().getParamsAssignment_1_2(), "rule__Constraint__ParamsAssignment_1_2");
125 builder.put(grammarAccess.getConstraintAccess().getParamsAssignment_1_3_1(), "rule__Constraint__ParamsAssignment_1_3_1");
124 builder.put(grammarAccess.getVariableAccess().getNameAssignment(), "rule__Variable__NameAssignment"); 126 builder.put(grammarAccess.getVariableAccess().getNameAssignment(), "rule__Variable__NameAssignment");
125 builder.put(grammarAccess.getAllInstancesAccess().getSymbolAssignment_1(), "rule__AllInstances__SymbolAssignment_1"); 127 builder.put(grammarAccess.getAllInstancesAccess().getSymbolAssignment_1(), "rule__AllInstances__SymbolAssignment_1");
126 builder.put(grammarAccess.getDefaultInterpretationAccess().getInterpretationAssignment_1(), "rule__DefaultInterpretation__InterpretationAssignment_1"); 128 builder.put(grammarAccess.getDefaultInterpretationAccess().getInterpretationAssignment_1(), "rule__DefaultInterpretation__InterpretationAssignment_1");
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 13:56:27 +0000