From 9643b7b7a735afc408ca6a172e2719653553627a Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 4 Mar 2019 17:31:16 -0500 Subject: Begin handing of scope and fix type definitions. --- .../VampireLanguageSemanticSequencer.java | 38 ---------------------- 1 file changed, 38 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java') 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 d763a193..890341db 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,7 +14,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; @@ -33,7 +32,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; @@ -103,9 +101,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic case VampireLanguagePackage.VLS_FALSE: sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject); return; - case VampireLanguagePackage.VLS_FINITE_MODEL: - sequence_VLSFiniteModel(context, (VLSFiniteModel) semanticObject); - return; case VampireLanguagePackage.VLS_FOF_FORMULA: sequence_VLSFofFormula(context, (VLSFofFormula) semanticObject); return; @@ -160,9 +155,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic case VampireLanguagePackage.VLS_TRUE: sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject); return; - case VampireLanguagePackage.VLS_TRYING: - sequence_VLSTrying(context, (VLSTrying) semanticObject); - return; case VampireLanguagePackage.VLS_UNARY_NEGATION: sequence_VLSUnaryNegation(context, (VLSUnaryNegation) semanticObject); return; @@ -780,18 +772,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic } - /** - * Contexts: - * VLSFiniteModel returns VLSFiniteModel - * - * Constraint: - * {VLSFiniteModel} - */ - protected void sequence_VLSFiniteModel(ISerializationContext context, VLSFiniteModel semanticObject) { - genericSequencer.createSequence(context, semanticObject); - } - - /** * Contexts: * VLSFofFormula returns VLSFofFormula @@ -866,24 +846,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic } - /** - * Contexts: - * VLSTrying returns VLSTrying - * - * Constraint: - * name=LITERAL - */ - protected void sequence_VLSTrying(ISerializationContext context, VLSTrying semanticObject) { - if (errorAcceptor != null) { - if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME) == ValueTransient.YES) - errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME)); - } - SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); - feeder.accept(grammarAccess.getVLSTryingAccess().getNameLITERALTerminalRuleCall_2_0(), semanticObject.getName()); - feeder.finish(); - } - - /** * Contexts: * VLSTerm returns VLSAssignment -- cgit v1.2.3-70-g09d2