diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java | 73 |
1 files changed, 72 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java index c300c218..d763a193 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java | |||
@@ -14,6 +14,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | |||
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | 14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; |
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | 15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; |
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | 16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; |
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel; | ||
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | 18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; |
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | 19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; |
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | 20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; |
@@ -29,7 +30,10 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; | |||
29 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; | 30 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; |
30 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; | 31 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; |
31 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; | 32 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; |
33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; | ||
34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; | ||
32 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; | 35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; |
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying; | ||
33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | 37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; |
34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
@@ -99,6 +103,9 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
99 | case VampireLanguagePackage.VLS_FALSE: | 103 | case VampireLanguagePackage.VLS_FALSE: |
100 | sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject); | 104 | sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject); |
101 | return; | 105 | return; |
106 | case VampireLanguagePackage.VLS_FINITE_MODEL: | ||
107 | sequence_VLSFiniteModel(context, (VLSFiniteModel) semanticObject); | ||
108 | return; | ||
102 | case VampireLanguagePackage.VLS_FOF_FORMULA: | 109 | case VampireLanguagePackage.VLS_FOF_FORMULA: |
103 | sequence_VLSFofFormula(context, (VLSFofFormula) semanticObject); | 110 | sequence_VLSFofFormula(context, (VLSFofFormula) semanticObject); |
104 | return; | 111 | return; |
@@ -144,9 +151,18 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
144 | case VampireLanguagePackage.VLS_REV_IMPLIES: | 151 | case VampireLanguagePackage.VLS_REV_IMPLIES: |
145 | sequence_VLSBinary(context, (VLSRevImplies) semanticObject); | 152 | sequence_VLSBinary(context, (VLSRevImplies) semanticObject); |
146 | return; | 153 | return; |
154 | case VampireLanguagePackage.VLS_SATISFIABLE: | ||
155 | sequence_VLSSatisfiable(context, (VLSSatisfiable) semanticObject); | ||
156 | return; | ||
157 | case VampireLanguagePackage.VLS_TFF_FORMULA: | ||
158 | sequence_VLSTffFormula(context, (VLSTffFormula) semanticObject); | ||
159 | return; | ||
147 | case VampireLanguagePackage.VLS_TRUE: | 160 | case VampireLanguagePackage.VLS_TRUE: |
148 | sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject); | 161 | sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject); |
149 | return; | 162 | return; |
163 | case VampireLanguagePackage.VLS_TRYING: | ||
164 | sequence_VLSTrying(context, (VLSTrying) semanticObject); | ||
165 | return; | ||
150 | case VampireLanguagePackage.VLS_UNARY_NEGATION: | 166 | case VampireLanguagePackage.VLS_UNARY_NEGATION: |
151 | sequence_VLSUnaryNegation(context, (VLSUnaryNegation) semanticObject); | 167 | sequence_VLSUnaryNegation(context, (VLSUnaryNegation) semanticObject); |
152 | return; | 168 | return; |
@@ -766,6 +782,18 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
766 | 782 | ||
767 | /** | 783 | /** |
768 | * Contexts: | 784 | * Contexts: |
785 | * VLSFiniteModel returns VLSFiniteModel | ||
786 | * | ||
787 | * Constraint: | ||
788 | * {VLSFiniteModel} | ||
789 | */ | ||
790 | protected void sequence_VLSFiniteModel(ISerializationContext context, VLSFiniteModel semanticObject) { | ||
791 | genericSequencer.createSequence(context, semanticObject); | ||
792 | } | ||
793 | |||
794 | |||
795 | /** | ||
796 | * Contexts: | ||
769 | * VLSFofFormula returns VLSFofFormula | 797 | * VLSFofFormula returns VLSFofFormula |
770 | * | 798 | * |
771 | * Constraint: | 799 | * Constraint: |
@@ -815,6 +843,49 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
815 | 843 | ||
816 | /** | 844 | /** |
817 | * Contexts: | 845 | * Contexts: |
846 | * VLSConfirmations returns VLSSatisfiable | ||
847 | * VLSSatisfiable returns VLSSatisfiable | ||
848 | * | ||
849 | * Constraint: | ||
850 | * {VLSSatisfiable} | ||
851 | */ | ||
852 | protected void sequence_VLSSatisfiable(ISerializationContext context, VLSSatisfiable semanticObject) { | ||
853 | genericSequencer.createSequence(context, semanticObject); | ||
854 | } | ||
855 | |||
856 | |||
857 | /** | ||
858 | * Contexts: | ||
859 | * VLSTffFormula returns VLSTffFormula | ||
860 | * | ||
861 | * Constraint: | ||
862 | * ((name=LOWER_WORD_ID | name=SIGNED_LITERAL | name=SINGLE_QUOTE) fofRole=VLSRole fofFormula=VLSTerm annotations=VLSAnnotation?) | ||
863 | */ | ||
864 | protected void sequence_VLSTffFormula(ISerializationContext context, VLSTffFormula semanticObject) { | ||
865 | genericSequencer.createSequence(context, semanticObject); | ||
866 | } | ||
867 | |||
868 | |||
869 | /** | ||
870 | * Contexts: | ||
871 | * VLSTrying returns VLSTrying | ||
872 | * | ||
873 | * Constraint: | ||
874 | * name=LITERAL | ||
875 | */ | ||
876 | protected void sequence_VLSTrying(ISerializationContext context, VLSTrying semanticObject) { | ||
877 | if (errorAcceptor != null) { | ||
878 | if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME) == ValueTransient.YES) | ||
879 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME)); | ||
880 | } | ||
881 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
882 | feeder.accept(grammarAccess.getVLSTryingAccess().getNameLITERALTerminalRuleCall_2_0(), semanticObject.getName()); | ||
883 | feeder.finish(); | ||
884 | } | ||
885 | |||
886 | |||
887 | /** | ||
888 | * Contexts: | ||
818 | * VLSTerm returns VLSAssignment | 889 | * VLSTerm returns VLSAssignment |
819 | * VLSBinary returns VLSAssignment | 890 | * VLSBinary returns VLSAssignment |
820 | * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAssignment | 891 | * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAssignment |
@@ -1001,7 +1072,7 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
1001 | * VampireModel returns VampireModel | 1072 | * VampireModel returns VampireModel |
1002 | * | 1073 | * |
1003 | * Constraint: | 1074 | * Constraint: |
1004 | * (includes+=VLSInclude | comments+=VLSComment | formulas+=VLSFofFormula)+ | 1075 | * (includes+=VLSInclude | comments+=VLSComment | confirmations+=VLSConfirmations | formulas+=VLSFofFormula | tfformulas+=VLSTffFormula)+ |
1005 | */ | 1076 | */ |
1006 | protected void sequence_VampireModel(ISerializationContext context, VampireModel semanticObject) { | 1077 | protected void sequence_VampireModel(ISerializationContext context, VampireModel semanticObject) { |
1007 | genericSequencer.createSequence(context, semanticObject); | 1078 | genericSequencer.createSequence(context, semanticObject); |