Uses of Interface org.multijava.mjc.MjcVisitor (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV NEXT

FRAMES NO FRAMES

Uses of Interface
org.multijava.mjc.MjcVisitor

Packages that use MjcVisitor
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.jmlspecs.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of MjcVisitor in org.jmlspecs.checker

Subinterfaces of MjcVisitor in org.jmlspecs.checker
`interface`	`JmlVisitor` Implementation of Visitor Design Pattern for KJC.

Classes in org.jmlspecs.checker that implement MjcVisitor
`class`	`JmlAbstractVisitor` An abstract JML visitor class to facilitate writing concrete visitor classes that implements the interface JmlVisitor.
`class`	`JmlAccumSubclassingInfo`
`class`	`JmlAdmissibilityVisitor` A visitor class to check admissibility of JML invariants and represents clauses.
`(package private) class`	`JmlClassicalAdmissibilityVisitor`
`class`	`JmlExpressionChecker` A visitor class to check privacy (and purity) of JML expressions.
`(package private) class`	`JmlOwnershipAdmissibilityVisitor`
`class`	`JmlVisitorNI` Implementation of Visitor Design Pattern for KJC.

Methods in org.jmlspecs.checker with parameters of type MjcVisitor
`void`	`JmlNode.accept(MjcVisitor p)` Throws an UnsupportedOperationException since an MjcVisitor cannot be used to visit a JML AST.
`void`	`JmlDeclaration.accept(MjcVisitor m)`
`void`	`JmlFormalParameter.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlInvariant.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlConstraint.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlRepresentsDecl.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlAxiom.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSpecBody.accept(MjcVisitor m)`
`void`	`JmlAbruptSpecBody.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlGeneralSpecCase.accept(MjcVisitor m)`
`void`	`JmlAbruptSpecCase.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSpecVarDecl.accept(MjcVisitor m)`
`abstract void`	`JmlPredicateClause.accept(MjcVisitor m)`
`void`	`JmlRequiresClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlAccessibleClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlAssertStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlAssignableClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlAssumeStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`abstract void`	`JmlHeavyweightSpec.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlBehaviorSpec.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlBreaksClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlCallableClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlCapturesClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlClassBlock.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlMemberDeclaration.genComments(MjcVisitor p)` Generate the code in pure java form It is useful to debug and tune compilation process
`void`	`JmlMemberDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JmlClassDeclaration.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlClassOrGFImport.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JmlCompilationUnit.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlCompilationUnit.acceptDelegee(MjcVisitor p)`
`void`	`JmlCodeContract.accept(MjcVisitor m)`
`void`	`JmlMethodDeclaration.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlMethodDeclaration.acceptDelegee(MjcVisitor p)`
`void`	`JmlConstructorDeclaration.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlConstructorDeclaration.acceptDelegee(MjcVisitor p)`
`void`	`JmlMethodName.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlConstructorName.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlContinuesClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlDebugStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlDivergesClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlDurationClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlExpression.accept(MjcVisitor p)`
`void`	`JmlDurationExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlElemTypeExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlEnsuresClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlExample.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlExceptionalBehaviorSpec.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlExceptionalExample.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlExceptionalSpecBody.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlExceptionalSpecCase.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlMethodSpecification.accept(MjcVisitor m)`
`void`	`JmlSpecification.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlExtendingSpecification.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlFieldDeclaration.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlForAllVarDecl.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlFreshExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlGenericSpecBody.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlGenericSpecCase.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlGuardedStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlHenceByStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlInGroupClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlInformalExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlStoreRef.accept(MjcVisitor m)`
`void`	`JmlInformalStoreRef.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlInitiallyVarAssertion.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlInterfaceDeclaration.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlInvariantForExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlInvariantStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlIsInitializedExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlLabelExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlLetVarDecl.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlLockSetExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlLoopInvariant.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlLoopStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlMapsIntoClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlMaxExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlMeasuredClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlMethodNameList.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlModelProgram.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlMonitorsForVarAssertion.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlName.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNonNullElementsExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlAssignmentStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNondetChoiceStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNondetIfStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNormalBehaviorSpec.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNormalExample.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNormalSpecBody.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNormalSpecCase.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNotAssignedExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlNotModifiedExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlOnlyAccessedExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlOnlyAssignedExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlOnlyCalledExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlOnlyCapturedExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlOldExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlPackageImport.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JmlPredicate.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlPredicateKeyword.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlPreExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlReachExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlReadableIfVarAssertion.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlWritableIfVarAssertion.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlRedundantSpec.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlRefinePrefix.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlRelationalExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlResultExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlReturnsClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSetComprehension.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSetStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSignalsOnlyClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSignalsClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSpaceExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSpecExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSpecQuantifiedExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlSpecStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlStoreRefExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlStoreRefKeyword.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlTypeExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlTypeOfExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlUnreachableStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlVariantFunction.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlVariableDefinition.accept(MjcVisitor m)`
`void`	`JmlWhenClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlWorkingSpaceClause.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlWorkingSpaceExpression.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`JmlBinaryMember.genComments(MjcVisitor p)` Generate the code in pure java form It is useful to debug and tune compilation process
`void`	`JmlBinaryMember.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JmlEqualityExpression.accept(MjcVisitor p)` Accepts the specified visitor

Uses of MjcVisitor in org.jmlspecs.jmldoc.jmldoc_142

Classes in org.jmlspecs.jmldoc.jmldoc_142 that implement MjcVisitor
`class`	`SpecWriter` This class is a Visitor class that generates appropriate portions of the javadoc documentation by walking the parse tree.

Uses of MjcVisitor in org.jmlspecs.jmlrac

Subinterfaces of MjcVisitor in org.jmlspecs.jmlrac
`interface`	`RacVisitor` An implementation of the Visitor Design Pattern [GoF94] for the JML runtime assertion checker.

Classes in org.jmlspecs.jmlrac that implement MjcVisitor
`class`	`AbstractExpressionTranslator` This class is intended to be a common base class for both TransExpression and TransExpression2.
`(package private) class`	`AssertionMethod.AssertionMethod$1`
`class`	`DesugarSpec` A JML visitor class for desugaring method specifications.
`class`	`JmlRacGenerator` A class implementing the JML Runtime Assertion Checker (RAC).
`class`	`RacAbstractVisitor` A default implementation for the RacVisitor interface.
`class`	`RacPrettyPrinter` A visitor class for pretty-printing JML specifications with generated RAC code.
`class`	`TransConstructorBody` A visitor class for translating JML specification statements in a constrcutor body into assertion check code.
`class`	`TransExpression` A RAC visitor class to translate JML expressions into Java source code.
`class`	`TransExpression2` A RAC visitor class to translate JML expressions into Java source code.
`class`	`TransExpressionSideEffect` A special expression translator that allows translation of expressions with side-effects.
`protected static class`	`TransMethod.SpecCaseCollector` A class for collecting all specification cases from a desugared method specification.
`class`	`TransMethodBody` A visitor class for translating JML specification statements in a method body into assertion check code.
`class`	`TransOldExpression` A RAC visitor class for transforming JML old expressions into Java code.
`class`	`TransPostcondition` A RAC visitor class for transforming JML postconditions into Java source code.
`private class`	`TransPostcondition.QVarChecker` A class to check whether an expression has any references to quantified variables.
`class`	`TransPostExpression2` A RAC visitor class to translate JML expressions into Java source code.
`private class`	`TransPostExpression2.QVarChecker` A class to check whether an expression has any references to quantified variables.
`class`	`TransPredicate` A RAC visitor class for transforming JML predicates into Java code.

Methods in org.jmlspecs.jmlrac with parameters of type MjcVisitor
`abstract void`	`RacNode.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`RacPredicate.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`RacParser.RacMethodDeclaration.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`RacParser.RacStatement.accept(MjcVisitor p)` Accepts the specified visitor.
`void`	`RacParser.RacBlock.accept(MjcVisitor p)` Accepts the specified visitor.

Uses of MjcVisitor in org.jmlspecs.jmlrac.qexpr

Classes in org.jmlspecs.jmlrac.qexpr that implement MjcVisitor
`class`	`AbstractExpressionVisitor` An abstract visitor class that visits all subexpressions of a given expression recursively.
`private static class`	`QInterval.CheckRecursion` A class to check an appearance of local variables in an expression.

Uses of MjcVisitor in org.jmlspecs.jmlspec

Classes in org.jmlspecs.jmlspec that implement MjcVisitor
`class`	`JspPrettyPrinter` This class overrides some of the pretty-printer methods to produce a specification skeleton for the class AST begin walked.

Uses of MjcVisitor in org.jmlspecs.racwrap

Classes in org.jmlspecs.racwrap that implement MjcVisitor
`(package private) class`	`OrigPrettyPrinter`
`class`	`WrapperPrettyPrinter` WrapperPrettyPrinter prints the wrapper.

Uses of MjcVisitor in org.multijava.mjc

Classes in org.multijava.mjc that implement MjcVisitor
`class`	`MjcPrettyPrinter` This class implements a Java pretty printer

Methods in org.multijava.mjc with parameters of type MjcVisitor
`abstract void`	`JMemberDeclarationType.accept(MjcVisitor p)` Accepts the specified visitor
`abstract void`	`JMemberDeclarationType.genComments(MjcVisitor p)` Generate the code in pure java form It is useful to debug and tune compilation process
`abstract void`	`CompilerPassEnterable.accept(MjcVisitor p)`
`abstract void`	`JPhylum.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JCompilationUnit.accept(MjcVisitor p)` Accepts the specified visitor
`abstract void`	`JCompilationUnitType.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JFormalParameter.accept(MjcVisitor p)` Accepts the specified visitor
`abstract void`	`JExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JMethodCallExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JGeneratedLocalVariable.accept(MjcVisitor p)` Accepts the specified visitor
`abstract void`	`JMemberDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JMemberDeclaration.genComments(MjcVisitor p)` Generate the code in pure java form It is useful to debug and tune compilation process
`void`	`JMethodDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JThisExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JLocalVariableExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JClassDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JBlock.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JConstructorBlock.accept(MjcVisitor v)`
`void`	`JConstructorDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JFieldDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JVariableDefinition.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JInterfaceDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JInitializerDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JClassBlock.accept(MjcVisitor p)`
`abstract void`	`JClassOrGFImportType.accept(MjcVisitor p)` Accepts the specified visitor
`abstract void`	`JPackageImportType.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JRelationalExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`MJGenericFunctionDecl.accept(MjcVisitor v)` Accepts the specified visitor
`void`	`MJTopLevelMethodDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`abstract void`	`MJTopLevelDeclaration.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JWhileStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JVariableDeclarationStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JTryCatchStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JTryFinallyStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JThrowStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JSynchronizedStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JSwitchStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JAssertStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JReturnStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JLabeledStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JIfStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JForStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JCompoundStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JExpressionStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JExpressionListStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JEmptyStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JDoStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JContinueStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JBreakStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JTypeDeclarationStatement.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JUnaryExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JTypeNameExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JSuperExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JShiftExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JPrefixExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JPostfixExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JParenthesedExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JNewObjectExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JNewAnonymousClassExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JNewArrayExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JNameExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JAddExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JConditionalAndExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JConditionalOrExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JDivideExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JMinusExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JModuloExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JMultExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JInstanceofExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JEqualityExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JConditionalExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JAssignmentExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JCompoundAssignmentExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JClassFieldExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JClassExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JCastExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JUnaryPromote.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JBitwiseExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JArrayLengthExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JArrayAccessExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`MJWarnExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`MJMathModeExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JSwitchLabel.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JSwitchGroup.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JCatchClause.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JBooleanLiteral.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JOrdinalLiteral.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JCharLiteral.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JRealLiteral.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JStringLiteral.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JNullLiteral.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JPackageName.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JPackageImport.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JClassOrGFImport.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JExplicitConstructorInvocation.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JArrayInitializer.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JArrayDimsAndInits.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JCheckedExpression.accept(MjcVisitor p)` Accepts the specified visitor
`void`	`JClassFieldDeclarator.accept(MjcVisitor p)` Accepts the specified visitor

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV NEXT

FRAMES NO FRAMES

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.

Uses of Interfaceorg.multijava.mjc.MjcVisitor

Uses of Interface
org.multijava.mjc.MjcVisitor