AdelanteParserDefaultVisitor.java

/* Generated By:JavaCC: Do not edit this line. AdelanteParserDefaultVisitor.java Version 7.0.12 */
package com.github.tom65536.adelante.parser;

public class AdelanteParserDefaultVisitor implements AdelanteParserVisitor{
  public Object defaultVisit(SimpleNode node, Object data){
    node.childrenAccept(this, data);
    return data;
  }
  public Object visit(SimpleNode node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTProgram node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBundleFile node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPacket node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPacketRequires node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPacketEnsures node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBlockTail node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPacketUsage node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPacketRefPart node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDirUp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTUseRename node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTWithoutClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOnlyClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTImportItem node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDecl node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPublicModifier node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAbstractTypeDecl node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTFormalTypePart node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTFormalTypeParam node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTypeBounds node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDisjunctTypeBound node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTConjunctTypeBound node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTSimpleTypeBound node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAbstractType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTProcedureDecl node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPureModifier node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTProcedureHead node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTFormalMeasurePart node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTProcedureNaming node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTFormalParameterPack node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTVarModifier node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTConstModifier node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTParameterHead node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTProcParam node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTVirtualParametersPack node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTParameterBody node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOperatorDecl node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOperatorHead node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTExpressionSynonym node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTypeSynonym node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTProtocolDecl node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTSignature node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAutomaticDelegation node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTImplProtocol node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTMeasureDecl node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTUnitTest node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBody node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTRoot node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTRefinement node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTParagraph node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAssertion node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPrecondition node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPostcondition node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTInvariant node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTVariant node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTProtocolInstance node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTExpressionStatement node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAssignmentExpression node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOperatorExpression node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTComparisonExpression node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPowerExpression node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTConcretizer node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAbstractor node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTConditionalChoice node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTConditionalBranch node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPatternMatching node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDefaultBranch node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCaseBranch node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPatterns node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPattern node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPatternBinder node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPatternDisplay node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTActualParameterList node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTActualParameter node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTActualProcParameter node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTWithStatement node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTWithHead node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDisplay node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTSelector node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTInvocation node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTSubscript node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTerminator node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTContinuator node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTRepetition node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAcrossClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTWhileClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTRepeatClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTUntilClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTSomeClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAllClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTNotAllClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTNoClause node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTLoopInvariant node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTLoopVariant node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTProcRef node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOpRef node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTRefinementRef node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTLoopRef node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTObjectDecl node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTypeDeclarer node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTIndexType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTStructType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTEnumType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTIntType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTRealType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTextType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoolType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTNamedType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTVoidType node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBounds node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDimension node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDimOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAstOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTSlashOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDimFactor node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTObsoletion node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDocumentation node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTReason node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTExample node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOperatorName node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAssignmentOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBracketsOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOperator node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTLeftArrow node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedRightArrow node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTRightArrow node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedLeftArrow node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTLeftRightArrow node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOrElseOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTOrOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTXorOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTImpliesOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAndThenOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAndOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTLessThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTGreaterThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTLessOrEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTGreaterOrEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTNotEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTNotInOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTInOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedGreaterThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedLessThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedLessOrEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedGreaterOrEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedNotEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledLessThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledGreaterThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledLessOrEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledGreaterOrEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledNotEqualOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTStarshipOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBatOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTildeOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPlusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTMinusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoublePlusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleMinusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledPlusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledMinusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedPlusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedMinusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAsteriskOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDivOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTModOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTimesOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPercentOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAsteriskSlashOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTSlashAsteriskOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledAateriskOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledSlashOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledTimesOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCircledDotOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedAsteriskOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedSlashOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedTimesOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedDotOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedColonOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTSlashSlashOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTCaretOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleAsteriskOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedCaretOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTNotOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleLessThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleGreaterThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTripleLessThanOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTripleGreaterThanOo node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTExclamationOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleExclamationOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTQuestionOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleQuestionOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTQuestionExclamationOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTExclamationQuestionOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTVerticalBarOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleVerticalBarOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTAmpersandOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleAmpersandOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTDoubleCaretOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedQuestionOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTBoxedSingleQuoteOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTPlusMinusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTMinusPlusOp node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTMinus node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTIdentifier node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTIdentifierRef node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTEllipsis node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTIntegerDenotation node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTRealDenotation node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTrueDenotation node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTFalseDenotation node, Object data){
    return defaultVisit(node, data);
  }
  public Object visit(ASTTextDenotation node, Object data){
    return defaultVisit(node, data);
  }
}
/* JavaCC - OriginalChecksum=7b176413d78fcef4aaaed24ce7bac209 (do not edit this line) */