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, caseAIdentityExpression, 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, inAIdentifierExpression, inAIdentityExpression, 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, 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, outAIdentifierExpression, outAIdentityExpression, 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, 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, outAWitnesscaseTAbstractConstants, 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, setOutpublic 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 DepthFirstAdapterpublic void outStart(Start node)
outStart in class DepthFirstAdapterpublic void defaultIn(Node node)
open(Node)), print the sub-nodes, and close it later in
defaultOut(Node)defaultIn in class DepthFirstAdapterpublic void defaultOut(Node node)
defaultIn(Node)defaultOut in class DepthFirstAdapterpublic void defaultCase(Node node)
defaultCase in class AnalysisAdapternode - 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 AnalysiscaseTStringLiteral in class AnalysisAdapterpublic void caseTUnitContent(TUnitContent node)
caseTUnitContent in interface AnalysiscaseTUnitContent in class AnalysisAdapterpublic void caseEOF(EOF node)
caseEOF in interface AnalysiscaseEOF in class AnalysisAdapterpublic void caseAIdentifierExpression(AIdentifierExpression node)
caseAIdentifierExpression in interface AnalysiscaseAIdentifierExpression in class DepthFirstAdapterpublic void caseAPrimedIdentifierExpression(APrimedIdentifierExpression node)
caseAPrimedIdentifierExpression in interface AnalysiscaseAPrimedIdentifierExpression in class DepthFirstAdapterpublic void caseAAbstractMachineParseUnit(AAbstractMachineParseUnit node)
caseAAbstractMachineParseUnit in interface AnalysiscaseAAbstractMachineParseUnit in class DepthFirstAdapterpublic void caseARefinementMachineParseUnit(ARefinementMachineParseUnit node)
caseARefinementMachineParseUnit in interface AnalysiscaseARefinementMachineParseUnit in class DepthFirstAdapterpublic void caseAImplementationMachineParseUnit(AImplementationMachineParseUnit node)
caseAImplementationMachineParseUnit in interface AnalysiscaseAImplementationMachineParseUnit in class DepthFirstAdapterpublic void caseAMachineHeader(AMachineHeader node)
caseAMachineHeader in interface AnalysiscaseAMachineHeader in class DepthFirstAdapterpublic void caseAExtendedExprExpression(AExtendedExprExpression node)
caseAExtendedExprExpression in interface AnalysiscaseAExtendedExprExpression in class DepthFirstAdapterpublic void caseAExtendedPredPredicate(AExtendedPredPredicate node)
caseAExtendedPredPredicate in interface AnalysiscaseAExtendedPredPredicate in class DepthFirstAdapterpublic void caseADefinitionsMachineClause(ADefinitionsMachineClause node)
caseADefinitionsMachineClause in interface AnalysiscaseADefinitionsMachineClause in class DepthFirstAdapterpublic void caseASeesMachineClause(ASeesMachineClause node)
caseASeesMachineClause in interface AnalysiscaseASeesMachineClause in class DepthFirstAdapterpublic void caseAPromotesMachineClause(APromotesMachineClause node)
caseAPromotesMachineClause in interface AnalysiscaseAPromotesMachineClause in class DepthFirstAdapterpublic void caseAUsesMachineClause(AUsesMachineClause node)
caseAUsesMachineClause in interface AnalysiscaseAUsesMachineClause in class DepthFirstAdapterpublic void caseAIncludesMachineClause(AIncludesMachineClause node)
caseAIncludesMachineClause in interface AnalysiscaseAIncludesMachineClause in class DepthFirstAdapterpublic void caseAExtendsMachineClause(AExtendsMachineClause node)
caseAExtendsMachineClause in interface AnalysiscaseAExtendsMachineClause in class DepthFirstAdapterpublic void caseAImportsMachineClause(AImportsMachineClause node)
caseAImportsMachineClause in interface AnalysiscaseAImportsMachineClause in class DepthFirstAdapterpublic void caseASetsMachineClause(ASetsMachineClause node)
caseASetsMachineClause in interface AnalysiscaseASetsMachineClause in class DepthFirstAdapterpublic void caseAVariablesMachineClause(AVariablesMachineClause node)
caseAVariablesMachineClause in interface AnalysiscaseAVariablesMachineClause in class DepthFirstAdapterpublic void caseAConcreteVariablesMachineClause(AConcreteVariablesMachineClause node)
caseAConcreteVariablesMachineClause in interface AnalysiscaseAConcreteVariablesMachineClause in class DepthFirstAdapterpublic void caseAAbstractConstantsMachineClause(AAbstractConstantsMachineClause node)
caseAAbstractConstantsMachineClause in interface AnalysiscaseAAbstractConstantsMachineClause in class DepthFirstAdapterpublic void caseAConstantsMachineClause(AConstantsMachineClause node)
caseAConstantsMachineClause in interface AnalysiscaseAConstantsMachineClause in class DepthFirstAdapterpublic void caseAAssertionsMachineClause(AAssertionsMachineClause node)
caseAAssertionsMachineClause in interface AnalysiscaseAAssertionsMachineClause in class DepthFirstAdapterpublic void caseAValuesMachineClause(AValuesMachineClause node)
caseAValuesMachineClause in interface AnalysiscaseAValuesMachineClause in class DepthFirstAdapterpublic void caseALocalOperationsMachineClause(ALocalOperationsMachineClause node)
caseALocalOperationsMachineClause in interface AnalysiscaseALocalOperationsMachineClause in class DepthFirstAdapterpublic void caseAOperationsMachineClause(AOperationsMachineClause node)
caseAOperationsMachineClause in interface AnalysiscaseAOperationsMachineClause in class DepthFirstAdapterpublic void caseAMachineReference(AMachineReference node)
caseAMachineReference in interface AnalysiscaseAMachineReference in class DepthFirstAdapterpublic void caseAPredicateDefinitionDefinition(APredicateDefinitionDefinition node)
caseAPredicateDefinitionDefinition in interface AnalysiscaseAPredicateDefinitionDefinition in class DepthFirstAdapterpublic void caseASubstitutionDefinitionDefinition(ASubstitutionDefinitionDefinition node)
caseASubstitutionDefinitionDefinition in interface AnalysiscaseASubstitutionDefinitionDefinition in class DepthFirstAdapterpublic void caseAExpressionDefinitionDefinition(AExpressionDefinitionDefinition node)
caseAExpressionDefinitionDefinition in interface AnalysiscaseAExpressionDefinitionDefinition in class DepthFirstAdapterpublic void caseAEnumeratedSetSet(AEnumeratedSetSet node)
caseAEnumeratedSetSet in interface AnalysiscaseAEnumeratedSetSet in class DepthFirstAdapterpublic void caseAOperation(AOperation node)
caseAOperation in interface AnalysiscaseAOperation in class DepthFirstAdapterpublic void caseARefinedOperation(ARefinedOperation node)
caseARefinedOperation in interface AnalysiscaseARefinedOperation in class DepthFirstAdapterpublic void caseAForallPredicate(AForallPredicate node)
caseAForallPredicate in interface AnalysiscaseAForallPredicate in class DepthFirstAdapterpublic void caseAExistsPredicate(AExistsPredicate node)
caseAExistsPredicate in interface AnalysiscaseAExistsPredicate in class DepthFirstAdapterpublic void caseADefinitionPredicate(ADefinitionPredicate node)
caseADefinitionPredicate in interface AnalysiscaseADefinitionPredicate in class DepthFirstAdapterpublic void caseALetPredicatePredicate(ALetPredicatePredicate node)
caseALetPredicatePredicate in interface AnalysiscaseALetPredicatePredicate in class DepthFirstAdapterpublic void caseALetExpressionExpression(ALetExpressionExpression node)
caseALetExpressionExpression in interface AnalysiscaseALetExpressionExpression in class DepthFirstAdapterpublic void caseAIfThenElseExpression(AIfThenElseExpression node)
caseAIfThenElseExpression in interface AnalysiscaseAIfThenElseExpression in class DepthFirstAdapterpublic void caseAGeneralSumExpression(AGeneralSumExpression node)
caseAGeneralSumExpression in interface AnalysiscaseAGeneralSumExpression in class DepthFirstAdapterpublic void caseAGeneralProductExpression(AGeneralProductExpression node)
caseAGeneralProductExpression in interface AnalysiscaseAGeneralProductExpression in class DepthFirstAdapterpublic void caseACoupleExpression(ACoupleExpression node)
caseACoupleExpression in interface AnalysiscaseACoupleExpression in class DepthFirstAdapterpublic void caseAComprehensionSetExpression(AComprehensionSetExpression node)
caseAComprehensionSetExpression in interface AnalysiscaseAComprehensionSetExpression in class DepthFirstAdapterpublic void caseASymbolicComprehensionSetExpression(ASymbolicComprehensionSetExpression node)
caseASymbolicComprehensionSetExpression in interface AnalysiscaseASymbolicComprehensionSetExpression in class DepthFirstAdapterpublic void caseAProverComprehensionSetExpression(AProverComprehensionSetExpression node)
caseAProverComprehensionSetExpression in interface AnalysiscaseAProverComprehensionSetExpression in class DepthFirstAdapterpublic void caseAEventBComprehensionSetExpression(AEventBComprehensionSetExpression node)
caseAEventBComprehensionSetExpression in interface AnalysiscaseAEventBComprehensionSetExpression in class DepthFirstAdapterpublic void caseASetExtensionExpression(ASetExtensionExpression node)
caseASetExtensionExpression in interface AnalysiscaseASetExtensionExpression in class DepthFirstAdapterpublic void caseAQuantifiedUnionExpression(AQuantifiedUnionExpression node)
caseAQuantifiedUnionExpression in interface AnalysiscaseAQuantifiedUnionExpression in class DepthFirstAdapterpublic void caseAQuantifiedIntersectionExpression(AQuantifiedIntersectionExpression node)
caseAQuantifiedIntersectionExpression in interface AnalysiscaseAQuantifiedIntersectionExpression in class DepthFirstAdapterpublic void caseALambdaExpression(ALambdaExpression node)
caseALambdaExpression in interface AnalysiscaseALambdaExpression in class DepthFirstAdapterpublic void caseASymbolicLambdaExpression(ASymbolicLambdaExpression node)
caseASymbolicLambdaExpression in interface AnalysiscaseASymbolicLambdaExpression in class DepthFirstAdapterpublic void caseASequenceExtensionExpression(ASequenceExtensionExpression node)
caseASequenceExtensionExpression in interface AnalysiscaseASequenceExtensionExpression in class DepthFirstAdapterpublic void caseAFunctionExpression(AFunctionExpression node)
caseAFunctionExpression in interface AnalysiscaseAFunctionExpression in class DepthFirstAdapterpublic void caseARecExpression(ARecExpression node)
caseARecExpression in interface AnalysiscaseARecExpression in class DepthFirstAdapterpublic void caseAStructExpression(AStructExpression node)
caseAStructExpression in interface AnalysiscaseAStructExpression in class DepthFirstAdapterpublic void caseAIntegerExpression(AIntegerExpression node)
caseAIntegerExpression in interface AnalysiscaseAIntegerExpression in class DepthFirstAdapterpublic void caseADefinitionExpression(ADefinitionExpression node)
caseADefinitionExpression in interface AnalysiscaseADefinitionExpression in class DepthFirstAdapterpublic void caseAAssignSubstitution(AAssignSubstitution node)
caseAAssignSubstitution in interface AnalysiscaseAAssignSubstitution in class DepthFirstAdapterpublic void caseAChoiceSubstitution(AChoiceSubstitution node)
caseAChoiceSubstitution in interface AnalysiscaseAChoiceSubstitution in class DepthFirstAdapterpublic void caseAIfSubstitution(AIfSubstitution node)
caseAIfSubstitution in interface AnalysiscaseAIfSubstitution in class DepthFirstAdapterpublic void caseASelectSubstitution(ASelectSubstitution node)
caseASelectSubstitution in interface AnalysiscaseASelectSubstitution in class DepthFirstAdapterpublic void caseACaseSubstitution(ACaseSubstitution node)
caseACaseSubstitution in interface AnalysiscaseACaseSubstitution in class DepthFirstAdapterpublic void caseACaseOrSubstitution(ACaseOrSubstitution node)
caseACaseOrSubstitution in interface AnalysiscaseACaseOrSubstitution in class DepthFirstAdapterpublic void caseAAnySubstitution(AAnySubstitution node)
caseAAnySubstitution in interface AnalysiscaseAAnySubstitution in class DepthFirstAdapterpublic void caseALetSubstitution(ALetSubstitution node)
caseALetSubstitution in interface AnalysiscaseALetSubstitution in class DepthFirstAdapterpublic void caseABecomesElementOfSubstitution(ABecomesElementOfSubstitution node)
caseABecomesElementOfSubstitution in interface AnalysiscaseABecomesElementOfSubstitution in class DepthFirstAdapterpublic void caseABecomesSuchSubstitution(ABecomesSuchSubstitution node)
caseABecomesSuchSubstitution in interface AnalysiscaseABecomesSuchSubstitution in class DepthFirstAdapterpublic void caseAVarSubstitution(AVarSubstitution node)
caseAVarSubstitution in interface AnalysiscaseAVarSubstitution in class DepthFirstAdapterpublic void caseASequenceSubstitution(ASequenceSubstitution node)
caseASequenceSubstitution in interface AnalysiscaseASequenceSubstitution in class DepthFirstAdapterpublic void caseAOpSubstitution(AOpSubstitution node)
caseAOpSubstitution in interface AnalysiscaseAOpSubstitution in class DepthFirstAdapterpublic void caseAOperationCallSubstitution(AOperationCallSubstitution node)
caseAOperationCallSubstitution in interface AnalysiscaseAOperationCallSubstitution in class DepthFirstAdapterpublic void caseAOperationCallExpression(AOperationCallExpression node)
caseAOperationCallExpression in interface AnalysiscaseAOperationCallExpression in class DepthFirstAdapterpublic void caseAParallelSubstitution(AParallelSubstitution node)
caseAParallelSubstitution in interface AnalysiscaseAParallelSubstitution in class DepthFirstAdapterpublic void caseADefinitionSubstitution(ADefinitionSubstitution node)
caseADefinitionSubstitution in interface AnalysiscaseADefinitionSubstitution in class DepthFirstAdapterpublic void caseABooleanTrueExpression(ABooleanTrueExpression node)
caseABooleanTrueExpression in interface AnalysiscaseABooleanTrueExpression in class DepthFirstAdapterpublic void caseAPartitionPredicate(APartitionPredicate node)
caseAPartitionPredicate in interface AnalysiscaseAPartitionPredicate in class DepthFirstAdapterpublic void caseAExpressionParseUnit(AExpressionParseUnit node)
caseAExpressionParseUnit in interface AnalysiscaseAExpressionParseUnit in class DepthFirstAdapterpublic void caseAMachineClauseParseUnit(AMachineClauseParseUnit node)
caseAMachineClauseParseUnit in interface AnalysiscaseAMachineClauseParseUnit in class DepthFirstAdapterpublic void caseAPredicateParseUnit(APredicateParseUnit node)
caseAPredicateParseUnit in interface AnalysiscaseAPredicateParseUnit in class DepthFirstAdapterpublic void caseASubstitutionParseUnit(ASubstitutionParseUnit node)
caseASubstitutionParseUnit in interface AnalysiscaseASubstitutionParseUnit in class DepthFirstAdapterpublic void caseAEventBModelParseUnit(AEventBModelParseUnit node)
caseAEventBModelParseUnit in interface AnalysiscaseAEventBModelParseUnit in class DepthFirstAdapterpublic void caseAVariablesModelClause(AVariablesModelClause node)
caseAVariablesModelClause in interface AnalysiscaseAVariablesModelClause in class DepthFirstAdapterpublic void caseASeesModelClause(ASeesModelClause node)
caseASeesModelClause in interface AnalysiscaseASeesModelClause in class DepthFirstAdapterpublic void caseAInvariantModelClause(AInvariantModelClause node)
caseAInvariantModelClause in interface AnalysiscaseAInvariantModelClause in class DepthFirstAdapterpublic void caseATheoremsModelClause(ATheoremsModelClause node)
caseATheoremsModelClause in interface AnalysiscaseATheoremsModelClause in class DepthFirstAdapterpublic void caseAEventsModelClause(AEventsModelClause node)
caseAEventsModelClause in interface AnalysiscaseAEventsModelClause in class DepthFirstAdapterpublic void caseAEvent(AEvent node)
caseAEvent in interface AnalysiscaseAEvent in class DepthFirstAdapterpublic void caseAWitness(AWitness node)
caseAWitness in interface AnalysiscaseAWitness in class DepthFirstAdapterpublic void caseAEventBContextParseUnit(AEventBContextParseUnit node)
caseAEventBContextParseUnit in interface AnalysiscaseAEventBContextParseUnit in class DepthFirstAdapterpublic void caseAExtendsContextClause(AExtendsContextClause node)
caseAExtendsContextClause in interface AnalysiscaseAExtendsContextClause in class DepthFirstAdapterpublic void caseASetsContextClause(ASetsContextClause node)
caseASetsContextClause in interface AnalysiscaseASetsContextClause in class DepthFirstAdapterpublic void caseAConstantsContextClause(AConstantsContextClause node)
caseAConstantsContextClause in interface AnalysiscaseAConstantsContextClause in class DepthFirstAdapterpublic void caseAAbstractConstantsContextClause(AAbstractConstantsContextClause node)
caseAAbstractConstantsContextClause in interface AnalysiscaseAAbstractConstantsContextClause in class DepthFirstAdapterpublic void caseAAxiomsContextClause(AAxiomsContextClause node)
caseAAxiomsContextClause in interface AnalysiscaseAAxiomsContextClause in class DepthFirstAdapterpublic void caseATheoremsContextClause(ATheoremsContextClause node)
caseATheoremsContextClause in interface AnalysiscaseATheoremsContextClause in class DepthFirstAdapterpublic void caseAOppatternParseUnit(AOppatternParseUnit node)
caseAOppatternParseUnit in interface AnalysiscaseAOppatternParseUnit in class DepthFirstAdapterpublic void caseAFreetypesMachineClause(AFreetypesMachineClause node)
caseAFreetypesMachineClause in interface AnalysiscaseAFreetypesMachineClause in class DepthFirstAdapterpublic void caseAFreetype(AFreetype node)
caseAFreetype in interface AnalysiscaseAFreetype in class DepthFirstAdapterpublic void caseAConstructorFreetypeConstructor(AConstructorFreetypeConstructor node)
caseAConstructorFreetypeConstructor in interface AnalysiscaseAConstructorFreetypeConstructor in class DepthFirstAdapterpublic void caseAElementFreetypeConstructor(AElementFreetypeConstructor node)
caseAElementFreetypeConstructor in interface AnalysiscaseAElementFreetypeConstructor in class DepthFirstAdapterpublic void caseAFileExpression(AFileExpression node)
caseAFileExpression in interface AnalysiscaseAFileExpression in class DepthFirstAdapterpublic void caseAFileMachineReference(AFileMachineReference node)
caseAFileMachineReference in interface AnalysiscaseAFileMachineReference in class DepthFirstAdapter