JML

org.jmlspecs.checker
Class JmlAbstractVisitor

java.lang.Object
  extended byorg.multijava.util.Utils
      extended byorg.jmlspecs.checker.JmlAbstractVisitor
All Implemented Interfaces:
Cloneable, Constants, Constants, Constants, JmlVisitor, MjcVisitor
Direct Known Subclasses:
AssertionMethod.AssertionMethod$1, DesugarSpec, JmlExpressionChecker, RacAbstractVisitor, TransMethod.SpecCaseCollector

public abstract class JmlAbstractVisitor
extends Utils
implements Constants, JmlVisitor

An abstract JML visitor class to facilitate writing concrete visitor classes that implements the interface JmlVisitor. Each visitor method defined in this class performs no action; concrete subclasses should override them appropriately.

Version:
$Revision: 1.29 $
Author:
Yoonsik Cheon

Field Summary
 
Fields inherited from class org.multijava.util.Utils
DBG_LEVEL_HIGH, DBG_LEVEL_LOW, DBG_LEVEL_NO
 
Fields inherited from interface org.jmlspecs.checker.Constants
ACC2_RAC_METHOD, ACC_CODE, ACC_CODE_BIGINT_MATH, ACC_CODE_JAVA_MATH, ACC_CODE_SAFE_MATH, ACC_GHOST, ACC_HELPER, ACC_INSTANCE, ACC_MODEL, ACC_MONITORED, ACC_QUERY, ACC_SECRET, ACC_SPEC_BIGINT_MATH, ACC_SPEC_JAVA_MATH, ACC_SPEC_PROTECTED, ACC_SPEC_PUBLIC, ACC_SPEC_SAFE_MATH, ACC_UNINITIALIZED, ACCESS_FLAG_ARRAY, ACCESS_FLAG_NAMES, AMID_BIGINT_MATH, EVERYTHING, JML_JMLObjectSet, NOT_SPECIFIED, NOTHING, OPE_BACKWARD_IMPLIES, OPE_EQUIV, OPE_EXISTS, OPE_FORALL, OPE_IMPLIES, OPE_L_ARROW, OPE_MAX, OPE_MIN, OPE_NOT_EQUIV, OPE_NUM_OF, OPE_PRODUCT, OPE_R_ARROW, OPE_SUBTYPE, OPE_SUM, SAME, TID_BIGINT, TID_REAL, TID_TYPE, TN_JMLOBJECTSET, TN_JMLTYPE, TN_JMLVALUESET
 
Fields inherited from interface org.multijava.mjc.Constants
ACC_MODIFIER_FLAGS_MASK, ACC_NON_NULL, ACC_NON_NULL_BY_DEFAULT, ACC_NULLABLE, ACC_NULLABLE_BY_DEFAULT, ACC_PURE, AMID_JAVA_MATH, AMID_MAX, AMID_SAFE_MATH, CMP_VERSION, IMPLICITLY_NON_NULL, JAV_ASSERTION_ERROR, JAV_CLASS, JAV_CLASSLOADER, JAV_CLASSNOTFOUND_EXCEPTION, JAV_CLONE, JAV_CLONEABLE, JAV_CONSTRUCTOR, JAV_ERROR, JAV_EXCEPTION, JAV_INIT, JAV_LENGTH, JAV_NAME_SEPARATOR, JAV_NOCLASSDEFFOUND_ERROR, JAV_OBJECT, JAV_OUTER_THIS, JAV_RMJ_RUNTIME_EXCEPTION, JAV_RUNTIME, JAV_RUNTIME_EXCEPTION, JAV_SERIALIZABLE, JAV_STATIC_INIT, JAV_STRING, JAV_STRINGBUFFER, JAV_SUPER, JAV_THIS, JAV_THROWABLE, MJ_ANCHOR, NULLITY_MODS, OPE_BAND, OPE_BNOT, OPE_BOR, OPE_BSR, OPE_BXOR, OPE_EQ, OPE_GE, OPE_GT, OPE_LAND, OPE_LE, OPE_LNOT, OPE_LOR, OPE_LT, OPE_MINUS, OPE_NE, OPE_PERCENT, OPE_PLUS, OPE_POSTDEC, OPE_POSTINC, OPE_PREDEC, OPE_PREINC, OPE_SIMPLE, OPE_SL, OPE_SLASH, OPE_SR, OPE_STAR, TID_ARRAY, TID_BOOLEAN, TID_BYTE, TID_CHAR, TID_CLASS, TID_DOUBLE, TID_FLOAT, TID_INT, TID_LONG, TID_MAX, TID_SHORT, TID_VOID, UNIV_ARRAY_TMP, UNIV_TMP
 
Fields inherited from interface org.multijava.util.classfile.Constants
ACC_ABSTRACT, ACC_FINAL, ACC_INTERFACE, ACC_NATIVE, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_VOLATILE, ATT_ANCHOR, ATT_BRIDGE, ATT_CODE, ATT_CONSTANTVALUE, ATT_DEPRECATED, ATT_DISPATCHER, ATT_EXCEPTIONS, ATT_GENERIC, ATT_GENERIC_FUNCTIONS, ATT_INNERCLASSES, ATT_LINENUMBERTABLE, ATT_LOCALVARIABLETABLE, ATT_MM_BODY, ATT_REDIRECTOR, ATT_RMJ_GLUE, ATT_RMJ_SIGNATURE, ATT_RUNTIME_VISIBLE_ANNOTATIONS, ATT_RUNTIME_VISIBLE_PARAMETER_ANNOTATIONS, ATT_SIGNATURE, ATT_SOURCEFILE, ATT_SYNTHETIC, ATT_UNIVERSE_FIELD, ATT_UNIVERSE_METHOD, ATT_UNIVERSE_VERSION, CST_CLASS, CST_DOUBLE, CST_FIELD, CST_FLOAT, CST_INTEGER, CST_INTERFACEMETHOD, CST_LONG, CST_METHOD, CST_NAMEANDTYPE, CST_STRING, CST_UTF8, ENV_DEBUG_MODE, ENV_USE_CACHE, JAVA_MAGIC, JAVA_MAJOR, JAVA_MINOR, MAX_CODE_PER_METHOD, opc_aaload, opc_aastore, opc_aconst_null, opc_aload, opc_aload_0, opc_aload_1, opc_aload_2, opc_aload_3, opc_anewarray, opc_areturn, opc_arraylength, opc_astore, opc_astore_0, opc_astore_1, opc_astore_2, opc_astore_3, opc_athrow, opc_baload, opc_bastore, opc_bipush, opc_caload, opc_castore, opc_checkcast, opc_d2f, opc_d2i, opc_d2l, opc_dadd, opc_daload, opc_dastore, opc_dcmpg, opc_dcmpl, opc_dconst_0, opc_dconst_1, opc_ddiv, opc_dload, opc_dload_0, opc_dload_1, opc_dload_2, opc_dload_3, opc_dmul, opc_dneg, opc_drem, opc_dreturn, opc_dstore, opc_dstore_0, opc_dstore_1, opc_dstore_2, opc_dstore_3, opc_dsub, opc_dup, opc_dup2, opc_dup2_x1, opc_dup2_x2, opc_dup_x1, opc_dup_x2, opc_f2d, opc_f2i, opc_f2l, opc_fadd, opc_faload, opc_fastore, opc_fcmpg, opc_fcmpl, opc_fconst_0, opc_fconst_1, opc_fconst_2, opc_fdiv, opc_fload, opc_fload_0, opc_fload_1, opc_fload_2, opc_fload_3, opc_fmul, opc_fneg, opc_frem, opc_freturn, opc_fstore, opc_fstore_0, opc_fstore_1, opc_fstore_2, opc_fstore_3, opc_fsub, opc_getfield, opc_getstatic, opc_goto, opc_goto_w, opc_i2b, opc_i2c, opc_i2d, opc_i2f, opc_i2l, opc_i2s, opc_iadd, opc_iaload, opc_iand, opc_iastore, opc_iconst_0, opc_iconst_1, opc_iconst_2, opc_iconst_3, opc_iconst_4, opc_iconst_5, opc_iconst_m1, opc_idiv, opc_if_acmpeq, opc_if_acmpne, opc_if_icmpeq, opc_if_icmpge, opc_if_icmpgt, opc_if_icmple, opc_if_icmplt, opc_if_icmpne, opc_ifeq, opc_ifge, opc_ifgt, opc_ifle, opc_iflt, opc_ifne, opc_ifnonnull, opc_ifnull, opc_iinc, opc_iload, opc_iload_0, opc_iload_1, opc_iload_2, opc_iload_3, opc_imul, opc_ineg, opc_instanceof, opc_invokeinterface, opc_invokespecial, opc_invokestatic, opc_invokevirtual, opc_ior, opc_irem, opc_ireturn, opc_ishl, opc_ishr, opc_istore, opc_istore_0, opc_istore_1, opc_istore_2, opc_istore_3, opc_isub, opc_iushr, opc_ixor, opc_jsr, opc_jsr_w, opc_l2d, opc_l2f, opc_l2i, opc_ladd, opc_laload, opc_land, opc_lastore, opc_lcmp, opc_lconst_0, opc_lconst_1, opc_ldc, opc_ldc2_w, opc_ldc_w, opc_ldiv, opc_lload, opc_lload_0, opc_lload_1, opc_lload_2, opc_lload_3, opc_lmul, opc_lneg, opc_lookupswitch, opc_lor, opc_lrem, opc_lreturn, opc_lshl, opc_lshr, opc_lstore, opc_lstore_0, opc_lstore_1, opc_lstore_2, opc_lstore_3, opc_lsub, opc_lushr, opc_lxor, opc_monitorenter, opc_monitorexit, opc_multianewarray, opc_new, opc_newarray, opc_nop, opc_pop, opc_pop2, opc_putfield, opc_putstatic, opc_ret, opc_return, opc_saload, opc_sastore, opc_sipush, opc_swap, opc_tableswitch, opc_wide, opc_xxxunusedxxx, POO_ASCII_CONSTANT, POO_CLASS_CONSTANT, POO_DOUBLE_CONSTANT, POO_FLOAT_CONSTANT, POO_INTEGER_CONSTANT, POO_LONG_CONSTANT, POO_NAT_CONSTANT, POO_REF_CONSTANT, POO_STRING_CONSTANT, TYP_ADDRESS, TYP_DOUBLE, TYP_FLOAT, TYP_INT, TYP_LONG, TYP_REFERENCE, TYP_VOID
 
Constructor Summary
JmlAbstractVisitor()
           
 
Method Summary
 void visitAddExpression(JAddExpression self)
          Visits the given add expression.
 void visitArrayAccessExpression(JArrayAccessExpression self)
          Visits the given array access expression.
 void visitArrayDimsAndInit(JArrayDimsAndInits self)
          Visits the given array dimension and initialization expression.
 void visitArrayInitializer(JArrayInitializer self)
          Visits the given array initializer.
 void visitArrayLengthExpression(JArrayLengthExpression self)
          Visits the given array length expression.
 void visitAssertStatement(JAssertStatement self)
          Visits the given assert statement.
 void visitAssignmentExpression(JAssignmentExpression self)
          Visits the given assignment expression.
protected  void visitBinaryExpression(JBinaryExpression self, String oper)
          Visits the given binary expression with the given operator.
 void visitBitwiseExpression(JBitwiseExpression self)
          Visits the given bitwise expression.
 void visitBlockStatement(JBlock self)
          Visits the given block statement.
 void visitBooleanLiteral(JBooleanLiteral self)
          Visits the given boolean literal.
 void visitBreakStatement(JBreakStatement self)
          Visits the given break statement.
protected  void visitByteLiteral(byte value)
          Visits the given byte literal.
 void visitCastExpression(JCastExpression self)
          Visits the given cast expression.
 void visitCatchClause(JCatchClause self)
          Visits the given catch clause.
 void visitCharLiteral(JCharLiteral self)
          Visits the given character literal.
 void visitClassBlock(JClassBlock self)
          Visits the given class block.
 void visitClassDeclaration(JClassDeclaration self)
          Visits the given class declaration.
 void visitClassExpression(JClassExpression self)
          Visits the given class expression.
 void visitClassOrGFImport(JClassOrGFImport self)
          Visits the given class import statement.
 void visitCompilationUnit(JCompilationUnit self)
          Visits the given compilation unit.
 void visitCompoundAssignmentExpression(JCompoundAssignmentExpression self)
          Visits the given compound expression.
 void visitCompoundStatement(JCompoundStatement self)
          Visits the given compound statement.
 void visitCompoundStatement(JStatement[] body)
          Visits the given compound statement.
 void visitConditionalAndExpression(JConditionalAndExpression self)
          Visits the given boolean AND expression.
 void visitConditionalExpression(JConditionalExpression self)
          Visits the given conditional expression.
 void visitConditionalOrExpression(JConditionalOrExpression self)
          Visits the given boolean OR expression.
 void visitConstructorBlock(JConstructorBlock self)
          Visits the given constructor block.
 void visitConstructorDeclaration(JConstructorDeclaration self)
          Visits the given constructor declaration.
 void visitContinueStatement(JContinueStatement self)
          Visits the given continue statement.
 void visitDivideExpression(JDivideExpression self)
          Visits the given divide expression.
 void visitDoStatement(JDoStatement self)
          Visits the given do statement.
protected  void visitDoubleLiteral(double value)
          Visits the given double literal.
 void visitEmptyStatement(JEmptyStatement self)
          Visits the given empty statement.
 void visitEqualityExpression(JEqualityExpression self)
          Visits the given equality expression.
 void visitExplicitConstructorInvocation(JExplicitConstructorInvocation self)
          Visits the given explicit constructor invocation.
 void visitExpressionListStatement(JExpressionListStatement self)
          Visits the given expression list statement.
 void visitExpressionStatement(JExpressionStatement self)
          Visits the given expression statement.
 void visitFieldDeclaration(JFieldDeclaration self)
          Visits the given field declaration.
 void visitFieldExpression(JClassFieldExpression self)
          Visits the given field expression.
protected  void visitFloatLiteral(float value)
          Visits the given float literal.
 void visitFormalParameters(JFormalParameter self)
          Visits the given formal parameters.
 void visitForStatement(JForStatement self)
          Visits the given for statement.
 void visitGenericFunctionDecl(MJGenericFunctionDecl self)
          Visits the given generic function declaration.
 void visitIfStatement(JIfStatement self)
          Visits the given if statement.
 void visitInitializerDeclaration(JInitializerDeclaration self)
          Visits the given initializer declaration.
 void visitInstanceofExpression(JInstanceofExpression self)
          Visits the given instanceof expression.
 void visitInterfaceDeclaration(JInterfaceDeclaration self)
          Visits the given interface declaration.
protected  void visitIntLiteral(int value)
          Visits the given int literal.
 void visitJmlAbruptSpecBody(JmlAbruptSpecBody self)
           
 void visitJmlAbruptSpecCase(JmlAbruptSpecCase self)
           
 void visitJmlAccessibleClause(JmlAccessibleClause self)
           
 void visitJmlAssertStatement(JmlAssertStatement self)
           
 void visitJmlAssignableClause(JmlAssignableClause self)
           
 void visitJmlAssignmentStatement(JmlAssignmentStatement self)
           
 void visitJmlAssumeStatement(JmlAssumeStatement self)
           
 void visitJmlAxiom(JmlAxiom self)
           
 void visitJmlBehaviorSpec(JmlBehaviorSpec self)
           
 void visitJmlBreaksClause(JmlBreaksClause self)
           
 void visitJmlCallableClause(JmlCallableClause self)
           
 void visitJmlCapturesClause(JmlCapturesClause self)
           
 void visitJmlClassBlock(JmlClassBlock self)
           
 void visitJmlClassDeclaration(JmlClassDeclaration self)
           
 void visitJmlClassOrGFImport(JmlClassOrGFImport self)
           
 void visitJmlCodeContract(JmlCodeContract self)
           
 void visitJmlCompilationUnit(JmlCompilationUnit self)
           
 void visitJmlConstraint(JmlConstraint self)
           
 void visitJmlConstructorDeclaration(JmlConstructorDeclaration self)
           
 void visitJmlConstructorName(JmlConstructorName self)
           
 void visitJmlContinuesClause(JmlContinuesClause self)
           
 void visitJmlDebugStatement(JmlDebugStatement self)
           
 void visitJmlDeclaration(JmlDeclaration self)
           
 void visitJmlDivergesClause(JmlDivergesClause self)
           
 void visitJmlDurationClause(JmlDurationClause self)
           
 void visitJmlDurationExpression(JmlDurationExpression self)
           
 void visitJmlElemTypeExpression(JmlElemTypeExpression self)
           
 void visitJmlEnsuresClause(JmlEnsuresClause self)
           
 void visitJmlExample(JmlExample self)
           
 void visitJmlExceptionalBehaviorSpec(JmlExceptionalBehaviorSpec self)
           
 void visitJmlExceptionalExample(JmlExceptionalExample self)
           
 void visitJmlExceptionalSpecBody(JmlExceptionalSpecBody self)
           
 void visitJmlExceptionalSpecCase(JmlExceptionalSpecCase self)
           
 void visitJmlExpression(JmlExpression self)
           
 void visitJmlExtendingSpecification(JmlExtendingSpecification self)
           
 void visitJmlFieldDeclaration(JmlFieldDeclaration self)
           
 void visitJmlForAllVarDecl(JmlForAllVarDecl self)
           
 void visitJmlFormalParameter(JmlFormalParameter self)
           
 void visitJmlFreshExpression(JmlFreshExpression self)
           
 void visitJmlGeneralSpecCase(JmlGeneralSpecCase self)
           
 void visitJmlGenericSpecBody(JmlGenericSpecBody self)
           
 void visitJmlGenericSpecCase(JmlGenericSpecCase self)
           
 void visitJmlGuardedStatement(JmlGuardedStatement self)
           
 void visitJmlHenceByStatement(JmlHenceByStatement self)
           
 void visitJmlInformalExpression(JmlInformalExpression self)
           
 void visitJmlInformalStoreRef(JmlInformalStoreRef self)
           
 void visitJmlInGroupClause(JmlInGroupClause self)
           
 void visitJmlInitiallyVarAssertion(JmlInitiallyVarAssertion self)
           
 void visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self)
           
 void visitJmlInvariant(JmlInvariant self)
           
 void visitJmlInvariantForExpression(JmlInvariantForExpression self)
           
 void visitJmlInvariantStatement(JmlInvariantStatement self)
           
 void visitJmlIsInitializedExpression(JmlIsInitializedExpression self)
           
 void visitJmlLabelExpression(JmlLabelExpression self)
           
 void visitJmlLetVarDecl(JmlLetVarDecl self)
           
 void visitJmlLockSetExpression(JmlLockSetExpression self)
           
 void visitJmlLoopInvariant(JmlLoopInvariant self)
           
 void visitJmlLoopStatement(JmlLoopStatement self)
           
 void visitJmlMapsIntoClause(JmlMapsIntoClause self)
           
 void visitJmlMaxExpression(JmlMaxExpression self)
           
 void visitJmlMeasuredClause(JmlMeasuredClause self)
           
 void visitJmlMethodDeclaration(JmlMethodDeclaration self)
           
 void visitJmlMethodName(JmlMethodName self)
           
 void visitJmlMethodNameList(JmlMethodNameList self)
           
 void visitJmlMethodSpecification(JmlMethodSpecification self)
           
 void visitJmlModelProgram(JmlModelProgram self)
           
 void visitJmlMonitorsForVarAssertion(JmlMonitorsForVarAssertion self)
           
 void visitJmlName(JmlName self)
           
 void visitJmlNode(JmlNode self)
           
 void visitJmlNondetChoiceStatement(JmlNondetChoiceStatement self)
           
 void visitJmlNondetIfStatement(JmlNondetIfStatement self)
           
 void visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self)
           
 void visitJmlNormalBehaviorSpec(JmlNormalBehaviorSpec self)
           
 void visitJmlNormalExample(JmlNormalExample self)
           
 void visitJmlNormalSpecBody(JmlNormalSpecBody self)
           
 void visitJmlNormalSpecCase(JmlNormalSpecCase self)
           
 void visitJmlNotAssignedExpression(JmlNotAssignedExpression self)
           
 void visitJmlNotModifiedExpression(JmlNotModifiedExpression self)
           
 void visitJmlOldExpression(JmlOldExpression self)
           
 void visitJmlOnlyAccessedExpression(JmlOnlyAccessedExpression self)
           
 void visitJmlOnlyAssignedExpression(JmlOnlyAssignedExpression self)
           
 void visitJmlOnlyCalledExpression(JmlOnlyCalledExpression self)
           
 void visitJmlOnlyCapturedExpression(JmlOnlyCapturedExpression self)
           
 void visitJmlPackageImport(JmlPackageImport self)
           
 void visitJmlPredicate(JmlPredicate self)
           
 void visitJmlPredicateKeyword(JmlPredicateKeyword self)
           
 void visitJmlPreExpression(JmlPreExpression self)
           
 void visitJmlReachExpression(JmlReachExpression self)
           
 void visitJmlReadableIfVarAssertion(JmlReadableIfVarAssertion self)
           
 void visitJmlRedundantSpec(JmlRedundantSpec self)
           
 void visitJmlRefinePrefix(JmlRefinePrefix self)
           
 void visitJmlRelationalExpression(JmlRelationalExpression self)
           
 void visitJmlRepresentsDecl(JmlRepresentsDecl self)
           
 void visitJmlRequiresClause(JmlRequiresClause self)
           
 void visitJmlResultExpression(JmlResultExpression self)
           
 void visitJmlReturnsClause(JmlReturnsClause self)
           
 void visitJmlSetComprehension(JmlSetComprehension self)
           
 void visitJmlSetStatement(JmlSetStatement self)
           
 void visitJmlSignalsClause(JmlSignalsClause self)
           
 void visitJmlSignalsOnlyClause(JmlSignalsOnlyClause self)
           
 void visitJmlSpaceExpression(JmlSpaceExpression self)
           
 void visitJmlSpecBody(JmlSpecBody self)
           
 void visitJmlSpecExpression(JmlSpecExpression self)
           
 void visitJmlSpecification(JmlSpecification self)
           
 void visitJmlSpecQuantifiedExpression(JmlSpecQuantifiedExpression self)
           
 void visitJmlSpecStatement(JmlSpecStatement self)
           
 void visitJmlSpecVarDecl(JmlSpecVarDecl self)
           
 void visitJmlStoreRef(JmlStoreRef self)
           
 void visitJmlStoreRefExpression(JmlStoreRefExpression self)
           
 void visitJmlStoreRefKeyword(JmlStoreRefKeyword self)
           
 void visitJmlTypeExpression(JmlTypeExpression self)
           
 void visitJmlTypeOfExpression(JmlTypeOfExpression self)
           
 void visitJmlUnreachableStatement(JmlUnreachableStatement self)
           
 void visitJmlVariableDefinition(JmlVariableDefinition self)
           
 void visitJmlVariantFunction(JmlVariantFunction self)
           
 void visitJmlWhenClause(JmlWhenClause self)
           
 void visitJmlWorkingSpaceClause(JmlWorkingSpaceClause self)
           
 void visitJmlWorkingSpaceExpression(JmlWorkingSpaceExpression self)
           
 void visitJmlWritableIfVarAssertion(JmlWritableIfVarAssertion self)
           
 void visitLabeledStatement(JLabeledStatement self)
          Visits the given labeled statement.
 void visitLocalVariableExpression(JLocalVariableExpression self)
          Visits the given local variable expression.
protected  void visitLongLiteral(long value)
          Visits the given long literal.
 void visitMathModeExpression(MJMathModeExpression self)
          Visits the given math mode expression.
 void visitMethodCallExpression(JMethodCallExpression self)
          Visits the given method call expression.
 void visitMethodDeclaration(JMethodDeclaration self)
          Visits the given method declaration.
 void visitMinusExpression(JMinusExpression self)
          Visits the given minus expression.
 void visitModuloExpression(JModuloExpression self)
          Visits the given modulo division expression.
 void visitMultExpression(JMultExpression self)
          Visits the given multiplication expression.
 void visitNameExpression(JNameExpression self)
          Visits the given name expression.
 void visitNewAnonymousClassExpression(JNewAnonymousClassExpression self)
          Visits the given object allocator expression for an anonymous class.
 void visitNewArrayExpression(JNewArrayExpression self)
          Visits the given array allocator expression.
 void visitNewObjectExpression(JNewObjectExpression self)
          Visits the given object allocator expression.
 void visitNullLiteral(JNullLiteral self)
          Visits the given null literal.
 void visitOrdinalLiteral(JOrdinalLiteral self)
          Visits the given ordinal literal.
 void visitPackageImport(JPackageImport self)
          Visits the given package import statement.
 void visitPackageName(JPackageName self)
          Visits the given package name statement.
 void visitParenthesedExpression(JParenthesedExpression self)
          Visits the given parenthesed expression.
 void visitPostfixExpression(JPostfixExpression self)
          Visits the given postfix expression.
 void visitPrefixExpression(JPrefixExpression self)
          Visits the given prefix expression.
 void visitRealLiteral(JRealLiteral self)
          Visits the given real literal.
 void visitRelationalExpression(JRelationalExpression self)
          Visits the given relational expression.
 void visitReturnStatement(JReturnStatement self)
          Visits the given return statement.
 void visitShiftExpression(JShiftExpression self)
          Visits the given shift expression.
protected  void visitShortLiteral(short value)
          Visits the given short literal.
 void visitStringLiteral(JStringLiteral self)
          Visits the given string literal.
 void visitSuperExpression(JSuperExpression self)
          Visits the given super expression.
 void visitSwitchGroup(JSwitchGroup self)
          Visits the given switch group.
 void visitSwitchLabel(JSwitchLabel self)
          visits a switch label
 void visitSwitchStatement(JSwitchStatement self)
          Visits the given switch statement.
 void visitSynchronizedStatement(JSynchronizedStatement self)
          Visits the given synchronized statement.
 void visitThisExpression(JThisExpression self)
          Visits the given this expression.
 void visitThrowStatement(JThrowStatement self)
          Visits the given throw statement.
 void visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self)
          Visits the given external method declaration.
 void visitTryCatchStatement(JTryCatchStatement self)
          Visits the given try-catch statement.
 void visitTryFinallyStatement(JTryFinallyStatement self)
          Visits the given try-finally statement.
 void visitTypeDeclarationStatement(JTypeDeclarationStatement self)
          Visits the given type declaration statement.
 void visitTypeNameExpression(JTypeNameExpression self)
          Visits the given type name expression.
 void visitUnaryExpression(JUnaryExpression self)
          Visits the given unary expression.
 void visitUnaryPromoteExpression(JUnaryPromote self)
          Visits the given unary promotion expression.
 void visitVariableDeclarationStatement(JVariableDeclarationStatement self)
          Visits the given variable declaration statement.
 void visitVariableDefinition(JVariableDefinition self)
          Visits the given variable declaration statement.
 void visitWarnExpression(MJWarnExpression self)
          Visits the given warn expression.
 void visitWhileStatement(JWhileStatement self)
          Visits the given while statement.
 
Methods inherited from class org.multijava.util.Utils
assertTrue, assertTrue, combineArrays, escapeString, escapeString, fail, fail, getFilePath, hasFlag, hasOtherFlags, parsePathParts, relativePathTo, splitQualifiedName, splitQualifiedName, stripJavaModifiers, stripNonJavaModifiers, stripPrivateModifier, unescapeString, vectorToArray, vectorToIntArray
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JmlAbstractVisitor

public JmlAbstractVisitor()
Method Detail

visitJmlAbruptSpecBody

public void visitJmlAbruptSpecBody(JmlAbruptSpecBody self)
Specified by:
visitJmlAbruptSpecBody in interface JmlVisitor

visitJmlAbruptSpecCase

public void visitJmlAbruptSpecCase(JmlAbruptSpecCase self)
Specified by:
visitJmlAbruptSpecCase in interface JmlVisitor

visitJmlAccessibleClause

public void visitJmlAccessibleClause(JmlAccessibleClause self)
Specified by:
visitJmlAccessibleClause in interface JmlVisitor

visitJmlAssertStatement

public void visitJmlAssertStatement(JmlAssertStatement self)
Specified by:
visitJmlAssertStatement in interface JmlVisitor

visitJmlAssignableClause

public void visitJmlAssignableClause(JmlAssignableClause self)
Specified by:
visitJmlAssignableClause in interface JmlVisitor

visitJmlAssumeStatement

public void visitJmlAssumeStatement(JmlAssumeStatement self)
Specified by:
visitJmlAssumeStatement in interface JmlVisitor

visitJmlAxiom

public void visitJmlAxiom(JmlAxiom self)
Specified by:
visitJmlAxiom in interface JmlVisitor

visitJmlBehaviorSpec

public void visitJmlBehaviorSpec(JmlBehaviorSpec self)
Specified by:
visitJmlBehaviorSpec in interface JmlVisitor

visitJmlBreaksClause

public void visitJmlBreaksClause(JmlBreaksClause self)
Specified by:
visitJmlBreaksClause in interface JmlVisitor

visitJmlCallableClause

public void visitJmlCallableClause(JmlCallableClause self)
Specified by:
visitJmlCallableClause in interface JmlVisitor

visitJmlCapturesClause

public void visitJmlCapturesClause(JmlCapturesClause self)
Specified by:
visitJmlCapturesClause in interface JmlVisitor

visitJmlClassBlock

public void visitJmlClassBlock(JmlClassBlock self)
Specified by:
visitJmlClassBlock in interface JmlVisitor

visitJmlClassDeclaration

public void visitJmlClassDeclaration(JmlClassDeclaration self)
Specified by:
visitJmlClassDeclaration in interface JmlVisitor

visitJmlClassOrGFImport

public void visitJmlClassOrGFImport(JmlClassOrGFImport self)
Specified by:
visitJmlClassOrGFImport in interface JmlVisitor

visitJmlCompilationUnit

public void visitJmlCompilationUnit(JmlCompilationUnit self)
Specified by:
visitJmlCompilationUnit in interface JmlVisitor

visitJmlCodeContract

public void visitJmlCodeContract(JmlCodeContract self)
Specified by:
visitJmlCodeContract in interface JmlVisitor

visitJmlConstraint

public void visitJmlConstraint(JmlConstraint self)
Specified by:
visitJmlConstraint in interface JmlVisitor

visitJmlConstructorDeclaration

public void visitJmlConstructorDeclaration(JmlConstructorDeclaration self)
Specified by:
visitJmlConstructorDeclaration in interface JmlVisitor

visitJmlConstructorName

public void visitJmlConstructorName(JmlConstructorName self)
Specified by:
visitJmlConstructorName in interface JmlVisitor

visitJmlContinuesClause

public void visitJmlContinuesClause(JmlContinuesClause self)
Specified by:
visitJmlContinuesClause in interface JmlVisitor

visitJmlDebugStatement

public void visitJmlDebugStatement(JmlDebugStatement self)
Specified by:
visitJmlDebugStatement in interface JmlVisitor

visitJmlDivergesClause

public void visitJmlDivergesClause(JmlDivergesClause self)
Specified by:
visitJmlDivergesClause in interface JmlVisitor

visitJmlDurationClause

public void visitJmlDurationClause(JmlDurationClause self)
Specified by:
visitJmlDurationClause in interface JmlVisitor

visitJmlDurationExpression

public void visitJmlDurationExpression(JmlDurationExpression self)
Specified by:
visitJmlDurationExpression in interface JmlVisitor

visitJmlElemTypeExpression

public void visitJmlElemTypeExpression(JmlElemTypeExpression self)
Specified by:
visitJmlElemTypeExpression in interface JmlVisitor

visitJmlEnsuresClause

public void visitJmlEnsuresClause(JmlEnsuresClause self)
Specified by:
visitJmlEnsuresClause in interface JmlVisitor

visitJmlExample

public void visitJmlExample(JmlExample self)
Specified by:
visitJmlExample in interface JmlVisitor

visitJmlExceptionalBehaviorSpec

public void visitJmlExceptionalBehaviorSpec(JmlExceptionalBehaviorSpec self)
Specified by:
visitJmlExceptionalBehaviorSpec in interface JmlVisitor

visitJmlExceptionalExample

public void visitJmlExceptionalExample(JmlExceptionalExample self)
Specified by:
visitJmlExceptionalExample in interface JmlVisitor

visitJmlExceptionalSpecBody

public void visitJmlExceptionalSpecBody(JmlExceptionalSpecBody self)
Specified by:
visitJmlExceptionalSpecBody in interface JmlVisitor

visitJmlExceptionalSpecCase

public void visitJmlExceptionalSpecCase(JmlExceptionalSpecCase self)
Specified by:
visitJmlExceptionalSpecCase in interface JmlVisitor

visitJmlExtendingSpecification

public void visitJmlExtendingSpecification(JmlExtendingSpecification self)
Specified by:
visitJmlExtendingSpecification in interface JmlVisitor

visitJmlFieldDeclaration

public void visitJmlFieldDeclaration(JmlFieldDeclaration self)
Specified by:
visitJmlFieldDeclaration in interface JmlVisitor

visitJmlForAllVarDecl

public void visitJmlForAllVarDecl(JmlForAllVarDecl self)
Specified by:
visitJmlForAllVarDecl in interface JmlVisitor

visitJmlFormalParameter

public void visitJmlFormalParameter(JmlFormalParameter self)
Specified by:
visitJmlFormalParameter in interface JmlVisitor

visitJmlFreshExpression

public void visitJmlFreshExpression(JmlFreshExpression self)
Specified by:
visitJmlFreshExpression in interface JmlVisitor

visitJmlGenericSpecBody

public void visitJmlGenericSpecBody(JmlGenericSpecBody self)
Specified by:
visitJmlGenericSpecBody in interface JmlVisitor

visitJmlGenericSpecCase

public void visitJmlGenericSpecCase(JmlGenericSpecCase self)
Specified by:
visitJmlGenericSpecCase in interface JmlVisitor

visitJmlGuardedStatement

public void visitJmlGuardedStatement(JmlGuardedStatement self)
Specified by:
visitJmlGuardedStatement in interface JmlVisitor

visitJmlHenceByStatement

public void visitJmlHenceByStatement(JmlHenceByStatement self)
Specified by:
visitJmlHenceByStatement in interface JmlVisitor

visitJmlInGroupClause

public void visitJmlInGroupClause(JmlInGroupClause self)
Specified by:
visitJmlInGroupClause in interface JmlVisitor

visitJmlInformalExpression

public void visitJmlInformalExpression(JmlInformalExpression self)
Specified by:
visitJmlInformalExpression in interface JmlVisitor

visitJmlInformalStoreRef

public void visitJmlInformalStoreRef(JmlInformalStoreRef self)
Specified by:
visitJmlInformalStoreRef in interface JmlVisitor

visitJmlInitiallyVarAssertion

public void visitJmlInitiallyVarAssertion(JmlInitiallyVarAssertion self)
Specified by:
visitJmlInitiallyVarAssertion in interface JmlVisitor

visitJmlInterfaceDeclaration

public void visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self)
Specified by:
visitJmlInterfaceDeclaration in interface JmlVisitor

visitJmlInvariant

public void visitJmlInvariant(JmlInvariant self)
Specified by:
visitJmlInvariant in interface JmlVisitor

visitJmlInvariantForExpression

public void visitJmlInvariantForExpression(JmlInvariantForExpression self)
Specified by:
visitJmlInvariantForExpression in interface JmlVisitor

visitJmlInvariantStatement

public void visitJmlInvariantStatement(JmlInvariantStatement self)
Specified by:
visitJmlInvariantStatement in interface JmlVisitor

visitJmlIsInitializedExpression

public void visitJmlIsInitializedExpression(JmlIsInitializedExpression self)
Specified by:
visitJmlIsInitializedExpression in interface JmlVisitor

visitJmlLabelExpression

public void visitJmlLabelExpression(JmlLabelExpression self)
Specified by:
visitJmlLabelExpression in interface JmlVisitor

visitJmlLetVarDecl

public void visitJmlLetVarDecl(JmlLetVarDecl self)
Specified by:
visitJmlLetVarDecl in interface JmlVisitor

visitJmlLockSetExpression

public void visitJmlLockSetExpression(JmlLockSetExpression self)
Specified by:
visitJmlLockSetExpression in interface JmlVisitor

visitJmlLoopInvariant

public void visitJmlLoopInvariant(JmlLoopInvariant self)
Specified by:
visitJmlLoopInvariant in interface JmlVisitor

visitJmlLoopStatement

public void visitJmlLoopStatement(JmlLoopStatement self)
Specified by:
visitJmlLoopStatement in interface JmlVisitor

visitJmlMapsIntoClause

public void visitJmlMapsIntoClause(JmlMapsIntoClause self)
Specified by:
visitJmlMapsIntoClause in interface JmlVisitor

visitJmlMaxExpression

public void visitJmlMaxExpression(JmlMaxExpression self)
Specified by:
visitJmlMaxExpression in interface JmlVisitor

visitJmlMeasuredClause

public void visitJmlMeasuredClause(JmlMeasuredClause self)
Specified by:
visitJmlMeasuredClause in interface JmlVisitor

visitJmlMethodDeclaration

public void visitJmlMethodDeclaration(JmlMethodDeclaration self)
Specified by:
visitJmlMethodDeclaration in interface JmlVisitor

visitJmlMethodName

public void visitJmlMethodName(JmlMethodName self)
Specified by:
visitJmlMethodName in interface JmlVisitor

visitJmlMethodNameList

public void visitJmlMethodNameList(JmlMethodNameList self)
Specified by:
visitJmlMethodNameList in interface JmlVisitor

visitJmlModelProgram

public void visitJmlModelProgram(JmlModelProgram self)
Specified by:
visitJmlModelProgram in interface JmlVisitor

visitJmlMonitorsForVarAssertion

public void visitJmlMonitorsForVarAssertion(JmlMonitorsForVarAssertion self)
Specified by:
visitJmlMonitorsForVarAssertion in interface JmlVisitor

visitJmlName

public void visitJmlName(JmlName self)
Specified by:
visitJmlName in interface JmlVisitor

visitJmlNonNullElementsExpression

public void visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self)
Specified by:
visitJmlNonNullElementsExpression in interface JmlVisitor

visitJmlAssignmentStatement

public void visitJmlAssignmentStatement(JmlAssignmentStatement self)
Specified by:
visitJmlAssignmentStatement in interface JmlVisitor

visitJmlNondetChoiceStatement

public void visitJmlNondetChoiceStatement(JmlNondetChoiceStatement self)
Specified by:
visitJmlNondetChoiceStatement in interface JmlVisitor

visitJmlNondetIfStatement

public void visitJmlNondetIfStatement(JmlNondetIfStatement self)
Specified by:
visitJmlNondetIfStatement in interface JmlVisitor

visitJmlNormalBehaviorSpec

public void visitJmlNormalBehaviorSpec(JmlNormalBehaviorSpec self)
Specified by:
visitJmlNormalBehaviorSpec in interface JmlVisitor

visitJmlNormalExample

public void visitJmlNormalExample(JmlNormalExample self)
Specified by:
visitJmlNormalExample in interface JmlVisitor

visitJmlNormalSpecBody

public void visitJmlNormalSpecBody(JmlNormalSpecBody self)
Specified by:
visitJmlNormalSpecBody in interface JmlVisitor

visitJmlNormalSpecCase

public void visitJmlNormalSpecCase(JmlNormalSpecCase self)
Specified by:
visitJmlNormalSpecCase in interface JmlVisitor

visitJmlNotAssignedExpression

public void visitJmlNotAssignedExpression(JmlNotAssignedExpression self)
Specified by:
visitJmlNotAssignedExpression in interface JmlVisitor

visitJmlNotModifiedExpression

public void visitJmlNotModifiedExpression(JmlNotModifiedExpression self)
Specified by:
visitJmlNotModifiedExpression in interface JmlVisitor

visitJmlOnlyAccessedExpression

public void visitJmlOnlyAccessedExpression(JmlOnlyAccessedExpression self)
Specified by:
visitJmlOnlyAccessedExpression in interface JmlVisitor

visitJmlOnlyAssignedExpression

public void visitJmlOnlyAssignedExpression(JmlOnlyAssignedExpression self)
Specified by:
visitJmlOnlyAssignedExpression in interface JmlVisitor

visitJmlOnlyCalledExpression

public void visitJmlOnlyCalledExpression(JmlOnlyCalledExpression self)
Specified by:
visitJmlOnlyCalledExpression in interface JmlVisitor

visitJmlOnlyCapturedExpression

public void visitJmlOnlyCapturedExpression(JmlOnlyCapturedExpression self)
Specified by:
visitJmlOnlyCapturedExpression in interface JmlVisitor

visitJmlOldExpression

public void visitJmlOldExpression(JmlOldExpression self)
Specified by:
visitJmlOldExpression in interface JmlVisitor

visitJmlPackageImport

public void visitJmlPackageImport(JmlPackageImport self)
Specified by:
visitJmlPackageImport in interface JmlVisitor

visitJmlPredicate

public void visitJmlPredicate(JmlPredicate self)
Specified by:
visitJmlPredicate in interface JmlVisitor

visitJmlPredicateKeyword

public void visitJmlPredicateKeyword(JmlPredicateKeyword self)
Specified by:
visitJmlPredicateKeyword in interface JmlVisitor

visitJmlPreExpression

public void visitJmlPreExpression(JmlPreExpression self)
Specified by:
visitJmlPreExpression in interface JmlVisitor

visitJmlReachExpression

public void visitJmlReachExpression(JmlReachExpression self)
Specified by:
visitJmlReachExpression in interface JmlVisitor

visitJmlReadableIfVarAssertion

public void visitJmlReadableIfVarAssertion(JmlReadableIfVarAssertion self)
Specified by:
visitJmlReadableIfVarAssertion in interface JmlVisitor

visitJmlWritableIfVarAssertion

public void visitJmlWritableIfVarAssertion(JmlWritableIfVarAssertion self)
Specified by:
visitJmlWritableIfVarAssertion in interface JmlVisitor

visitJmlRedundantSpec

public void visitJmlRedundantSpec(JmlRedundantSpec self)
Specified by:
visitJmlRedundantSpec in interface JmlVisitor

visitJmlRefinePrefix

public void visitJmlRefinePrefix(JmlRefinePrefix self)
Specified by:
visitJmlRefinePrefix in interface JmlVisitor

visitJmlRelationalExpression

public void visitJmlRelationalExpression(JmlRelationalExpression self)
Specified by:
visitJmlRelationalExpression in interface JmlVisitor

visitJmlRepresentsDecl

public void visitJmlRepresentsDecl(JmlRepresentsDecl self)
Specified by:
visitJmlRepresentsDecl in interface JmlVisitor

visitJmlRequiresClause

public void visitJmlRequiresClause(JmlRequiresClause self)
Specified by:
visitJmlRequiresClause in interface JmlVisitor

visitJmlResultExpression

public void visitJmlResultExpression(JmlResultExpression self)
Specified by:
visitJmlResultExpression in interface JmlVisitor

visitJmlReturnsClause

public void visitJmlReturnsClause(JmlReturnsClause self)
Specified by:
visitJmlReturnsClause in interface JmlVisitor

visitJmlSetComprehension

public void visitJmlSetComprehension(JmlSetComprehension self)
Specified by:
visitJmlSetComprehension in interface JmlVisitor

visitJmlSetStatement

public void visitJmlSetStatement(JmlSetStatement self)
Specified by:
visitJmlSetStatement in interface JmlVisitor

visitJmlSignalsOnlyClause

public void visitJmlSignalsOnlyClause(JmlSignalsOnlyClause self)
Specified by:
visitJmlSignalsOnlyClause in interface JmlVisitor

visitJmlSignalsClause

public void visitJmlSignalsClause(JmlSignalsClause self)
Specified by:
visitJmlSignalsClause in interface JmlVisitor

visitJmlSpaceExpression

public void visitJmlSpaceExpression(JmlSpaceExpression self)
Specified by:
visitJmlSpaceExpression in interface JmlVisitor

visitJmlSpecExpression

public void visitJmlSpecExpression(JmlSpecExpression self)
Specified by:
visitJmlSpecExpression in interface JmlVisitor

visitJmlSpecQuantifiedExpression

public void visitJmlSpecQuantifiedExpression(JmlSpecQuantifiedExpression self)
Specified by:
visitJmlSpecQuantifiedExpression in interface JmlVisitor

visitJmlSpecStatement

public void visitJmlSpecStatement(JmlSpecStatement self)
Specified by:
visitJmlSpecStatement in interface JmlVisitor

visitJmlSpecification

public void visitJmlSpecification(JmlSpecification self)
Specified by:
visitJmlSpecification in interface JmlVisitor

visitJmlStoreRefExpression

public void visitJmlStoreRefExpression(JmlStoreRefExpression self)
Specified by:
visitJmlStoreRefExpression in interface JmlVisitor

visitJmlStoreRefKeyword

public void visitJmlStoreRefKeyword(JmlStoreRefKeyword self)
Specified by:
visitJmlStoreRefKeyword in interface JmlVisitor

visitJmlTypeExpression

public void visitJmlTypeExpression(JmlTypeExpression self)
Specified by:
visitJmlTypeExpression in interface JmlVisitor

visitJmlTypeOfExpression

public void visitJmlTypeOfExpression(JmlTypeOfExpression self)
Specified by:
visitJmlTypeOfExpression in interface JmlVisitor

visitJmlUnreachableStatement

public void visitJmlUnreachableStatement(JmlUnreachableStatement self)
Specified by:
visitJmlUnreachableStatement in interface JmlVisitor

visitJmlVariantFunction

public void visitJmlVariantFunction(JmlVariantFunction self)
Specified by:
visitJmlVariantFunction in interface JmlVisitor

visitJmlVariableDefinition

public void visitJmlVariableDefinition(JmlVariableDefinition self)
Specified by:
visitJmlVariableDefinition in interface JmlVisitor

visitJmlWhenClause

public void visitJmlWhenClause(JmlWhenClause self)
Specified by:
visitJmlWhenClause in interface JmlVisitor

visitJmlWorkingSpaceClause

public void visitJmlWorkingSpaceClause(JmlWorkingSpaceClause self)
Specified by:
visitJmlWorkingSpaceClause in interface JmlVisitor

visitJmlWorkingSpaceExpression

public void visitJmlWorkingSpaceExpression(JmlWorkingSpaceExpression self)
Specified by:
visitJmlWorkingSpaceExpression in interface JmlVisitor

visitJmlDeclaration

public void visitJmlDeclaration(JmlDeclaration self)
Specified by:
visitJmlDeclaration in interface JmlVisitor

visitJmlExpression

public void visitJmlExpression(JmlExpression self)
Specified by:
visitJmlExpression in interface JmlVisitor

visitJmlGeneralSpecCase

public void visitJmlGeneralSpecCase(JmlGeneralSpecCase self)
Specified by:
visitJmlGeneralSpecCase in interface JmlVisitor

visitJmlMethodSpecification

public void visitJmlMethodSpecification(JmlMethodSpecification self)
Specified by:
visitJmlMethodSpecification in interface JmlVisitor

visitJmlNode

public void visitJmlNode(JmlNode self)
Specified by:
visitJmlNode in interface JmlVisitor

visitJmlSpecBody

public void visitJmlSpecBody(JmlSpecBody self)
Specified by:
visitJmlSpecBody in interface JmlVisitor

visitJmlSpecVarDecl

public void visitJmlSpecVarDecl(JmlSpecVarDecl self)
Specified by:
visitJmlSpecVarDecl in interface JmlVisitor

visitJmlStoreRef

public void visitJmlStoreRef(JmlStoreRef self)
Specified by:
visitJmlStoreRef in interface JmlVisitor

visitCompilationUnit

public void visitCompilationUnit(JCompilationUnit self)
Visits the given compilation unit.

Specified by:
visitCompilationUnit in interface MjcVisitor

visitClassDeclaration

public void visitClassDeclaration(JClassDeclaration self)
Visits the given class declaration.

Specified by:
visitClassDeclaration in interface MjcVisitor

visitInterfaceDeclaration

public void visitInterfaceDeclaration(JInterfaceDeclaration self)
Visits the given interface declaration.

Specified by:
visitInterfaceDeclaration in interface MjcVisitor

visitGenericFunctionDecl

public void visitGenericFunctionDecl(MJGenericFunctionDecl self)
Visits the given generic function declaration.

Specified by:
visitGenericFunctionDecl in interface MjcVisitor

visitFieldDeclaration

public void visitFieldDeclaration(JFieldDeclaration self)
Visits the given field declaration.

Specified by:
visitFieldDeclaration in interface MjcVisitor

visitMethodDeclaration

public void visitMethodDeclaration(JMethodDeclaration self)
Visits the given method declaration.

Specified by:
visitMethodDeclaration in interface MjcVisitor

visitInitializerDeclaration

public void visitInitializerDeclaration(JInitializerDeclaration self)
Visits the given initializer declaration.

Specified by:
visitInitializerDeclaration in interface MjcVisitor

visitTopLevelMethodDeclaration

public void visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self)
Visits the given external method declaration.

Specified by:
visitTopLevelMethodDeclaration in interface MjcVisitor

visitConstructorDeclaration

public void visitConstructorDeclaration(JConstructorDeclaration self)
Visits the given constructor declaration.

Specified by:
visitConstructorDeclaration in interface MjcVisitor

visitWhileStatement

public void visitWhileStatement(JWhileStatement self)
Visits the given while statement.

Specified by:
visitWhileStatement in interface MjcVisitor

visitVariableDeclarationStatement

public void visitVariableDeclarationStatement(JVariableDeclarationStatement self)
Visits the given variable declaration statement.

Specified by:
visitVariableDeclarationStatement in interface MjcVisitor

visitVariableDefinition

public void visitVariableDefinition(JVariableDefinition self)
Visits the given variable declaration statement.

Specified by:
visitVariableDefinition in interface MjcVisitor

visitTryCatchStatement

public void visitTryCatchStatement(JTryCatchStatement self)
Visits the given try-catch statement.

Specified by:
visitTryCatchStatement in interface MjcVisitor

visitTryFinallyStatement

public void visitTryFinallyStatement(JTryFinallyStatement self)
Visits the given try-finally statement.

Specified by:
visitTryFinallyStatement in interface MjcVisitor

visitThrowStatement

public void visitThrowStatement(JThrowStatement self)
Visits the given throw statement.

Specified by:
visitThrowStatement in interface MjcVisitor

visitSynchronizedStatement

public void visitSynchronizedStatement(JSynchronizedStatement self)
Visits the given synchronized statement.

Specified by:
visitSynchronizedStatement in interface MjcVisitor

visitSwitchStatement

public void visitSwitchStatement(JSwitchStatement self)
Visits the given switch statement.

Specified by:
visitSwitchStatement in interface MjcVisitor

visitAssertStatement

public void visitAssertStatement(JAssertStatement self)
Visits the given assert statement.

Specified by:
visitAssertStatement in interface MjcVisitor

visitReturnStatement

public void visitReturnStatement(JReturnStatement self)
Visits the given return statement.

Specified by:
visitReturnStatement in interface MjcVisitor

visitLabeledStatement

public void visitLabeledStatement(JLabeledStatement self)
Visits the given labeled statement.

Specified by:
visitLabeledStatement in interface MjcVisitor

visitIfStatement

public void visitIfStatement(JIfStatement self)
Visits the given if statement.

Specified by:
visitIfStatement in interface MjcVisitor

visitForStatement

public void visitForStatement(JForStatement self)
Visits the given for statement.

Specified by:
visitForStatement in interface MjcVisitor

visitCompoundStatement

public void visitCompoundStatement(JCompoundStatement self)
Visits the given compound statement.

Specified by:
visitCompoundStatement in interface MjcVisitor

visitCompoundStatement

public void visitCompoundStatement(JStatement[] body)
Visits the given compound statement.


visitExpressionStatement

public void visitExpressionStatement(JExpressionStatement self)
Visits the given expression statement.

Specified by:
visitExpressionStatement in interface MjcVisitor

visitExpressionListStatement

public void visitExpressionListStatement(JExpressionListStatement self)
Visits the given expression list statement.

Specified by:
visitExpressionListStatement in interface MjcVisitor

visitEmptyStatement

public void visitEmptyStatement(JEmptyStatement self)
Visits the given empty statement.

Specified by:
visitEmptyStatement in interface MjcVisitor

visitDoStatement

public void visitDoStatement(JDoStatement self)
Visits the given do statement.

Specified by:
visitDoStatement in interface MjcVisitor

visitContinueStatement

public void visitContinueStatement(JContinueStatement self)
Visits the given continue statement.

Specified by:
visitContinueStatement in interface MjcVisitor

visitBreakStatement

public void visitBreakStatement(JBreakStatement self)
Visits the given break statement.

Specified by:
visitBreakStatement in interface MjcVisitor

visitBlockStatement

public void visitBlockStatement(JBlock self)
Visits the given block statement.

Specified by:
visitBlockStatement in interface MjcVisitor

visitConstructorBlock

public void visitConstructorBlock(JConstructorBlock self)
Visits the given constructor block.

Specified by:
visitConstructorBlock in interface MjcVisitor

visitClassBlock

public void visitClassBlock(JClassBlock self)
Visits the given class block.

Specified by:
visitClassBlock in interface MjcVisitor

visitTypeDeclarationStatement

public void visitTypeDeclarationStatement(JTypeDeclarationStatement self)
Visits the given type declaration statement.

Specified by:
visitTypeDeclarationStatement in interface MjcVisitor

visitUnaryExpression

public void visitUnaryExpression(JUnaryExpression self)
Visits the given unary expression.

Specified by:
visitUnaryExpression in interface MjcVisitor

visitTypeNameExpression

public void visitTypeNameExpression(JTypeNameExpression self)
Visits the given type name expression.

Specified by:
visitTypeNameExpression in interface MjcVisitor

visitThisExpression

public void visitThisExpression(JThisExpression self)
Visits the given this expression.

Specified by:
visitThisExpression in interface MjcVisitor

visitSuperExpression

public void visitSuperExpression(JSuperExpression self)
Visits the given super expression.

Specified by:
visitSuperExpression in interface MjcVisitor

visitShiftExpression

public void visitShiftExpression(JShiftExpression self)
Visits the given shift expression.

Specified by:
visitShiftExpression in interface MjcVisitor

visitRelationalExpression

public void visitRelationalExpression(JRelationalExpression self)
Visits the given relational expression.

Specified by:
visitRelationalExpression in interface MjcVisitor

visitPrefixExpression

public void visitPrefixExpression(JPrefixExpression self)
Visits the given prefix expression.

Specified by:
visitPrefixExpression in interface MjcVisitor

visitPostfixExpression

public void visitPostfixExpression(JPostfixExpression self)
Visits the given postfix expression.

Specified by:
visitPostfixExpression in interface MjcVisitor

visitParenthesedExpression

public void visitParenthesedExpression(JParenthesedExpression self)
Visits the given parenthesed expression.

Specified by:
visitParenthesedExpression in interface MjcVisitor

visitNewObjectExpression

public void visitNewObjectExpression(JNewObjectExpression self)
Visits the given object allocator expression.

Specified by:
visitNewObjectExpression in interface MjcVisitor

visitNewAnonymousClassExpression

public void visitNewAnonymousClassExpression(JNewAnonymousClassExpression self)
Visits the given object allocator expression for an anonymous class.

Specified by:
visitNewAnonymousClassExpression in interface MjcVisitor

visitNewArrayExpression

public void visitNewArrayExpression(JNewArrayExpression self)
Visits the given array allocator expression.

Specified by:
visitNewArrayExpression in interface MjcVisitor

visitNameExpression

public void visitNameExpression(JNameExpression self)
Visits the given name expression.

Specified by:
visitNameExpression in interface MjcVisitor

visitBinaryExpression

protected void visitBinaryExpression(JBinaryExpression self,
                                     String oper)
Visits the given binary expression with the given operator.


visitAddExpression

public void visitAddExpression(JAddExpression self)
Visits the given add expression.

Specified by:
visitAddExpression in interface MjcVisitor

visitConditionalAndExpression

public void visitConditionalAndExpression(JConditionalAndExpression self)
Visits the given boolean AND expression.

Specified by:
visitConditionalAndExpression in interface MjcVisitor

visitConditionalOrExpression

public void visitConditionalOrExpression(JConditionalOrExpression self)
Visits the given boolean OR expression.

Specified by:
visitConditionalOrExpression in interface MjcVisitor

visitDivideExpression

public void visitDivideExpression(JDivideExpression self)
Visits the given divide expression.

Specified by:
visitDivideExpression in interface MjcVisitor

visitMinusExpression

public void visitMinusExpression(JMinusExpression self)
Visits the given minus expression.

Specified by:
visitMinusExpression in interface MjcVisitor

visitModuloExpression

public void visitModuloExpression(JModuloExpression self)
Visits the given modulo division expression.

Specified by:
visitModuloExpression in interface MjcVisitor

visitMultExpression

public void visitMultExpression(JMultExpression self)
Visits the given multiplication expression.

Specified by:
visitMultExpression in interface MjcVisitor

visitMethodCallExpression

public void visitMethodCallExpression(JMethodCallExpression self)
Visits the given method call expression.

Specified by:
visitMethodCallExpression in interface MjcVisitor

visitLocalVariableExpression

public void visitLocalVariableExpression(JLocalVariableExpression self)
Visits the given local variable expression.

Specified by:
visitLocalVariableExpression in interface MjcVisitor

visitInstanceofExpression

public void visitInstanceofExpression(JInstanceofExpression self)
Visits the given instanceof expression.

Specified by:
visitInstanceofExpression in interface MjcVisitor

visitEqualityExpression

public void visitEqualityExpression(JEqualityExpression self)
Visits the given equality expression.

Specified by:
visitEqualityExpression in interface MjcVisitor

visitConditionalExpression

public void visitConditionalExpression(JConditionalExpression self)
Visits the given conditional expression.

Specified by:
visitConditionalExpression in interface MjcVisitor

visitCompoundAssignmentExpression

public void visitCompoundAssignmentExpression(JCompoundAssignmentExpression self)
Visits the given compound expression.

Specified by:
visitCompoundAssignmentExpression in interface MjcVisitor

visitFieldExpression

public void visitFieldExpression(JClassFieldExpression self)
Visits the given field expression.

Specified by:
visitFieldExpression in interface MjcVisitor

visitClassExpression

public void visitClassExpression(JClassExpression self)
Visits the given class expression.

Specified by:
visitClassExpression in interface MjcVisitor

visitCastExpression

public void visitCastExpression(JCastExpression self)
Visits the given cast expression.

Specified by:
visitCastExpression in interface MjcVisitor

visitUnaryPromoteExpression

public void visitUnaryPromoteExpression(JUnaryPromote self)
Visits the given unary promotion expression.

Specified by:
visitUnaryPromoteExpression in interface MjcVisitor

visitBitwiseExpression

public void visitBitwiseExpression(JBitwiseExpression self)
Visits the given bitwise expression.

Specified by:
visitBitwiseExpression in interface MjcVisitor

visitAssignmentExpression

public void visitAssignmentExpression(JAssignmentExpression self)
Visits the given assignment expression.

Specified by:
visitAssignmentExpression in interface MjcVisitor

visitArrayLengthExpression

public void visitArrayLengthExpression(JArrayLengthExpression self)
Visits the given array length expression.

Specified by:
visitArrayLengthExpression in interface MjcVisitor

visitArrayAccessExpression

public void visitArrayAccessExpression(JArrayAccessExpression self)
Visits the given array access expression.

Specified by:
visitArrayAccessExpression in interface MjcVisitor

visitWarnExpression

public void visitWarnExpression(MJWarnExpression self)
Visits the given warn expression.

Specified by:
visitWarnExpression in interface MjcVisitor

visitMathModeExpression

public void visitMathModeExpression(MJMathModeExpression self)
Visits the given math mode expression.

Specified by:
visitMathModeExpression in interface MjcVisitor

visitSwitchLabel

public void visitSwitchLabel(JSwitchLabel self)
Description copied from interface: MjcVisitor
visits a switch label

Specified by:
visitSwitchLabel in interface MjcVisitor

visitSwitchGroup

public void visitSwitchGroup(JSwitchGroup self)
Visits the given switch group.

Specified by:
visitSwitchGroup in interface MjcVisitor

visitCatchClause

public void visitCatchClause(JCatchClause self)
Visits the given catch clause.

Specified by:
visitCatchClause in interface MjcVisitor

visitBooleanLiteral

public void visitBooleanLiteral(JBooleanLiteral self)
Visits the given boolean literal.

Specified by:
visitBooleanLiteral in interface MjcVisitor

visitCharLiteral

public void visitCharLiteral(JCharLiteral self)
Visits the given character literal.

Specified by:
visitCharLiteral in interface MjcVisitor

visitOrdinalLiteral

public void visitOrdinalLiteral(JOrdinalLiteral self)
Visits the given ordinal literal.

Specified by:
visitOrdinalLiteral in interface MjcVisitor

visitByteLiteral

protected void visitByteLiteral(byte value)
Visits the given byte literal.


visitIntLiteral

protected void visitIntLiteral(int value)
Visits the given int literal.


visitLongLiteral

protected void visitLongLiteral(long value)
Visits the given long literal.


visitShortLiteral

protected void visitShortLiteral(short value)
Visits the given short literal.


visitRealLiteral

public void visitRealLiteral(JRealLiteral self)
Visits the given real literal.

Specified by:
visitRealLiteral in interface MjcVisitor

visitDoubleLiteral

protected void visitDoubleLiteral(double value)
Visits the given double literal.


visitFloatLiteral

protected void visitFloatLiteral(float value)
Visits the given float literal.


visitStringLiteral

public void visitStringLiteral(JStringLiteral self)
Visits the given string literal.

Specified by:
visitStringLiteral in interface MjcVisitor

visitNullLiteral

public void visitNullLiteral(JNullLiteral self)
Visits the given null literal.

Specified by:
visitNullLiteral in interface MjcVisitor

visitPackageName

public void visitPackageName(JPackageName self)
Visits the given package name statement.

Specified by:
visitPackageName in interface MjcVisitor

visitPackageImport

public void visitPackageImport(JPackageImport self)
Visits the given package import statement.

Specified by:
visitPackageImport in interface MjcVisitor

visitClassOrGFImport

public void visitClassOrGFImport(JClassOrGFImport self)
Visits the given class import statement.

Specified by:
visitClassOrGFImport in interface MjcVisitor

visitFormalParameters

public void visitFormalParameters(JFormalParameter self)
Visits the given formal parameters.

Specified by:
visitFormalParameters in interface MjcVisitor

visitExplicitConstructorInvocation

public void visitExplicitConstructorInvocation(JExplicitConstructorInvocation self)
Visits the given explicit constructor invocation.

Specified by:
visitExplicitConstructorInvocation in interface MjcVisitor

visitArrayInitializer

public void visitArrayInitializer(JArrayInitializer self)
Visits the given array initializer.

Specified by:
visitArrayInitializer in interface MjcVisitor

visitArrayDimsAndInit

public void visitArrayDimsAndInit(JArrayDimsAndInits self)
Visits the given array dimension and initialization expression.

Specified by:
visitArrayDimsAndInit in interface MjcVisitor

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.