public class ASTProlog extends DepthFirstAdapter
Constructor and Description |
---|
ASTProlog(de.prob.prolog.output.IPrologTermOutput pout,
PositionPrinter positionPrinter) |
caseAAddExpression, caseAAnticipatedEventstatus, caseAArityExpression, caseAAssertionSubstitution, caseABinExpression, caseABlockSubstitution, caseABooleanFalseExpression, caseABoolSetExpression, caseABtreeExpression, caseACardExpression, caseACartesianProductExpression, caseAChoiceOrSubstitution, caseAClosureExpression, caseACompositionExpression, caseAComputationOperation, caseAConcatExpression, caseAConjunctPredicate, caseAConstExpression, caseAConstraintsMachineClause, caseAConvergentEventstatus, caseAConversionDefinition, caseAConvertBoolExpression, caseADefArgpattern, caseADeferredSetSet, caseADefineSubstitution, caseADefinitionFileParseUnit, caseADescriptionExpression, caseADescriptionPredicate, caseADescriptionSet, caseADirectProductExpression, caseADisjunctPredicate, caseADivExpression, caseADomainExpression, caseADomainRestrictionExpression, caseADomainSubtractionExpression, caseAEmptySequenceExpression, caseAEmptySetExpression, caseAEqualPredicate, caseAEquivalencePredicate, caseAEventBFirstProjectionExpression, caseAEventBFirstProjectionV2Expression, caseAEventBIdentityExpression, caseAEventBSecondProjectionExpression, caseAEventBSecondProjectionV2Expression, caseAExpressionDefinition, caseAExpressionsMachineClause, caseAFalsityPredicate, caseAFatherExpression, caseAFileDefinitionDefinition, caseAFin1SubsetExpression, caseAFinitePredicate, caseAFinSubsetExpression, caseAFirstExpression, caseAFirstProjectionExpression, caseAFlooredDivExpression, caseAForallSubMessageSubstitution, caseAForLoopSubstitution, caseAFrontExpression, caseAFuncOpSubstitution, caseAFunctionOperation, caseAGeneralConcatExpression, caseAGeneralIntersectionExpression, caseAGeneralUnionExpression, caseAGeneratedParseUnit, caseAGreaterEqualPredicate, caseAGreaterPredicate, caseAHexIntegerExpression, caseAIdentityExpression, caseAIfElsifExprExpression, caseAIfElsifSubstitution, caseAIfPredicatePredicate, caseAImageExpression, caseAImplicationPredicate, caseAImportPackage, caseAInferredUnitExpression, caseAInfixExpression, caseAInitialisationMachineClause, caseAInsertFrontExpression, caseAInsertTailExpression, caseAIntegerSetExpression, caseAIntersectionExpression, caseAIntervalExpression, caseAIntSetExpression, caseAInvalidOperationsClauseMachineClause, caseAInvalidSubstitution, caseAInvariantMachineClause, caseAIseq1Expression, caseAIseqExpression, caseAIterationExpression, caseALabelPredicate, caseALastExpression, caseALeftExpression, caseALessEqualPredicate, caseALessPredicate, caseAMachineMachineVariant, caseAMaxExpression, caseAMaxIntExpression, caseAMemberPredicate, caseAMinExpression, caseAMinIntExpression, caseAMinusExpression, caseAMinusOrSetSubtractExpression, caseAMirrorExpression, caseAMissingSemicolonOperation, caseAModelMachineVariant, caseAModuloExpression, caseAMultilineStringExpression, caseAMultiplicationExpression, caseAMultOrCartExpression, caseANat1SetExpression, caseANatSetExpression, caseANatural1SetExpression, caseANaturalSetExpression, caseANegationPredicate, caseANewUnitExpression, caseANotEqualPredicate, caseANotMemberPredicate, caseANotSubsetPredicate, caseANotSubsetStrictPredicate, caseAOperationAttribute, caseAOperatorExpression, caseAOperatorPredicate, caseAOperatorSubstitution, caseAOrdinaryEventstatus, caseAOverwriteExpression, caseAPackageParseUnit, caseAParallelProductExpression, caseAParseUnitDefinitionParseUnit, caseAPartialBijectionExpression, caseAPartialFunctionExpression, caseAPartialInjectionExpression, caseAPartialSurjectionExpression, caseAPermExpression, caseAPostfixExpression, caseAPow1SubsetExpression, caseAPowerOfExpression, caseAPowSubsetExpression, caseAPreconditionSubstitution, caseAPredecessorExpression, caseAPredicateAttributeOperationAttribute, caseAPredicateDefinition, caseAPredicateFunctionPredicate, caseAPredicateIdentifierPredicate, caseAPredicatesMachineClause, caseAPrefixExpression, caseAPropertiesMachineClause, caseARangeExpression, caseARangeRestrictionExpression, caseARangeSubtractionExpression, caseARankExpression, caseARecEntry, caseARecordFieldExpression, caseAReferencesMachineClause, caseARefinesModelClause, caseAReflexiveClosureExpression, caseARelationsExpression, caseARestrictFrontExpression, caseARestrictTailExpression, caseAReverseExpression, caseARevExpression, caseARightExpression, caseARingExpression, caseARuleFailSubSubstitution, caseARuleOperation, caseASecondProjectionExpression, caseASelectWhenSubstitution, caseASeq1Expression, caseASeqExpression, caseASetSubtractionExpression, caseASizeExpression, caseASizetExpression, caseASkipSubstitution, caseASonExpression, caseASonsExpression, caseAStringExpression, caseAStringSetExpression, caseASubsetPredicate, caseASubsetStrictPredicate, caseASubstitutionPredicate, caseASubtreeExpression, caseASuccessorExpression, caseASurjectionRelationExpression, caseASystemMachineVariant, caseATailExpression, caseATopExpression, caseATotalBijectionExpression, caseATotalFunctionExpression, caseATotalInjectionExpression, caseATotalRelationExpression, caseATotalSurjectionExpression, caseATotalSurjectionRelationExpression, caseATransFunctionExpression, caseATransRelationExpression, caseATreeExpression, caseATruthPredicate, caseATypeofExpression, caseAUnaryMinusExpression, caseAUndefArgpattern, caseAUnionExpression, caseAUnitAliasParseUnit, caseAUnitExpression, caseAValuesEntry, caseAVariantModelClause, caseAWhileSubstitution, caseStart, inAAbstractConstantsContextClause, inAAbstractConstantsMachineClause, inAAbstractMachineParseUnit, inAAddExpression, inAAnticipatedEventstatus, inAAnySubstitution, inAArityExpression, inAAssertionsMachineClause, inAAssertionSubstitution, inAAssignSubstitution, inAAxiomsContextClause, inABecomesElementOfSubstitution, inABecomesSuchSubstitution, inABinExpression, inABlockSubstitution, inABooleanFalseExpression, inABooleanTrueExpression, inABoolSetExpression, inABtreeExpression, inACardExpression, inACartesianProductExpression, inACaseOrSubstitution, inACaseSubstitution, inAChoiceOrSubstitution, inAChoiceSubstitution, inAClosureExpression, inACompositionExpression, inAComprehensionSetExpression, inAComputationOperation, inAConcatExpression, inAConcreteVariablesMachineClause, inAConjunctPredicate, inAConstantsContextClause, inAConstantsMachineClause, inAConstExpression, inAConstraintsMachineClause, inAConstructorFreetypeConstructor, inAConvergentEventstatus, inAConversionDefinition, inAConvertBoolExpression, inACoupleExpression, inADefArgpattern, inADeferredSetSet, inADefineSubstitution, inADefinitionExpression, inADefinitionFileParseUnit, inADefinitionPredicate, inADefinitionsMachineClause, inADefinitionSubstitution, inADescriptionExpression, inADescriptionPredicate, inADescriptionSet, inADirectProductExpression, inADisjunctPredicate, inADivExpression, inADomainExpression, inADomainRestrictionExpression, inADomainSubtractionExpression, inAElementFreetypeConstructor, inAEmptySequenceExpression, inAEmptySetExpression, inAEnumeratedSetSet, inAEqualPredicate, inAEquivalencePredicate, inAEvent, inAEventBComprehensionSetExpression, inAEventBContextParseUnit, inAEventBFirstProjectionExpression, inAEventBFirstProjectionV2Expression, inAEventBIdentityExpression, inAEventBModelParseUnit, inAEventBSecondProjectionExpression, inAEventBSecondProjectionV2Expression, inAEventsModelClause, inAExistsPredicate, inAExpressionDefinition, inAExpressionDefinitionDefinition, inAExpressionParseUnit, inAExpressionsMachineClause, inAExtendedExprExpression, inAExtendedPredPredicate, inAExtendsContextClause, inAExtendsMachineClause, inAFalsityPredicate, inAFatherExpression, inAFileDefinitionDefinition, inAFileExpression, inAFileMachineReference, inAFin1SubsetExpression, inAFinitePredicate, inAFinSubsetExpression, inAFirstExpression, inAFirstProjectionExpression, inAFlooredDivExpression, inAForallPredicate, inAForallSubMessageSubstitution, inAForLoopSubstitution, inAFreetype, inAFreetypesMachineClause, inAFrontExpression, inAFuncOpSubstitution, inAFunctionExpression, inAFunctionOperation, inAGeneralConcatExpression, inAGeneralIntersectionExpression, inAGeneralProductExpression, inAGeneralSumExpression, inAGeneralUnionExpression, inAGeneratedParseUnit, inAGreaterEqualPredicate, inAGreaterPredicate, inAHexIntegerExpression, inAIdentifierExpression, inAIdentityExpression, inAIfElsifExprExpression, inAIfElsifSubstitution, inAIfPredicatePredicate, inAIfSubstitution, inAIfThenElseExpression, inAImageExpression, inAImplementationMachineParseUnit, inAImplicationPredicate, inAImportPackage, inAImportsMachineClause, inAIncludesMachineClause, inAInferredUnitExpression, inAInfixExpression, inAInitialisationMachineClause, inAInsertFrontExpression, inAInsertTailExpression, inAIntegerExpression, inAIntegerSetExpression, inAIntersectionExpression, inAIntervalExpression, inAIntSetExpression, inAInvalidOperationsClauseMachineClause, inAInvalidSubstitution, inAInvariantMachineClause, inAInvariantModelClause, inAIseq1Expression, inAIseqExpression, inAIterationExpression, inALabelPredicate, inALambdaExpression, inALastExpression, inALeftExpression, inALessEqualPredicate, inALessPredicate, inALetExpressionExpression, inALetPredicatePredicate, inALetSubstitution, inALocalOperationsMachineClause, inAMachineClauseParseUnit, inAMachineHeader, inAMachineMachineVariant, inAMachineReference, inAMaxExpression, inAMaxIntExpression, inAMemberPredicate, inAMinExpression, inAMinIntExpression, inAMinusExpression, inAMinusOrSetSubtractExpression, inAMirrorExpression, inAMissingSemicolonOperation, inAModelMachineVariant, inAModuloExpression, inAMultilineStringExpression, inAMultiplicationExpression, inAMultOrCartExpression, inANat1SetExpression, inANatSetExpression, inANatural1SetExpression, inANaturalSetExpression, inANegationPredicate, inANewUnitExpression, inANotEqualPredicate, inANotMemberPredicate, inANotSubsetPredicate, inANotSubsetStrictPredicate, inAOperation, inAOperationAttribute, inAOperationCallExpression, inAOperationCallSubstitution, inAOperationsMachineClause, inAOperatorExpression, inAOperatorPredicate, inAOperatorSubstitution, inAOppatternParseUnit, inAOpSubstitution, inAOrdinaryEventstatus, inAOverwriteExpression, inAPackageParseUnit, inAParallelProductExpression, inAParallelSubstitution, inAParseUnitDefinitionParseUnit, inAPartialBijectionExpression, inAPartialFunctionExpression, inAPartialInjectionExpression, inAPartialSurjectionExpression, inAPartitionPredicate, inAPermExpression, inAPostfixExpression, inAPow1SubsetExpression, inAPowerOfExpression, inAPowSubsetExpression, inAPreconditionSubstitution, inAPredecessorExpression, inAPredicateAttributeOperationAttribute, inAPredicateDefinition, inAPredicateDefinitionDefinition, inAPredicateFunctionPredicate, inAPredicateIdentifierPredicate, inAPredicateParseUnit, inAPredicatesMachineClause, inAPrefixExpression, inAPrimedIdentifierExpression, inAPromotesMachineClause, inAPropertiesMachineClause, inAProverComprehensionSetExpression, inAQuantifiedIntersectionExpression, inAQuantifiedUnionExpression, inARangeExpression, inARangeRestrictionExpression, inARangeSubtractionExpression, inARankExpression, inARecEntry, inARecExpression, inARecordFieldExpression, inAReferencesMachineClause, inARefinedOperation, inARefinementMachineParseUnit, inARefinesModelClause, inAReflexiveClosureExpression, inARelationsExpression, inARestrictFrontExpression, inARestrictTailExpression, inAReverseExpression, inARevExpression, inARightExpression, inARingExpression, inARuleFailSubSubstitution, inARuleOperation, inASecondProjectionExpression, inASeesMachineClause, inASeesModelClause, inASelectSubstitution, inASelectWhenSubstitution, inASeq1Expression, inASeqExpression, inASequenceExtensionExpression, inASequenceSubstitution, inASetExtensionExpression, inASetsContextClause, inASetsMachineClause, inASetSubtractionExpression, inASizeExpression, inASizetExpression, inASkipSubstitution, inASonExpression, inASonsExpression, inAStringExpression, inAStringSetExpression, inAStructExpression, inASubsetPredicate, inASubsetStrictPredicate, inASubstitutionDefinitionDefinition, inASubstitutionParseUnit, inASubstitutionPredicate, inASubtreeExpression, inASuccessorExpression, inASurjectionRelationExpression, inASymbolicComprehensionSetExpression, inASymbolicLambdaExpression, inASymbolicQuantifiedUnionExpression, inASystemMachineVariant, inATailExpression, inATheoremsContextClause, inATheoremsModelClause, inATopExpression, inATotalBijectionExpression, inATotalFunctionExpression, inATotalInjectionExpression, inATotalRelationExpression, inATotalSurjectionExpression, inATotalSurjectionRelationExpression, inATransFunctionExpression, inATransRelationExpression, inATreeExpression, inATruthPredicate, inATypeofExpression, inAUnaryMinusExpression, inAUndefArgpattern, inAUnionExpression, inAUnitAliasParseUnit, inAUnitExpression, inAUsesMachineClause, inAValuesEntry, inAValuesMachineClause, inAVariablesMachineClause, inAVariablesModelClause, inAVariantModelClause, inAVarSubstitution, inAWhileSubstitution, inAWitness, outAAbstractConstantsContextClause, outAAbstractConstantsMachineClause, outAAbstractMachineParseUnit, outAAddExpression, outAAnticipatedEventstatus, outAAnySubstitution, outAArityExpression, outAAssertionsMachineClause, outAAssertionSubstitution, outAAssignSubstitution, outAAxiomsContextClause, outABecomesElementOfSubstitution, outABecomesSuchSubstitution, outABinExpression, outABlockSubstitution, outABooleanFalseExpression, outABooleanTrueExpression, outABoolSetExpression, outABtreeExpression, outACardExpression, outACartesianProductExpression, outACaseOrSubstitution, outACaseSubstitution, outAChoiceOrSubstitution, outAChoiceSubstitution, outAClosureExpression, outACompositionExpression, outAComprehensionSetExpression, outAComputationOperation, outAConcatExpression, outAConcreteVariablesMachineClause, outAConjunctPredicate, outAConstantsContextClause, outAConstantsMachineClause, outAConstExpression, outAConstraintsMachineClause, outAConstructorFreetypeConstructor, outAConvergentEventstatus, outAConversionDefinition, outAConvertBoolExpression, outACoupleExpression, outADefArgpattern, outADeferredSetSet, outADefineSubstitution, outADefinitionExpression, outADefinitionFileParseUnit, outADefinitionPredicate, outADefinitionsMachineClause, outADefinitionSubstitution, outADescriptionExpression, outADescriptionPredicate, outADescriptionSet, outADirectProductExpression, outADisjunctPredicate, outADivExpression, outADomainExpression, outADomainRestrictionExpression, outADomainSubtractionExpression, outAElementFreetypeConstructor, outAEmptySequenceExpression, outAEmptySetExpression, outAEnumeratedSetSet, outAEqualPredicate, outAEquivalencePredicate, outAEvent, outAEventBComprehensionSetExpression, outAEventBContextParseUnit, outAEventBFirstProjectionExpression, outAEventBFirstProjectionV2Expression, outAEventBIdentityExpression, outAEventBModelParseUnit, outAEventBSecondProjectionExpression, outAEventBSecondProjectionV2Expression, outAEventsModelClause, outAExistsPredicate, outAExpressionDefinition, outAExpressionDefinitionDefinition, outAExpressionParseUnit, outAExpressionsMachineClause, outAExtendedExprExpression, outAExtendedPredPredicate, outAExtendsContextClause, outAExtendsMachineClause, outAFalsityPredicate, outAFatherExpression, outAFileDefinitionDefinition, outAFileExpression, outAFileMachineReference, outAFin1SubsetExpression, outAFinitePredicate, outAFinSubsetExpression, outAFirstExpression, outAFirstProjectionExpression, outAFlooredDivExpression, outAForallPredicate, outAForallSubMessageSubstitution, outAForLoopSubstitution, outAFreetype, outAFreetypesMachineClause, outAFrontExpression, outAFuncOpSubstitution, outAFunctionExpression, outAFunctionOperation, outAGeneralConcatExpression, outAGeneralIntersectionExpression, outAGeneralProductExpression, outAGeneralSumExpression, outAGeneralUnionExpression, outAGeneratedParseUnit, outAGreaterEqualPredicate, outAGreaterPredicate, outAHexIntegerExpression, outAIdentifierExpression, outAIdentityExpression, outAIfElsifExprExpression, outAIfElsifSubstitution, outAIfPredicatePredicate, outAIfSubstitution, outAIfThenElseExpression, outAImageExpression, outAImplementationMachineParseUnit, outAImplicationPredicate, outAImportPackage, outAImportsMachineClause, outAIncludesMachineClause, outAInferredUnitExpression, outAInfixExpression, outAInitialisationMachineClause, outAInsertFrontExpression, outAInsertTailExpression, outAIntegerExpression, outAIntegerSetExpression, outAIntersectionExpression, outAIntervalExpression, outAIntSetExpression, outAInvalidOperationsClauseMachineClause, outAInvalidSubstitution, outAInvariantMachineClause, outAInvariantModelClause, outAIseq1Expression, outAIseqExpression, outAIterationExpression, outALabelPredicate, outALambdaExpression, outALastExpression, outALeftExpression, outALessEqualPredicate, outALessPredicate, outALetExpressionExpression, outALetPredicatePredicate, outALetSubstitution, outALocalOperationsMachineClause, outAMachineClauseParseUnit, outAMachineHeader, outAMachineMachineVariant, outAMachineReference, outAMaxExpression, outAMaxIntExpression, outAMemberPredicate, outAMinExpression, outAMinIntExpression, outAMinusExpression, outAMinusOrSetSubtractExpression, outAMirrorExpression, outAMissingSemicolonOperation, outAModelMachineVariant, outAModuloExpression, outAMultilineStringExpression, outAMultiplicationExpression, outAMultOrCartExpression, outANat1SetExpression, outANatSetExpression, outANatural1SetExpression, outANaturalSetExpression, outANegationPredicate, outANewUnitExpression, outANotEqualPredicate, outANotMemberPredicate, outANotSubsetPredicate, outANotSubsetStrictPredicate, outAOperation, outAOperationAttribute, outAOperationCallExpression, outAOperationCallSubstitution, outAOperationsMachineClause, outAOperatorExpression, outAOperatorPredicate, outAOperatorSubstitution, outAOppatternParseUnit, outAOpSubstitution, outAOrdinaryEventstatus, outAOverwriteExpression, outAPackageParseUnit, outAParallelProductExpression, outAParallelSubstitution, outAParseUnitDefinitionParseUnit, outAPartialBijectionExpression, outAPartialFunctionExpression, outAPartialInjectionExpression, outAPartialSurjectionExpression, outAPartitionPredicate, outAPermExpression, outAPostfixExpression, outAPow1SubsetExpression, outAPowerOfExpression, outAPowSubsetExpression, outAPreconditionSubstitution, outAPredecessorExpression, outAPredicateAttributeOperationAttribute, outAPredicateDefinition, outAPredicateDefinitionDefinition, outAPredicateFunctionPredicate, outAPredicateIdentifierPredicate, outAPredicateParseUnit, outAPredicatesMachineClause, outAPrefixExpression, outAPrimedIdentifierExpression, outAPromotesMachineClause, outAPropertiesMachineClause, outAProverComprehensionSetExpression, outAQuantifiedIntersectionExpression, outAQuantifiedUnionExpression, outARangeExpression, outARangeRestrictionExpression, outARangeSubtractionExpression, outARankExpression, outARecEntry, outARecExpression, outARecordFieldExpression, outAReferencesMachineClause, outARefinedOperation, outARefinementMachineParseUnit, outARefinesModelClause, outAReflexiveClosureExpression, outARelationsExpression, outARestrictFrontExpression, outARestrictTailExpression, outAReverseExpression, outARevExpression, outARightExpression, outARingExpression, outARuleFailSubSubstitution, outARuleOperation, outASecondProjectionExpression, outASeesMachineClause, outASeesModelClause, outASelectSubstitution, outASelectWhenSubstitution, outASeq1Expression, outASeqExpression, outASequenceExtensionExpression, outASequenceSubstitution, outASetExtensionExpression, outASetsContextClause, outASetsMachineClause, outASetSubtractionExpression, outASizeExpression, outASizetExpression, outASkipSubstitution, outASonExpression, outASonsExpression, outAStringExpression, outAStringSetExpression, outAStructExpression, outASubsetPredicate, outASubsetStrictPredicate, outASubstitutionDefinitionDefinition, outASubstitutionParseUnit, outASubstitutionPredicate, outASubtreeExpression, outASuccessorExpression, outASurjectionRelationExpression, outASymbolicComprehensionSetExpression, outASymbolicLambdaExpression, outASymbolicQuantifiedUnionExpression, outASystemMachineVariant, outATailExpression, outATheoremsContextClause, outATheoremsModelClause, outATopExpression, outATotalBijectionExpression, outATotalFunctionExpression, outATotalInjectionExpression, outATotalRelationExpression, outATotalSurjectionExpression, outATotalSurjectionRelationExpression, outATransFunctionExpression, outATransRelationExpression, outATreeExpression, outATruthPredicate, outATypeofExpression, outAUnaryMinusExpression, outAUndefArgpattern, outAUnionExpression, outAUnitAliasParseUnit, outAUnitExpression, outAUsesMachineClause, outAValuesEntry, outAValuesMachineClause, outAVariablesMachineClause, outAVariablesModelClause, outAVariantModelClause, outAVarSubstitution, outAWhileSubstitution, outAWitness
caseTAbstractConstants, caseTAbstractVariables, caseTAny, caseTArity, caseTAssert, caseTAssertions, caseTAssign, caseTBe, caseTBegin, caseTBfalse, caseTBin, caseTBool, caseTBoolCast, caseTBtree, caseTCard, caseTCase, caseTChoice, caseTClosure, caseTClosure1, caseTComma, caseTComment, caseTCommentBody, caseTCommentEnd, caseTConc, caseTConcatSequence, caseTConcreteConstants, caseTConcreteVariables, caseTConjunction, caseTConst, caseTConstants, caseTConstraints, caseTDefinitions, caseTDefLiteralPredicate, caseTDefLiteralSubstitution, caseTDirectProduct, caseTDivision, caseTDo, caseTDollar, caseTDom, caseTDomainRestriction, caseTDomainSubtraction, caseTDot, caseTDoubleColon, caseTDoubleEqual, caseTDoubleVerticalBar, caseTEither, caseTElementOf, caseTElse, caseTElsif, caseTEmptySet, caseTEnd, caseTEqual, caseTEquivalence, caseTExists, caseTExpressions, caseTExtends, caseTFalse, caseTFather, caseTFin, caseTFin1, caseTFirst, caseTFnc, caseTForAny, caseTFront, caseTGeneralizedInter, caseTGeneralizedUnion, caseTGreater, caseTGreaterEqual, caseTHexLiteral, caseTId, caseTIdentifierLiteral, caseTIf, caseTImplementation, caseTImplies, caseTImports, caseTIn, caseTIncludes, caseTInclusion, caseTInfix, caseTInitialisation, caseTInsertEndSequence, caseTInsertStartSequence, caseTInt, caseTInteger, caseTIntegerLiteral, caseTIntersection, caseTInterval, caseTInvariant, caseTIpragmaUnit, caseTIseq, caseTIseq1, caseTIterate, caseTKwAbstractConstants, caseTKwAbstractVariables, caseTKwAssertions, caseTKwAttributeIdentifier, caseTKwBody, caseTKwComputation, caseTKwConcreteConstants, caseTKwConcreteVariables, caseTKwConstants, caseTKwConstraints, caseTKwCounterexample, caseTKwDefine, caseTKwDefinition, caseTKwDefinitions, caseTKwDummyValue, caseTKwExpect, caseTKwExpression, caseTKwExpressionOperator, caseTKwExtends, caseTKwFor, caseTKwFormula, caseTKwFreetypes, caseTKwFunction, caseTKwImports, caseTKwIncludes, caseTKwInitialisation, caseTKwInvariant, caseTKwLocalOperations, caseTKwMachineClause, caseTKwOperations, caseTKwOppattern, caseTKwPredicate, caseTKwPredicateAttribute, caseTKwPredicateOperator, caseTKwPromotes, caseTKwProperties, caseTKwReferences, caseTKwRule, caseTKwRuleErrorType, caseTKwRuleFail, caseTKwRuleForAll, caseTKwRulesMachine, caseTKwSees, caseTKwSets, caseTKwSubstitution, caseTKwSubstitutionOperator, caseTKwType, caseTKwUses, caseTKwValue, caseTKwValues, caseTKwVariables, caseTLambda, caseTLast, caseTLeft, caseTLeftBrace, caseTLeftBracket, caseTLeftPar, caseTLess, caseTLessEqual, caseTLet, caseTLineComment, caseTLocalOperations, caseTLogicalOr, caseTMachine, caseTMaplet, caseTMax, caseTMaxInt, caseTMin, caseTMinInt, caseTMinus, caseTMirror, caseTMod, caseTModel, caseTMultilineStringContent, caseTMultilineStringEnd, caseTMultilineStringStart, caseTNat, caseTNat1, caseTNatural, caseTNatural1, caseTNewPragmaUnit, caseTNonInclusion, caseTNot, caseTNotBelonging, caseTNotEqual, caseTOf, caseTOperations, caseTOr, caseTOutputParameters, caseTOverwriteRelation, caseTPartialBijection, caseTPartialFunction, caseTPartialInjection, caseTPartialSurjection, caseTPerm, caseTPi, caseTPlus, caseTPostfix, caseTPow, caseTPow1, caseTPowerOf, caseTPragmaConversion, caseTPragmaDescription, caseTPragmaEnd, caseTPragmaFile, caseTPragmaFreeText, caseTPragmaGenerated, caseTPragmaIdOrString, caseTPragmaImportPackage, caseTPragmaLabel, caseTPragmaPackage, caseTPragmaStart, caseTPragmaSymbolic, caseTPragmaUnit, caseTPragmaUnitAlias, caseTPre, caseTPred, caseTPredicateIdentifier, caseTPredicates, caseTPrefix, caseTPrj1, caseTPrj2, caseTProduct, caseTPromotes, caseTProperties, caseTQuantifiedInter, caseTQuantifiedSet, caseTQuantifiedUnion, caseTRan, caseTRangeRestriction, caseTRangeSubtraction, caseTRank, caseTRec, caseTRefinement, caseTRefines, caseTRel, caseTRestrictHeadSequence, caseTRestrictTailSequence, caseTRev, caseTRight, caseTRightBrace, caseTRightBracket, caseTRightPar, caseTSees, caseTSelect, caseTSemicolon, caseTSeq, caseTSeq1, caseTSetRelation, caseTSets, caseTSetSubtraction, caseTShebang, caseTShebangChar, caseTShebangEnd, caseTSigma, caseTSingleQuotation, caseTSize, caseTSizet, caseTSkip, caseTSlash, caseTSon, caseTSons, caseTStar, caseTStrictInclusion, caseTStrictNonInclusion, caseTString, caseTStruct, caseTSubtree, caseTSucc, caseTSurjectionRelation, caseTSystem, caseTTail, caseTThen, caseTTilde, caseTTop, caseTTotalBijection, caseTTotalFunction, caseTTotalInjection, caseTTotalRelation, caseTTotalSurjection, caseTTotalSurjectionRelation, caseTTree, caseTTrue, caseTTruthPredicate, caseTUnderscore, caseTUnion, caseTUnitId, caseTUses, caseTValue, caseTVar, caseTVariables, caseTVariant, caseTVerticalBar, caseTWhen, caseTWhere, caseTWhile, caseTWhiteSpace, getIn, getOut, setIn, setOut
public ASTProlog(de.prob.prolog.output.IPrologTermOutput pout, PositionPrinter positionPrinter)
public static void printFormula(Start start, de.prob.prolog.output.IPrologTermOutput pout)
start
- the AST node which should contain an
AExpressionParseUnit
, an APredicateParseUnit
or an ASubstitutionParseUnit
. The start
node
should have been created by
parseFormula
.pout
- the IPrologTermOutput to which the formula is printedpublic void inStart(Start node)
inStart
in class DepthFirstAdapter
public void outStart(Start node)
outStart
in class DepthFirstAdapter
public void defaultIn(Node node)
open(Node)
), print the sub-nodes, and close it later in
defaultOut(Node)
defaultIn
in class DepthFirstAdapter
public void defaultOut(Node node)
defaultIn(Node)
defaultOut
in class DepthFirstAdapter
public void defaultCase(Node node)
defaultCase
in class AnalysisAdapter
node
- Never null
, node is assumed to be a terminal
symbol that can be printed as a simple stringpublic void caseTStringLiteral(TStringLiteral node)
caseTStringLiteral
in interface Analysis
caseTStringLiteral
in class AnalysisAdapter
public void caseTUnitContent(TUnitContent node)
caseTUnitContent
in interface Analysis
caseTUnitContent
in class AnalysisAdapter
public void caseEOF(EOF node)
caseEOF
in interface Analysis
caseEOF
in class AnalysisAdapter
public void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression
in interface Analysis
caseAIdentifierExpression
in class DepthFirstAdapter
public void caseAPrimedIdentifierExpression(APrimedIdentifierExpression node)
caseAPrimedIdentifierExpression
in interface Analysis
caseAPrimedIdentifierExpression
in class DepthFirstAdapter
public void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit
in interface Analysis
caseAAbstractMachineParseUnit
in class DepthFirstAdapter
public void caseARefinementMachineParseUnit(ARefinementMachineParseUnit node)
caseARefinementMachineParseUnit
in interface Analysis
caseARefinementMachineParseUnit
in class DepthFirstAdapter
public void caseAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
caseAImplementationMachineParseUnit
in interface Analysis
caseAImplementationMachineParseUnit
in class DepthFirstAdapter
public void caseAMachineHeader(AMachineHeader node)
caseAMachineHeader
in interface Analysis
caseAMachineHeader
in class DepthFirstAdapter
public void caseAExtendedExprExpression(AExtendedExprExpression node)
caseAExtendedExprExpression
in interface Analysis
caseAExtendedExprExpression
in class DepthFirstAdapter
public void caseAExtendedPredPredicate(AExtendedPredPredicate node)
caseAExtendedPredPredicate
in interface Analysis
caseAExtendedPredPredicate
in class DepthFirstAdapter
public void caseADefinitionsMachineClause(ADefinitionsMachineClause node)
caseADefinitionsMachineClause
in interface Analysis
caseADefinitionsMachineClause
in class DepthFirstAdapter
public void caseASeesMachineClause(ASeesMachineClause node)
caseASeesMachineClause
in interface Analysis
caseASeesMachineClause
in class DepthFirstAdapter
public void caseAPromotesMachineClause(APromotesMachineClause node)
caseAPromotesMachineClause
in interface Analysis
caseAPromotesMachineClause
in class DepthFirstAdapter
public void caseAUsesMachineClause(AUsesMachineClause node)
caseAUsesMachineClause
in interface Analysis
caseAUsesMachineClause
in class DepthFirstAdapter
public void caseAIncludesMachineClause(AIncludesMachineClause node)
caseAIncludesMachineClause
in interface Analysis
caseAIncludesMachineClause
in class DepthFirstAdapter
public void caseAExtendsMachineClause(AExtendsMachineClause node)
caseAExtendsMachineClause
in interface Analysis
caseAExtendsMachineClause
in class DepthFirstAdapter
public void caseAImportsMachineClause(AImportsMachineClause node)
caseAImportsMachineClause
in interface Analysis
caseAImportsMachineClause
in class DepthFirstAdapter
public void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause
in interface Analysis
caseASetsMachineClause
in class DepthFirstAdapter
public void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause
in interface Analysis
caseAVariablesMachineClause
in class DepthFirstAdapter
public void caseAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
caseAConcreteVariablesMachineClause
in interface Analysis
caseAConcreteVariablesMachineClause
in class DepthFirstAdapter
public void caseAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
caseAAbstractConstantsMachineClause
in interface Analysis
caseAAbstractConstantsMachineClause
in class DepthFirstAdapter
public void caseAConstantsMachineClause(AConstantsMachineClause node)
caseAConstantsMachineClause
in interface Analysis
caseAConstantsMachineClause
in class DepthFirstAdapter
public void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause
in interface Analysis
caseAAssertionsMachineClause
in class DepthFirstAdapter
public void caseAValuesMachineClause(AValuesMachineClause node)
caseAValuesMachineClause
in interface Analysis
caseAValuesMachineClause
in class DepthFirstAdapter
public void caseALocalOperationsMachineClause(ALocalOperationsMachineClause node)
caseALocalOperationsMachineClause
in interface Analysis
caseALocalOperationsMachineClause
in class DepthFirstAdapter
public void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause
in interface Analysis
caseAOperationsMachineClause
in class DepthFirstAdapter
public void caseAMachineReference(AMachineReference node)
caseAMachineReference
in interface Analysis
caseAMachineReference
in class DepthFirstAdapter
public void caseAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
caseAPredicateDefinitionDefinition
in interface Analysis
caseAPredicateDefinitionDefinition
in class DepthFirstAdapter
public void caseASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
caseASubstitutionDefinitionDefinition
in interface Analysis
caseASubstitutionDefinitionDefinition
in class DepthFirstAdapter
public void caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition
in interface Analysis
caseAExpressionDefinitionDefinition
in class DepthFirstAdapter
public void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet
in interface Analysis
caseAEnumeratedSetSet
in class DepthFirstAdapter
public void caseAOperation(AOperation node)
caseAOperation
in interface Analysis
caseAOperation
in class DepthFirstAdapter
public void caseARefinedOperation(ARefinedOperation node)
caseARefinedOperation
in interface Analysis
caseARefinedOperation
in class DepthFirstAdapter
public void caseAForallPredicate(AForallPredicate node)
caseAForallPredicate
in interface Analysis
caseAForallPredicate
in class DepthFirstAdapter
public void caseAExistsPredicate(AExistsPredicate node)
caseAExistsPredicate
in interface Analysis
caseAExistsPredicate
in class DepthFirstAdapter
public void caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate
in interface Analysis
caseADefinitionPredicate
in class DepthFirstAdapter
public void caseALetPredicatePredicate(ALetPredicatePredicate node)
caseALetPredicatePredicate
in interface Analysis
caseALetPredicatePredicate
in class DepthFirstAdapter
public void caseALetExpressionExpression(ALetExpressionExpression node)
caseALetExpressionExpression
in interface Analysis
caseALetExpressionExpression
in class DepthFirstAdapter
public void caseAIfThenElseExpression(AIfThenElseExpression node)
caseAIfThenElseExpression
in interface Analysis
caseAIfThenElseExpression
in class DepthFirstAdapter
public void caseAGeneralSumExpression(AGeneralSumExpression node)
caseAGeneralSumExpression
in interface Analysis
caseAGeneralSumExpression
in class DepthFirstAdapter
public void caseAGeneralProductExpression(AGeneralProductExpression node)
caseAGeneralProductExpression
in interface Analysis
caseAGeneralProductExpression
in class DepthFirstAdapter
public void caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression
in interface Analysis
caseACoupleExpression
in class DepthFirstAdapter
public void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression
in interface Analysis
caseAComprehensionSetExpression
in class DepthFirstAdapter
public void caseASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
caseASymbolicComprehensionSetExpression
in interface Analysis
caseASymbolicComprehensionSetExpression
in class DepthFirstAdapter
public void caseAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
caseAProverComprehensionSetExpression
in interface Analysis
caseAProverComprehensionSetExpression
in class DepthFirstAdapter
public void caseAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
caseAEventBComprehensionSetExpression
in interface Analysis
caseAEventBComprehensionSetExpression
in class DepthFirstAdapter
public void caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression
in interface Analysis
caseASetExtensionExpression
in class DepthFirstAdapter
public void caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression
in interface Analysis
caseAQuantifiedUnionExpression
in class DepthFirstAdapter
public void caseASymbolicQuantifiedUnionExpression(ASymbolicQuantifiedUnionExpression node)
caseASymbolicQuantifiedUnionExpression
in interface Analysis
caseASymbolicQuantifiedUnionExpression
in class DepthFirstAdapter
public void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression
in interface Analysis
caseAQuantifiedIntersectionExpression
in class DepthFirstAdapter
public void caseALambdaExpression(ALambdaExpression node)
caseALambdaExpression
in interface Analysis
caseALambdaExpression
in class DepthFirstAdapter
public void caseASymbolicLambdaExpression(ASymbolicLambdaExpression node)
caseASymbolicLambdaExpression
in interface Analysis
caseASymbolicLambdaExpression
in class DepthFirstAdapter
public void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression
in interface Analysis
caseASequenceExtensionExpression
in class DepthFirstAdapter
public void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression
in interface Analysis
caseAFunctionExpression
in class DepthFirstAdapter
public void caseARecExpression(ARecExpression node)
caseARecExpression
in interface Analysis
caseARecExpression
in class DepthFirstAdapter
public void caseAStructExpression(AStructExpression node)
caseAStructExpression
in interface Analysis
caseAStructExpression
in class DepthFirstAdapter
public void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression
in interface Analysis
caseAIntegerExpression
in class DepthFirstAdapter
public void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression
in interface Analysis
caseADefinitionExpression
in class DepthFirstAdapter
public void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution
in interface Analysis
caseAAssignSubstitution
in class DepthFirstAdapter
public void caseAChoiceSubstitution(AChoiceSubstitution node)
caseAChoiceSubstitution
in interface Analysis
caseAChoiceSubstitution
in class DepthFirstAdapter
public void caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution
in interface Analysis
caseAIfSubstitution
in class DepthFirstAdapter
public void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution
in interface Analysis
caseASelectSubstitution
in class DepthFirstAdapter
public void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution
in interface Analysis
caseACaseSubstitution
in class DepthFirstAdapter
public void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution
in interface Analysis
caseACaseOrSubstitution
in class DepthFirstAdapter
public void caseAAnySubstitution(AAnySubstitution node)
caseAAnySubstitution
in interface Analysis
caseAAnySubstitution
in class DepthFirstAdapter
public void caseALetSubstitution(ALetSubstitution node)
caseALetSubstitution
in interface Analysis
caseALetSubstitution
in class DepthFirstAdapter
public void caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution
in interface Analysis
caseABecomesElementOfSubstitution
in class DepthFirstAdapter
public void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution
in interface Analysis
caseABecomesSuchSubstitution
in class DepthFirstAdapter
public void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution
in interface Analysis
caseAVarSubstitution
in class DepthFirstAdapter
public void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution
in interface Analysis
caseASequenceSubstitution
in class DepthFirstAdapter
public void caseAOpSubstitution(AOpSubstitution node)
caseAOpSubstitution
in interface Analysis
caseAOpSubstitution
in class DepthFirstAdapter
public void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution
in interface Analysis
caseAOperationCallSubstitution
in class DepthFirstAdapter
public void caseAOperationCallExpression(AOperationCallExpression node)
caseAOperationCallExpression
in interface Analysis
caseAOperationCallExpression
in class DepthFirstAdapter
public void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution
in interface Analysis
caseAParallelSubstitution
in class DepthFirstAdapter
public void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution
in interface Analysis
caseADefinitionSubstitution
in class DepthFirstAdapter
public void caseABooleanTrueExpression(ABooleanTrueExpression node)
caseABooleanTrueExpression
in interface Analysis
caseABooleanTrueExpression
in class DepthFirstAdapter
public void caseAPartitionPredicate(APartitionPredicate node)
caseAPartitionPredicate
in interface Analysis
caseAPartitionPredicate
in class DepthFirstAdapter
public void caseAExpressionParseUnit(AExpressionParseUnit node)
caseAExpressionParseUnit
in interface Analysis
caseAExpressionParseUnit
in class DepthFirstAdapter
public void caseAMachineClauseParseUnit(AMachineClauseParseUnit node)
caseAMachineClauseParseUnit
in interface Analysis
caseAMachineClauseParseUnit
in class DepthFirstAdapter
public void caseAPredicateParseUnit(APredicateParseUnit node)
caseAPredicateParseUnit
in interface Analysis
caseAPredicateParseUnit
in class DepthFirstAdapter
public void caseASubstitutionParseUnit(ASubstitutionParseUnit node)
caseASubstitutionParseUnit
in interface Analysis
caseASubstitutionParseUnit
in class DepthFirstAdapter
public void caseAEventBModelParseUnit(AEventBModelParseUnit node)
caseAEventBModelParseUnit
in interface Analysis
caseAEventBModelParseUnit
in class DepthFirstAdapter
public void caseAVariablesModelClause(AVariablesModelClause node)
caseAVariablesModelClause
in interface Analysis
caseAVariablesModelClause
in class DepthFirstAdapter
public void caseASeesModelClause(ASeesModelClause node)
caseASeesModelClause
in interface Analysis
caseASeesModelClause
in class DepthFirstAdapter
public void caseAInvariantModelClause(AInvariantModelClause node)
caseAInvariantModelClause
in interface Analysis
caseAInvariantModelClause
in class DepthFirstAdapter
public void caseATheoremsModelClause(ATheoremsModelClause node)
caseATheoremsModelClause
in interface Analysis
caseATheoremsModelClause
in class DepthFirstAdapter
public void caseAEventsModelClause(AEventsModelClause node)
caseAEventsModelClause
in interface Analysis
caseAEventsModelClause
in class DepthFirstAdapter
public void caseAEvent(AEvent node)
caseAEvent
in interface Analysis
caseAEvent
in class DepthFirstAdapter
public void caseAWitness(AWitness node)
caseAWitness
in interface Analysis
caseAWitness
in class DepthFirstAdapter
public void caseAEventBContextParseUnit(AEventBContextParseUnit node)
caseAEventBContextParseUnit
in interface Analysis
caseAEventBContextParseUnit
in class DepthFirstAdapter
public void caseAExtendsContextClause(AExtendsContextClause node)
caseAExtendsContextClause
in interface Analysis
caseAExtendsContextClause
in class DepthFirstAdapter
public void caseASetsContextClause(ASetsContextClause node)
caseASetsContextClause
in interface Analysis
caseASetsContextClause
in class DepthFirstAdapter
public void caseAConstantsContextClause(AConstantsContextClause node)
caseAConstantsContextClause
in interface Analysis
caseAConstantsContextClause
in class DepthFirstAdapter
public void caseAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
caseAAbstractConstantsContextClause
in interface Analysis
caseAAbstractConstantsContextClause
in class DepthFirstAdapter
public void caseAAxiomsContextClause(AAxiomsContextClause node)
caseAAxiomsContextClause
in interface Analysis
caseAAxiomsContextClause
in class DepthFirstAdapter
public void caseATheoremsContextClause(ATheoremsContextClause node)
caseATheoremsContextClause
in interface Analysis
caseATheoremsContextClause
in class DepthFirstAdapter
public void caseAOppatternParseUnit(AOppatternParseUnit node)
caseAOppatternParseUnit
in interface Analysis
caseAOppatternParseUnit
in class DepthFirstAdapter
public void caseAFreetypesMachineClause(AFreetypesMachineClause node)
caseAFreetypesMachineClause
in interface Analysis
caseAFreetypesMachineClause
in class DepthFirstAdapter
public void caseAFreetype(AFreetype node)
caseAFreetype
in interface Analysis
caseAFreetype
in class DepthFirstAdapter
public void caseAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
caseAConstructorFreetypeConstructor
in interface Analysis
caseAConstructorFreetypeConstructor
in class DepthFirstAdapter
public void caseAElementFreetypeConstructor(AElementFreetypeConstructor node)
caseAElementFreetypeConstructor
in interface Analysis
caseAElementFreetypeConstructor
in class DepthFirstAdapter
public void caseAFileExpression(AFileExpression node)
caseAFileExpression
in interface Analysis
caseAFileExpression
in class DepthFirstAdapter
public void caseAFileMachineReference(AFileMachineReference node)
caseAFileMachineReference
in interface Analysis
caseAFileMachineReference
in class DepthFirstAdapter