Uses of Class org.eclipse.jdt.internal.compiler.lookup.BlockScope

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Class
org.eclipse.jdt.internal.compiler.lookup.BlockScope

Packages that use BlockScope
org.eclipse.jdt.internal.codeassist
org.eclipse.jdt.internal.codeassist.complete
org.eclipse.jdt.internal.codeassist.select
org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.codegen
org.eclipse.jdt.internal.compiler.flow
org.eclipse.jdt.internal.compiler.lookup
org.eclipse.jdt.internal.core.search.matching
org.eclipse.jdt.internal.eval
org.eclipse.jdt.internal.formatter
org.jmlspecs.eclipse.jdt.internal.esc2
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.phases
org.jmlspecs.jml4.nonnull
org.jmlspecs.jml4.rac
org.jmlspecs.jml4.util

Uses of BlockScope in org.eclipse.jdt.internal.codeassist

Methods in org.eclipse.jdt.internal.codeassist with parameters of type BlockScope
`void`	`ThrownExceptionFinder.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`UnresolvedReferenceNameFinder.endVisit(Argument argument, BlockScope blockScope)`
`void`	`UnresolvedReferenceNameFinder.endVisit(Block block, BlockScope blockScope)`
`void`	`UnresolvedReferenceNameFinder.endVisit(LocalDeclaration localDeclaration, BlockScope blockScope)`
`void`	`ThrownExceptionFinder.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`ThrownExceptionFinder.endVisit(ThrowStatement throwStatement, BlockScope scope)`
`void`	`UnresolvedReferenceNameFinder.endVisit(TypeDeclaration typeDeclaration, BlockScope blockScope)`
`ReferenceBinding[]`	`ThrownExceptionFinder.find(TryStatement tryStatement, BlockScope scope)`
`boolean`	`UnresolvedReferenceNameFinder.visit(Block block, BlockScope blockScope)`
`boolean`	`ThrownExceptionFinder.visit(TryStatement tryStatement, BlockScope scope)`
`boolean`	`UnresolvedReferenceNameFinder.visit(TypeDeclaration localTypeDeclaration, BlockScope blockScope)`
`boolean`	`ThrownExceptionFinder.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`

Uses of BlockScope in org.eclipse.jdt.internal.codeassist.complete

Methods in org.eclipse.jdt.internal.codeassist.complete with parameters of type BlockScope
`FlowInfo`	`CompletionOnBrankStatementLabel.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`void`	`CompletionNodeDetector.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ArrayInitializer arrayInitializer, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ArrayReference arrayReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(Assignment assignment, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(CastExpression castExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(FieldReference fieldReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(MemberValuePair pair, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(SuperReference superReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(ThisReference thisReference, BlockScope scope)`
`void`	`CompletionNodeDetector.endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`TypeBinding`	`CompletionOnJavadocTypeParamReference.reportError(BlockScope scope)`
`TypeBinding`	`CompletionOnJavadocParamNameReference.reportError(BlockScope scope)`
`void`	`CompletionOnLocalName.resolve(BlockScope scope)`
`void`	`CompletionOnExplicitConstructorCall.resolve(BlockScope scope)`
`void`	`CompletionOnBrankStatementLabel.resolve(BlockScope scope)`
`void`	`CompletionOnArgumentName.resolve(BlockScope scope)`
`TypeBinding`	`CompletionOnStringLiteral.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnSingleNameReference.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnQualifiedNameReference.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnQualifiedAllocationExpression.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnMessageSendName.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnMessageSend.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnMemberAccess.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnMarkerAnnotationName.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnKeyword3.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnClassLiteralAccess.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnAnnotationMemberValuePair.resolveType(BlockScope scope)`
`TypeBinding`	`CompletionOnParameterizedQualifiedTypeReference.resolveType(BlockScope scope, boolean checkBounds)`
`TypeBinding`	`CompletionOnSingleTypeReference.resolveTypeEnclosing(BlockScope scope, ReferenceBinding enclosingType)`
`boolean`	`CompletionNodeDetector.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ArrayInitializer arrayInitializer, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(Assignment assignment, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(CastExpression castExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(StringLiteral stringLiteral, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(SuperReference superReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`CompletionNodeDetector.visit(UnaryExpression unaryExpression, BlockScope scope)`

Uses of BlockScope in org.eclipse.jdt.internal.codeassist.select

Methods in org.eclipse.jdt.internal.codeassist.select with parameters of type BlockScope
`void`	`SelectionOnLocalName.resolve(BlockScope scope)`
`void`	`SelectionOnExplicitConstructorCall.resolve(BlockScope scope)`
`void`	`SelectionOnArgumentName.resolve(BlockScope scope)`
`TypeBinding`	`SelectionOnSuperReference.resolveType(BlockScope scope)`
`TypeBinding`	`SelectionOnSingleNameReference.resolveType(BlockScope scope)`
`TypeBinding`	`SelectionOnQualifiedSuperReference.resolveType(BlockScope scope)`
`TypeBinding`	`SelectionOnQualifiedNameReference.resolveType(BlockScope scope)`
`TypeBinding`	`SelectionOnQualifiedAllocationExpression.resolveType(BlockScope scope)`
`TypeBinding`	`SelectionOnMessageSend.resolveType(BlockScope scope)`
`TypeBinding`	`SelectionOnFieldReference.resolveType(BlockScope scope)`
`TypeBinding`	`SelectionOnParameterizedSingleTypeReference.resolveType(BlockScope scope, boolean checkBounds)`
`TypeBinding`	`SelectionOnParameterizedQualifiedTypeReference.resolveType(BlockScope scope, boolean checkBounds)`
`TypeBinding`	`SelectionOnSingleTypeReference.resolveTypeEnclosing(BlockScope scope, ReferenceBinding enclosingType)`
`void`	`SelectionOnNameOfMemberValuePair.resolveTypeExpecting(BlockScope scope, TypeBinding requiredType)`

Uses of BlockScope in org.eclipse.jdt.internal.compiler

Methods in org.eclipse.jdt.internal.compiler with parameters of type BlockScope
`void`	`ASTVisitor.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(Argument argument, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ArrayInitializer arrayInitializer, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ArrayReference arrayReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(AssertStatement assertStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(Assignment assignment, BlockScope scope)`
`void`	`ASTVisitor.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(Block block, BlockScope scope)`
`void`	`ASTVisitor.endVisit(BreakStatement breakStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(CaseStatement caseStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(CastExpression castExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(CharLiteral charLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ClassLiteralAccess classLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ContinueStatement continueStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(DoubleLiteral doubleLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(EmptyStatement emptyStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(FieldReference fieldReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(FloatLiteral floatLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocAllocationExpression expression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocArgumentExpression expression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocArrayQualifiedTypeReference typeRef, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocArraySingleTypeReference typeRef, BlockScope scope)`
`void`	`ASTVisitor.endVisit(Javadoc javadoc, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocFieldReference fieldRef, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocImplicitTypeReference implicitTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocMessageSend messageSend, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocQualifiedTypeReference typeRef, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocReturnStatement statement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocSingleNameReference argument, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JavadocSingleTypeReference typeRef, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlArrayReference arrayReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlAssertStatement assertStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlAssumeStatement assertStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlBooleanQuantifier jmlBooleanQuantifier, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlCastExpression castExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlDoStatement jmlDoStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlElemtypeExpression jmlElemtypeExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlExplicitConstructorCall jmlExplicitConstructorCall, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlFieldReference fieldReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlForeachStatement jmlforStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlForStatement jmlForStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlFreshExpression jmlFreshExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlGroupName jmlGroupName, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlMapsIntoClause jmlMapsIntoClause, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlMessageSend messageSend, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlModifier jmlModifier, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlName jmlName, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlNumericQuantifier jmlNumericQuantifier, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlQuantifiedExpression expr, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlRequiresClause requiresClause, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlReturnStatement returnStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSetComprehension jmlSetComprehension, BlockScope scope)`
`boolean`	`ASTVisitor.endVisit(JmlSetStatement setStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSpecCaseHeader jmlSpecCaseHeader, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlStoreRefExpression jmlStoreRefExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlSubtypeExpression jmlSubtypeExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlTypeExpression expression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlTypeofExpression jmlTypeofExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(JmlWildcard wildcard, BlockScope scope)`
`void`	`ASTVisitor.endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`ASTVisitor.endVisit(LongLiteral longLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(MarkerAnnotation annotation, BlockScope scope)`
`void`	`ASTVisitor.endVisit(MemberValuePair pair, BlockScope scope)`
`void`	`ASTVisitor.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`ASTVisitor.endVisit(NormalAnnotation annotation, BlockScope scope)`
`void`	`ASTVisitor.endVisit(NullLiteral nullLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(SingleMemberAnnotation annotation, BlockScope scope)`
`void`	`ASTVisitor.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(StringLiteral stringLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(StringLiteralConcatenation literal, BlockScope scope)`
`void`	`ASTVisitor.endVisit(SuperReference superReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(SwitchStatement switchStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ThisReference thisReference, BlockScope scope)`
`void`	`ASTVisitor.endVisit(ThrowStatement throwStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`void`	`ASTVisitor.endVisit(TryStatement tryStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`void`	`ASTVisitor.endVisit(TypeParameter typeParameter, BlockScope scope)`
`void`	`ASTVisitor.endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`void`	`ASTVisitor.endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`ASTVisitor.endVisit(Wildcard wildcard, BlockScope scope)`
`boolean`	`ASTVisitor.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(Argument argument, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ArrayInitializer arrayInitializer, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(AssertStatement assertStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(Assignment assignment, BlockScope scope)`
`boolean`	`ASTVisitor.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(Block block, BlockScope scope)`
`boolean`	`ASTVisitor.visit(BreakStatement breakStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(CaseStatement caseStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(CastExpression castExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(CharLiteral charLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ClassLiteralAccess classLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ContinueStatement continueStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(DoubleLiteral doubleLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(EmptyStatement emptyStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(FloatLiteral floatLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocAllocationExpression expression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocArgumentExpression expression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocArrayQualifiedTypeReference typeRef, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocArraySingleTypeReference typeRef, BlockScope scope)`
`boolean`	`ASTVisitor.visit(Javadoc javadoc, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocFieldReference fieldRef, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocImplicitTypeReference implicitTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocMessageSend messageSend, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocQualifiedTypeReference typeRef, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocReturnStatement statement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocSingleNameReference argument, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JavadocSingleTypeReference typeRef, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlArrayReference arrayReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlAssertStatement assertStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlAssumeStatement assertStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlBooleanQuantifier jmlBooleanQuantifier, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlCastExpression castExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlDoStatement jmlDoStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlElemtypeExpression jmlElemtypeExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlExplicitConstructorCall jmlExplicitConstructorCall, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlFieldReference fieldReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlForeachStatement jmlForeachStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlForStatement jmlForStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlFreshExpression jmlFreshExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlGroupName jmlGroupName, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlMapsIntoClause jmlMapsIntoClause, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlMessageSend messageSend, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlModifier jmlModifier, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlName jmlName, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlNumericQuantifier jmlNumericQuantifier, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlQuantifiedExpression expr, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlRequiresClause requiresClause, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlReturnStatement returnStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSetComprehension jmlSetComprehension, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSetStatement setStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSpecCaseHeader jmlSpecCaseHeader, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlStoreRefExpression jmlStoreRefExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlSubtypeExpression jmlSubtypeExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlTypeExpression expression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlTypeofExpression jmlTypeofExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(JmlWildcard wildcard, BlockScope scope)`
`boolean`	`ASTVisitor.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`ASTVisitor.visit(LongLiteral longLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`ASTVisitor.visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`ASTVisitor.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`ASTVisitor.visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`ASTVisitor.visit(NullLiteral nullLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`ASTVisitor.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(StringLiteral stringLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(StringLiteralConcatenation literal, BlockScope scope)`
`boolean`	`ASTVisitor.visit(SuperReference superReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(SwitchStatement switchStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`ASTVisitor.visit(ThrowStatement throwStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`ASTVisitor.visit(TryStatement tryStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`SourceElementNotifier.LocalDeclarationVisitor.visit(TypeDeclaration typeDeclaration, BlockScope scope)`
`boolean`	`ASTVisitor.visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`ASTVisitor.visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`ASTVisitor.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`ASTVisitor.visit(Wildcard wildcard, BlockScope scope)`

Uses of BlockScope in org.eclipse.jdt.internal.compiler.ast

Fields in org.eclipse.jdt.internal.compiler.ast declared as BlockScope
`BlockScope`	`SynchronizedStatement.scope`
`BlockScope`	`SwitchStatement.scope`
`BlockScope`	`ForStatement.scope`
`BlockScope`	`ForeachStatement.scope`
`BlockScope`	`Block.scope`

Methods in org.eclipse.jdt.internal.compiler.ast with parameters of type BlockScope
`FlowInfo`	`ThisReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)`
`FlowInfo`	`SingleNameReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)`
`abstract FlowInfo`	`Reference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)`
`FlowInfo`	`QualifiedNameReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)`
`FlowInfo`	`FieldReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)`
`FlowInfo`	`ArrayReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean compoundAssignment)`
`FlowInfo`	`WhileStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`UnaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`TypeReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`TypeDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)` Flow analysis for a local innertype
`FlowInfo`	`TryStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ThrowStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`SynchronizedStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`SwitchStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`abstract FlowInfo`	`Statement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`SingleNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ReturnStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`Reference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`QualifiedThisReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`QualifiedNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`QualifiedAllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`OR_OR_Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`MessageSend.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`LocalDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`Literal.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`LabeledStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`InstanceOfExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`IfStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ForStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ForeachStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`FieldReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ExplicitConstructorCall.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`EqualExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`EmptyStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`DoStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ContinueStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ConditionalExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`CompoundAssignment.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`CombinedBinaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ClassLiteralAccess.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`CastExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`CaseStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`BreakStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`Block.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`BinaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`Assignment.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`AssertStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ArrayReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ArrayInitializer.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`ArrayAllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`AND_AND_Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`AllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`AbstractVariableDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`SingleNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)`
`FlowInfo`	`QualifiedThisReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)`
`FlowInfo`	`QualifiedNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)`
`FlowInfo`	`FieldReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)`
`FlowInfo`	`Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)` More sophisticated for of the flow analysis used for analyzing expressions, and be able to optimize out portions of expressions where no actual value is required.
`void`	`AllocationExpression.checkCapturedLocalInitializationIfNecessary(ReferenceBinding checkedType, BlockScope currentScope, FlowInfo flowInfo)`
`TypeBinding`	`SingleNameReference.checkFieldAccess(BlockScope scope)`
`TypeBinding`	`QualifiedNameReference.checkFieldAccess(BlockScope scope)` Check and/or redirect the field access to the delegate receiver if any
`static void`	`ASTNode.checkInvocationArguments(BlockScope scope, Expression receiver, TypeBinding receiverType, MethodBinding method, Expression[] arguments, TypeBinding[] argumentTypes, boolean argsContainCast, InvocationSite invocationSite)`
`static void`	`CastExpression.checkNeedForArgumentCast(BlockScope scope, int operator, int operatorSignature, Expression expression, int expressionTypeId)` Only complain for identity cast, since other type of casts may be useful: e.g.
`static void`	`CastExpression.checkNeedForArgumentCasts(BlockScope scope, Expression receiver, TypeBinding receiverType, MethodBinding binding, Expression[] arguments, TypeBinding[] argumentTypes, InvocationSite invocationSite)` Cast expressions will considered as useful if removing them all would actually bind to a different method (no fine grain analysis on per casted argument basis, simply separate widening cast from narrowing ones)
`static void`	`CastExpression.checkNeedForArgumentCasts(BlockScope scope, int operator, int operatorSignature, Expression left, int leftTypeId, boolean leftIsCast, Expression right, int rightTypeId, boolean rightIsCast)` Check binary operator casted arguments
`static void`	`CastExpression.checkNeedForAssignedCast(BlockScope scope, TypeBinding expectedType, CastExpression rhs)` Complain if assigned expression is cast, but not actually used as such, e.g.
`static void`	`CastExpression.checkNeedForCastCast(BlockScope scope, CastExpression enclosingCast)` Complain if cast expression is cast, but not actually needed, int i = (int)(Integer) 12; Note that this (int) cast is however needed: Integer i = 0; char c = (char)((int) i);
`static void`	`CastExpression.checkNeedForEnclosingInstanceCast(BlockScope scope, Expression enclosingInstance, TypeBinding enclosingInstanceType, TypeBinding memberType)` Casting an enclosing instance will considered as useful if removing it would actually bind to a different type
`void`	`Expression.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)` Check the local variable of this expression, if any, against potential NPEs given a flow context and an upstream flow info.
`void`	`QualifiedNameReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, boolean checkString)`
`boolean`	`Statement.complainIfUnreachable(FlowInfo flowInfo, BlockScope scope, boolean didAlreadyComplain)`
`boolean`	`EmptyStatement.complainIfUnreachable(FlowInfo flowInfo, BlockScope scope, boolean didAlreadyComplain)`
`void`	`BinaryExpression.computeConstant(BlockScope scope, int leftId, int rightId)`
`void`	`Statement.generateArguments(MethodBinding binding, Expression[] arguments, BlockScope currentScope, CodeStream codeStream)` Generate invocation arguments, considering varargs methods
`void`	`ThisReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`void`	`SingleNameReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`abstract void`	`Reference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`void`	`QualifiedNameReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`void`	`FieldReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`void`	`ArrayReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`void`	`EqualExpression.generateBooleanEqual(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Boolean generation for == with boolean operands Note this code does not optimize conditional constants !!!!
`void`	`WhileStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` While code generation
`void`	`TypeParameter.generateCode(BlockScope currentScope, CodeStream codeStream)`
`void`	`TypeDeclaration.generateCode(BlockScope blockScope, CodeStream codeStream)` Bytecode generation for a local inner type (API as a normal statement code gen)
`void`	`TryStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Try statement code generation with or without jsr bytecode use post 1.5 target level, cannot use jsr bytecode, must instead inline finally block returnAddress is only allocated if jsr is allowed
`void`	`ThrowStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Throw code generation
`void`	`SynchronizedStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Synchronized statement code generation
`void`	`SwitchStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Switch code generation
`abstract void`	`Statement.generateCode(BlockScope currentScope, CodeStream codeStream)`
`void`	`ReturnStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Retrun statement code generation generate the finallyInvocationSequence.
`void`	`LocalDeclaration.generateCode(BlockScope currentScope, CodeStream codeStream)` Code generation for a local declaration: i.e. normal assignment to a local variable + unused variable handling
`void`	`LabeledStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Code generation for labeled statement may not need actual source positions recording
`void`	`Initializer.generateCode(BlockScope currentScope, CodeStream codeStream)` Code generation for a non-static initializer: standard block code gen
`void`	`IfStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` If code generation
`void`	`ForStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` For statement code generation
`void`	`ForeachStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` For statement code generation
`void`	`FieldDeclaration.generateCode(BlockScope currentScope, CodeStream codeStream)` Code generation for a field declaration: standard assignment to a field
`void`	`Expression.generateCode(BlockScope currentScope, CodeStream codeStream)` Expression statements are plain expressions, however they generate like normal expressions with no value required.
`void`	`ExplicitConstructorCall.generateCode(BlockScope currentScope, CodeStream codeStream)` Constructor call code generation
`void`	`EmptyStatement.generateCode(BlockScope currentScope, CodeStream codeStream)`
`void`	`DoStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Do statement code generation
`void`	`CaseStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Case code generation
`void`	`BranchStatement.generateCode(BlockScope currentScope, CodeStream codeStream)` Branch code generation generate the finallyInvocationSequence.
`void`	`Block.generateCode(BlockScope currentScope, CodeStream codeStream)` Code generation for a block
`void`	`AssertStatement.generateCode(BlockScope currentScope, CodeStream codeStream)`
`void`	`UnaryExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for an unary operation
`void`	`TrueLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for the true literal
`void`	`ThisReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`StringLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for string literal
`void`	`SingleNameReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`QualifiedThisReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for QualifiedThisReference
`void`	`QualifiedNameReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`QualifiedAllocationExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`PostfixExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for PostfixExpression
`void`	`OR_OR_Expression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for a binary operation
`void`	`NullLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for the null literal
`void`	`MessageSend.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` MessageSend code generation
`void`	`LongLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for long literal
`void`	`IntLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for int literal
`void`	`InstanceOfExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for instanceOfExpression
`void`	`FloatLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for float literal
`void`	`FieldReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Field reference code generation
`void`	`FalseLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for false literal
`void`	`Expression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Every expression is responsible for generating its implicit conversion when necessary.
`void`	`EqualExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Normal == or != code generation.
`void`	`DoubleLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for the double literak
`void`	`ConditionalExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for the conditional operator ?:
`void`	`CompoundAssignment.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`ClassLiteralAccess.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` MessageSendDotClass code generation
`void`	`CharLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` CharLiteral code generation
`void`	`CastExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Cast expression code generation
`void`	`BinaryExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for a binary operation
`void`	`Assignment.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`ArrayReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for a array reference
`void`	`ArrayInitializer.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for a array initializer
`void`	`ArrayAllocationExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for a array allocation expression
`void`	`AND_AND_Expression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Code generation for a binary operation
`void`	`AllocationExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`ThisReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`SingleNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`abstract void`	`Reference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`QualifiedNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`FieldReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`ArrayReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`SingleNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, MethodBinding writeAccessor, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`BinaryExpression.generateLogicalAnd(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Boolean generation for &
`void`	`BinaryExpression.generateLogicalOr(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Boolean generation for \|
`void`	`BinaryExpression.generateLogicalXor(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Boolean generation for ^
`void`	`EqualExpression.generateNonBooleanEqual(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Boolean generation for == with non-boolean operands
`void`	`UnaryExpression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean operator code generation Optimized operations are: &&, \|\|, <, <=, >, >=, &, \|, ^
`void`	`TrueLiteral.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)`
`void`	`OR_OR_Expression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean operator code generation Optimized operations are: \|\|
`void`	`FalseLiteral.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)`
`void`	`Expression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Default generation of a boolean value
`void`	`EqualExpression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean operator code generation Optimized operations are: == and !=
`void`	`ConditionalExpression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Optimized boolean code generation for the conditional operator ?:
`void`	`BinaryExpression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean operator code generation Optimized operations are: <, <=, >, >=, &, \|, ^
`void`	`AND_AND_Expression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean operator code generation Optimized operations are: &&
`void`	`EqualExpression.generateOptimizedBooleanEqual(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for == with boolean operands Note this code does not optimize conditional constants !!!!
`void`	`BinaryExpression.generateOptimizedGreaterThan(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for >
`void`	`BinaryExpression.generateOptimizedGreaterThanOrEqual(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for >=
`void`	`BinaryExpression.generateOptimizedLessThan(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for <
`void`	`BinaryExpression.generateOptimizedLessThanOrEqual(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for <=
`void`	`BinaryExpression.generateOptimizedLogicalAnd(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for &
`void`	`BinaryExpression.generateOptimizedLogicalOr(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for \|
`void`	`BinaryExpression.generateOptimizedLogicalXor(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for ^
`void`	`EqualExpression.generateOptimizedNonBooleanEqual(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)` Boolean generation for == with non-boolean operands
`void`	`Expression.generateOptimizedStringConcatenation(BlockScope blockScope, CodeStream codeStream, int typeID)`
`void`	`CombinedBinaryExpression.generateOptimizedStringConcatenation(BlockScope blockScope, CodeStream codeStream, int typeID)`
`void`	`BinaryExpression.generateOptimizedStringConcatenation(BlockScope blockScope, CodeStream codeStream, int typeID)`
`void`	`Expression.generateOptimizedStringConcatenationCreation(BlockScope blockScope, CodeStream codeStream, int typeID)`
`void`	`CombinedBinaryExpression.generateOptimizedStringConcatenationCreation(BlockScope blockScope, CodeStream codeStream, int typeID)`
`void`	`BinaryExpression.generateOptimizedStringConcatenationCreation(BlockScope blockScope, CodeStream codeStream, int typeID)`
`void`	`ThisReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`void`	`SingleNameReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`abstract void`	`Reference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`void`	`QualifiedNameReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`void`	`FieldReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`void`	`ArrayReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`FieldBinding`	`QualifiedNameReference.generateReadSequence(BlockScope currentScope, CodeStream codeStream)`
`boolean`	`TryStatement.generateSubRoutineInvocation(BlockScope currentScope, CodeStream codeStream, java.lang.Object targetLocation, int stateIndex, LocalVariableBinding secretLocal)`
`boolean`	`SynchronizedStatement.generateSubRoutineInvocation(BlockScope currentScope, CodeStream codeStream, java.lang.Object targetLocation, int stateIndex, LocalVariableBinding secretLocal)`
`abstract boolean`	`SubRoutineStatement.generateSubRoutineInvocation(BlockScope currentScope, CodeStream codeStream, java.lang.Object targetLocation, int stateIndex, LocalVariableBinding secretLocal)` Generate an invocation of a subroutine (e.g.
`TypeBinding`	`QualifiedNameReference.getOtherFieldBindings(BlockScope scope)`
`TypeBinding`	`TrueLiteral.literalType(BlockScope scope)`
`TypeBinding`	`StringLiteral.literalType(BlockScope scope)`
`TypeBinding`	`NullLiteral.literalType(BlockScope scope)`
`TypeBinding`	`LongLiteral.literalType(BlockScope scope)`
`abstract TypeBinding`	`Literal.literalType(BlockScope scope)`
`TypeBinding`	`IntLiteral.literalType(BlockScope scope)`
`TypeBinding`	`FloatLiteral.literalType(BlockScope scope)`
`TypeBinding`	`FalseLiteral.literalType(BlockScope scope)`
`TypeBinding`	`DoubleLiteral.literalType(BlockScope scope)`
`TypeBinding`	`CharLiteral.literalType(BlockScope scope)`
`void`	`TypeDeclaration.manageEnclosingInstanceAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`SingleNameReference.manageEnclosingInstanceAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`QualifiedNameReference.manageEnclosingInstanceAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`QualifiedAllocationExpression.manageEnclosingInstanceAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`AllocationExpression.manageEnclosingInstanceAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`QualifiedNameReference.manageSyntheticAccessIfNecessary(BlockScope currentScope, FieldBinding fieldBinding, TypeBinding lastReceiverType, int index, FlowInfo flowInfo)` index is <0 to denote write access emulation
`void`	`MessageSend.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`ExplicitConstructorCall.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`AssertStatement.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`AllocationExpression.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`SingleNameReference.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo, boolean isReadAccess)`
`void`	`FieldReference.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo, boolean isReadAccess)`
`TypeBinding`	`SingleNameReference.reportError(BlockScope scope)`
`TypeBinding`	`QualifiedNameReference.reportError(BlockScope scope)` Normal field binding did not work, try to bind to a field of the delegate receiver.
`void`	`WhileStatement.resolve(BlockScope scope)`
`void`	`TypeParameter.resolve(BlockScope scope)`
`void`	`TypeDeclaration.resolve(BlockScope blockScope)` Resolve a local type declaration
`void`	`TryStatement.resolve(BlockScope upperScope)`
`void`	`ThrowStatement.resolve(BlockScope scope)`
`void`	`SynchronizedStatement.resolve(BlockScope upperScope)`
`void`	`SwitchStatement.resolve(BlockScope upperScope)`
`abstract void`	`Statement.resolve(BlockScope scope)`
`void`	`ReturnStatement.resolve(BlockScope scope)`
`void`	`LocalDeclaration.resolve(BlockScope scope)`
`void`	`LabeledStatement.resolve(BlockScope scope)`
`void`	`JavadocSingleNameReference.resolve(BlockScope scope)`
`void`	`JavadocReturnStatement.resolve(BlockScope scope)`
`void`	`JavadocArgumentExpression.resolve(BlockScope scope)`
`void`	`IfStatement.resolve(BlockScope scope)`
`void`	`ForStatement.resolve(BlockScope upperScope)`
`void`	`ForeachStatement.resolve(BlockScope upperScope)`
`void`	`Expression.resolve(BlockScope scope)`
`void`	`ExplicitConstructorCall.resolve(BlockScope scope)`
`void`	`EmptyStatement.resolve(BlockScope scope)`
`void`	`DoStatement.resolve(BlockScope scope)`
`void`	`CaseStatement.resolve(BlockScope scope)` No-op : should use resolveCase(...) instead.
`void`	`BranchStatement.resolve(BlockScope scope)`
`void`	`Block.resolve(BlockScope upperScope)`
`void`	`AssertStatement.resolve(BlockScope scope)`
`void`	`AbstractVariableDeclaration.resolve(BlockScope scope)`
`void`	`JavadocSingleNameReference.resolve(BlockScope scope, boolean warn, boolean considerParamRefAsUsage)` Resolve without warnings
`static void`	`ASTNode.resolveAnnotations(BlockScope scope, Annotation[] sourceAnnotations, Binding recipient)` Resolve annotations, and check duplicates, answers combined tagBits for recognized standard annotations
`Constant`	`Statement.resolveCase(BlockScope scope, TypeBinding testType, SwitchStatement switchStatement)` Returns case constant associated to this statement (NotAConstant if none)
`Constant`	`CaseStatement.resolveCase(BlockScope scope, TypeBinding switchExpressionType, SwitchStatement switchStatement)` Returns the constant intValue or ordinal for enum constants.
`static void`	`ASTNode.resolveDeprecatedAnnotations(BlockScope scope, Annotation[] annotations, Binding recipient)` Figures if @Deprecated annotation is specified, do not resolve entire annotations.
`TypeBinding`	`Argument.resolveForCatch(BlockScope scope)`
`TypeBinding`	`UnaryExpression.resolveType(BlockScope scope)`
`TypeBinding`	`TypeReference.resolveType(BlockScope blockScope)`
`TypeBinding`	`ThisReference.resolveType(BlockScope scope)`
`TypeBinding`	`SuperReference.resolveType(BlockScope scope)`
`TypeBinding`	`SingleNameReference.resolveType(BlockScope scope)`
`TypeBinding`	`QualifiedThisReference.resolveType(BlockScope scope)`
`TypeBinding`	`QualifiedSuperReference.resolveType(BlockScope scope)`
`TypeBinding`	`QualifiedNameReference.resolveType(BlockScope scope)`
`TypeBinding`	`QualifiedAllocationExpression.resolveType(BlockScope scope)`
`TypeBinding`	`MessageSend.resolveType(BlockScope scope)`
`TypeBinding`	`LongLiteral.resolveType(BlockScope scope)`
`TypeBinding`	`Literal.resolveType(BlockScope scope)`
`TypeBinding`	`JavadocMessageSend.resolveType(BlockScope scope)`
`TypeBinding`	`JavadocFieldReference.resolveType(BlockScope scope)`
`TypeBinding`	`JavadocArgumentExpression.resolveType(BlockScope scope)`
`TypeBinding`	`JavadocAllocationExpression.resolveType(BlockScope scope)`
`TypeBinding`	`IntLiteral.resolveType(BlockScope scope)`
`TypeBinding`	`InstanceOfExpression.resolveType(BlockScope scope)`
`TypeBinding`	`FieldReference.resolveType(BlockScope scope)`
`TypeBinding`	`Expression.resolveType(BlockScope scope)` Resolve the type of this expression in the context of a blockScope
`TypeBinding`	`EqualExpression.resolveType(BlockScope scope)`
`TypeBinding`	`ConditionalExpression.resolveType(BlockScope scope)`
`TypeBinding`	`CompoundAssignment.resolveType(BlockScope scope)`
`TypeBinding`	`CombinedBinaryExpression.resolveType(BlockScope scope)`
`TypeBinding`	`ClassLiteralAccess.resolveType(BlockScope scope)`
`TypeBinding`	`CastExpression.resolveType(BlockScope scope)`
`TypeBinding`	`BinaryExpression.resolveType(BlockScope scope)`
`TypeBinding`	`Assignment.resolveType(BlockScope scope)`
`TypeBinding`	`ArrayReference.resolveType(BlockScope scope)`
`TypeBinding`	`ArrayAllocationExpression.resolveType(BlockScope scope)`
`TypeBinding`	`Annotation.resolveType(BlockScope scope)`
`TypeBinding`	`AllocationExpression.resolveType(BlockScope scope)`
`TypeBinding`	`Wildcard.resolveType(BlockScope scope, boolean checkBounds)`
`TypeBinding`	`TypeReference.resolveType(BlockScope scope, boolean checkBounds)`
`TypeBinding`	`ParameterizedSingleTypeReference.resolveType(BlockScope scope, boolean checkBounds)`
`TypeBinding`	`ParameterizedQualifiedTypeReference.resolveType(BlockScope scope, boolean checkBounds)`
`TypeBinding`	`JavadocQualifiedTypeReference.resolveType(BlockScope blockScope, boolean checkBounds)`
`TypeBinding`	`Wildcard.resolveTypeArgument(BlockScope blockScope, ReferenceBinding genericType, int rank)`
`TypeBinding`	`TypeReference.resolveTypeArgument(BlockScope blockScope, ReferenceBinding genericType, int rank)`
`TypeBinding`	`SingleTypeReference.resolveTypeEnclosing(BlockScope scope, ReferenceBinding enclosingType)`
`TypeBinding`	`ParameterizedSingleTypeReference.resolveTypeEnclosing(BlockScope scope, ReferenceBinding enclosingType)`
`void`	`MemberValuePair.resolveTypeExpecting(BlockScope scope, TypeBinding requiredType)`
`TypeBinding`	`Expression.resolveTypeExpecting(BlockScope scope, TypeBinding expectedType)`
`TypeBinding`	`Assignment.resolveTypeExpecting(BlockScope scope, TypeBinding expectedType)`
`TypeBinding`	`ArrayInitializer.resolveTypeExpecting(BlockScope scope, TypeBinding expectedType)`
`void`	`Block.resolveUsing(BlockScope givenScope)`
`void`	`Wildcard.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`WhileStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`UnaryExpression.traverse(ASTVisitor visitor, BlockScope blockScope)`
`abstract void`	`TypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`TypeParameter.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`TypeDeclaration.traverse(ASTVisitor visitor, BlockScope blockScope)` Iteration for a local innertype
`void`	`TryStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`TrueLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ThrowStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`ThisReference.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`SynchronizedStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`SwitchStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`SuperReference.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`StringLiteralConcatenation.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`StringLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`SingleTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`SingleNameReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`SingleMemberAnnotation.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ReturnStatement.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`QualifiedTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`QualifiedThisReference.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`QualifiedSuperReference.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`QualifiedNameReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`QualifiedAllocationExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`PrefixExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`PostfixExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ParameterizedSingleTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ParameterizedQualifiedTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`OR_OR_Expression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`NullLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`NormalAnnotation.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`MessageSend.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`MemberValuePair.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`MarkerAnnotation.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`LongLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`LocalDeclaration.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`LabeledStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`JavadocSingleTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JavadocSingleNameReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JavadocReturnStatement.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JavadocQualifiedTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JavadocMessageSend.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`JavadocImplicitTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JavadocFieldReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JavadocArraySingleTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JavadocArrayQualifiedTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JavadocArgumentExpression.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`JavadocAllocationExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`Javadoc.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`IntLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`InstanceOfExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`IfStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`ForStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`ForeachStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`FloatLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`FieldReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`FalseLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ExtendedStringLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`Expression.traverse(ASTVisitor visitor, BlockScope scope)` Traverse an expression in the context of a blockScope
`void`	`ExplicitConstructorCall.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`EqualExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`EmptyStatement.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`DoubleLiteral.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`DoStatement.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ContinueStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`ConditionalExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`CompoundAssignment.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`CombinedBinaryExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ClassLiteralAccess.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`CharLiteral.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`CastExpression.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`CaseStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`BreakStatement.traverse(ASTVisitor visitor, BlockScope blockscope)`
`void`	`Block.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`BinaryExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ASTNode.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`Assignment.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`AssertStatement.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ArrayTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ArrayReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ArrayQualifiedTypeReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ArrayInitializer.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`ArrayAllocationExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`Argument.traverse(ASTVisitor visitor, BlockScope scope)`
`abstract void`	`Annotation.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`AND_AND_Expression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`AllocationExpression.traverse(ASTVisitor visitor, BlockScope scope)`

Uses of BlockScope in org.eclipse.jdt.internal.compiler.codegen

Methods in org.eclipse.jdt.internal.compiler.codegen with parameters of type BlockScope
`void`	`CodeStream.exitUserScope(BlockScope currentScope)`
`void`	`CodeStream.exitUserScope(BlockScope currentScope, LocalVariableBinding binding)`
`void`	`CodeStream.generateStringConcatenationAppend(BlockScope blockScope, Expression oper1, Expression oper2)` The equivalent code performs a string conversion:
`void`	`CodeStream.generateSyntheticEnclosingInstanceValues(BlockScope currentScope, ReferenceBinding targetType, Expression enclosingInstance, ASTNode invocationSite)` Code responsible to generate the suitable code to supply values for the synthetic enclosing instance arguments of a constructor invocation of a nested type.
`void`	`CodeStream.generateSyntheticOuterArgumentValues(BlockScope currentScope, ReferenceBinding targetType, ASTNode invocationSite)` Code responsible to generate the suitable code to supply values for the synthetic outer local variable arguments of a constructor invocation of a nested type.

Uses of BlockScope in org.eclipse.jdt.internal.compiler.flow

Methods in org.eclipse.jdt.internal.compiler.flow with parameters of type BlockScope
`void`	`FlowContext.checkExceptionHandlers(TypeBinding[] raisedExceptions, ASTNode location, FlowInfo flowInfo, BlockScope scope)`
`void`	`FlowContext.checkExceptionHandlers(TypeBinding raisedException, ASTNode location, FlowInfo flowInfo, BlockScope scope)`
`void`	`InitializationFlowContext.checkInitializerExceptions(BlockScope currentScope, FlowContext initializerContext, FlowInfo flowInfo)`
`void`	`ExceptionHandlingFlowContext.complainIfUnusedExceptionHandlers(BlockScope scope, TryStatement tryStatement)`
`void`	`FinallyFlowContext.complainOnDeferredChecks(FlowInfo flowInfo, BlockScope scope)` Given some contextual initialization info (derived from a try block or a catch block), this code will check that the subroutine context does not also initialize a final variable potentially set redundantly.
`void`	`LoopingFlowContext.complainOnDeferredFinalChecks(BlockScope scope, FlowInfo flowInfo)` Perform deferred checks relative to final variables duplicate initialization of lack of initialization.
`void`	`LoopingFlowContext.complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo)` Perform deferred checks relative to the null status of local variables.

Constructors in org.eclipse.jdt.internal.compiler.flow with parameters of type BlockScope
`ExceptionHandlingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, BlockScope scope, UnconditionalFlowInfo flowInfo)`
`InitializationFlowContext(FlowContext parent, ASTNode associatedNode, BlockScope scope)`
`LabelFlowContext(FlowContext parent, ASTNode associatedNode, char[] labelName, BranchLabel breakLabel, BlockScope scope)`

Uses of BlockScope in org.eclipse.jdt.internal.compiler.lookup

Subclasses of BlockScope in org.eclipse.jdt.internal.compiler.lookup
`class`	`MethodScope` Specific block scope used for methods, constructors or clinits, representing its outermost blockscope.

Fields in org.eclipse.jdt.internal.compiler.lookup declared as BlockScope
`BlockScope`	`LocalVariableBinding.declaringScope`
`BlockScope`	`InnerEmulationDependency.scope`
`BlockScope[]`	`BlockScope.shiftScopes`

Methods in org.eclipse.jdt.internal.compiler.lookup with parameters of type BlockScope
`void`	`LocalTypeBinding.addInnerEmulationDependent(BlockScope dependentScope, boolean wasEnclosingInstanceSupplied)`
`FieldBinding`	`SourceTypeBinding.addSyntheticFieldForAssert(BlockScope blockScope)`
`FieldBinding`	`SourceTypeBinding.addSyntheticFieldForClassLiteral(TypeBinding targetType, BlockScope blockScope)`

Constructors in org.eclipse.jdt.internal.compiler.lookup with parameters of type BlockScope
`BlockScope(BlockScope parent)`
`BlockScope(BlockScope parent, boolean addToParentScope)`
`BlockScope(BlockScope parent, int variableCount)`
`InnerEmulationDependency(BlockScope scope, boolean wasEnclosingInstanceSupplied)`

Uses of BlockScope in org.eclipse.jdt.internal.core.search.matching

Methods in org.eclipse.jdt.internal.core.search.matching with parameters of type BlockScope
`boolean`	`SuperTypeNamesCollector.TypeDeclarationVisitor.visit(TypeDeclaration typeDeclaration, BlockScope scope)`
`boolean`	`MatchLocatorParser.MethodButNoClassDeclarationVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`MatchLocatorParser.ClassAndMethodDeclarationVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`

Uses of BlockScope in org.eclipse.jdt.internal.eval

Subclasses of BlockScope in org.eclipse.jdt.internal.eval
`class`	`CodeSnippetScope` This scope is used for code snippet lookup to emulate private, protected and default access.

Methods in org.eclipse.jdt.internal.eval with parameters of type BlockScope
`FlowInfo`	`CodeSnippetReturnStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`CodeSnippetSingleNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)`
`TypeBinding`	`CodeSnippetSingleNameReference.checkFieldAccess(BlockScope scope)` Check and/or redirect the field access to the delegate receiver if any
`TypeBinding`	`CodeSnippetQualifiedNameReference.checkFieldAccess(BlockScope scope)` Check and/or redirect the field access to the delegate receiver if any
`void`	`CodeSnippetSingleNameReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`void`	`CodeSnippetQualifiedNameReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`void`	`CodeSnippetFieldReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)`
`void`	`CodeSnippetThisReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`CodeSnippetSingleNameReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`CodeSnippetQualifiedNameReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`CodeSnippetMessageSend.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` MessageSend code generation
`void`	`CodeSnippetFieldReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Field reference code generation
`void`	`CodeSnippetAllocationExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`CodeSnippetQualifiedNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`CodeSnippetFieldReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`CodeSnippetSingleNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, MethodBinding writeAccessor, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)`
`void`	`CodeSnippetSingleNameReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`void`	`CodeSnippetQualifiedNameReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`void`	`CodeSnippetFieldReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)`
`FieldBinding`	`CodeSnippetQualifiedNameReference.generateReadSequence(BlockScope currentScope, CodeStream codeStream)`
`TypeBinding`	`CodeSnippetQualifiedNameReference.getOtherFieldBindings(BlockScope scope)`
`TypeBinding`	`CodeSnippetSingleNameReference.getReceiverType(BlockScope currentScope)` Check and/or redirect the field access to the delegate receiver if any
`TypeBinding`	`CodeSnippetQualifiedNameReference.getReceiverType(BlockScope currentScope)` Check and/or redirect the field access to the delegate receiver if any
`void`	`CodeSnippetAllocationExpression.manageEnclosingInstanceAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`CodeSnippetQualifiedNameReference.manageSyntheticAccessIfNecessary(BlockScope currentScope, FieldBinding fieldBinding, TypeBinding lastReceiverType, int index, FlowInfo flowInfo)` index is <0 to denote write access emulation
`void`	`CodeSnippetMessageSend.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`CodeSnippetAllocationExpression.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo)`
`void`	`CodeSnippetSingleNameReference.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo, boolean isReadAccess)`
`void`	`CodeSnippetFieldReference.manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo, boolean isReadAccess)`
`TypeBinding`	`CodeSnippetSingleNameReference.reportError(BlockScope scope)` Normal field binding did not work, try to bind to a field of the delegate receiver.
`TypeBinding`	`CodeSnippetQualifiedNameReference.reportError(BlockScope scope)` Normal field binding did not work, try to bind to a field of the delegate receiver.
`void`	`CodeSnippetReturnStatement.resolve(BlockScope scope)`
`TypeBinding`	`CodeSnippetThisReference.resolveType(BlockScope scope)`
`TypeBinding`	`CodeSnippetSuperReference.resolveType(BlockScope scope)`
`TypeBinding`	`CodeSnippetMessageSend.resolveType(BlockScope scope)`
`TypeBinding`	`CodeSnippetFieldReference.resolveType(BlockScope scope)`
`TypeBinding`	`CodeSnippetAllocationExpression.resolveType(BlockScope scope)`
`TypeBinding`	`CodeSnippetQualifiedNameReference.resolveTypeVisibility(BlockScope scope)`

Constructors in org.eclipse.jdt.internal.eval with parameters of type BlockScope
`CodeSnippetScope(BlockScope parent)` CodeSnippetScope constructor comment.
`CodeSnippetScope(BlockScope parent, int variableCount)` CodeSnippetScope constructor comment.

Uses of BlockScope in org.eclipse.jdt.internal.formatter

Methods in org.eclipse.jdt.internal.formatter with parameters of type BlockScope
`boolean`	`CodeFormatterVisitor.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(Argument argument, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ArrayInitializer arrayInitializer, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(AssertStatement assertStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(Assignment assignment, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(Block block, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(BreakStatement breakStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(CaseStatement caseStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(CastExpression castExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(CharLiteral charLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ClassLiteralAccess classLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ContinueStatement continueStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(DoubleLiteral doubleLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(EmptyStatement statement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(FloatLiteral floatLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(LongLiteral longLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(NullLiteral nullLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(StringLiteral stringLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(StringLiteralConcatenation stringLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(SuperReference superReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(SwitchStatement switchStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(ThrowStatement throwStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(TryStatement tryStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`CodeFormatterVisitor.visit(Wildcard wildcard, BlockScope scope)`

Uses of BlockScope in org.jmlspecs.eclipse.jdt.internal.esc2

Methods in org.jmlspecs.eclipse.jdt.internal.esc2 with parameters of type BlockScope
`void`	`JdtAst2EscjAstVisitor.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)` Deprecated.
`void`	`JdtAst2EscjAstVisitor.endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(AllocationExpression allocationExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(AND_AND_Expression and_and_Expression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(Argument argument, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ArrayInitializer arrayInitializer, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ArrayReference arrayReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(AssertStatement assertStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(Assignment assignment, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(BinaryExpression binaryExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(Block block, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(BreakStatement breakStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(CaseStatement caseStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(CastExpression castExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(CharLiteral charLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ClassLiteralAccess classLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(CompoundAssignment compoundAssignment, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ConditionalExpression conditionalExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ContinueStatement continueStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(DoStatement doStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(DoubleLiteral doubleLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(EmptyStatement emptyStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(EqualExpression equalExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)` Deprecated.
`boolean`	`JdtAst2EscjAstVisitor.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(FalseLiteral falseLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(FieldReference fieldReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(FloatLiteral floatLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ForeachStatement forStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ForStatement forStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(IfStatement ifStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(IntLiteral intLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocAllocationExpression expression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocArgumentExpression expression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocArrayQualifiedTypeReference typeRef, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocArraySingleTypeReference typeRef, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(Javadoc javadoc, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocFieldReference fieldRef, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocImplicitTypeReference implicitTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocMessageSend messageSend, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocQualifiedTypeReference typeRef, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocReturnStatement statement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocSingleNameReference argument, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JavadocSingleTypeReference typeRef, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlArrayReference arrayReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlAssertStatement assertStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlAssignment assignment, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlCastExpression castExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlEnsuresClause ensuresClause, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlFieldReference fieldReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlLocalDeclaration localDeclaration, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlMessageSend messageSend, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlRequiresClause requiresClause, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlResultReference resultReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlReturnStatement returnStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlSingleTypeReference singleTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(JmlWildcard wildcard, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(LabeledStatement labeledStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(LongLiteral longLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(MarkerAnnotation annotation, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(MemberValuePair pair, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(MessageSend messageSend, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(NormalAnnotation annotation, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(NullLiteral nullLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(OR_OR_Expression or_or_Expression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(PostfixExpression postfixExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(PrefixExpression prefixExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ReturnStatement returnStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(SingleMemberAnnotation annotation, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(SingleNameReference singleNameReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(SingleTypeReference singleTypeReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(StringLiteral stringLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(StringLiteralConcatenation literal, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(SuperReference superReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(SwitchStatement switchStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(SynchronizedStatement synchronizedStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ThisReference thisReference, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(ThrowStatement throwStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(TrueLiteral trueLiteral, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(TryStatement tryStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)` Deprecated.
`boolean`	`JdtAst2EscjAstVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(TypeParameter typeParameter, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(UnaryExpression unaryExpression, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(WhileStatement whileStatement, BlockScope scope)` Deprecated.
`boolean`	`PrintVisitor.visit(Wildcard wildcard, BlockScope scope)` Deprecated.

Uses of BlockScope in org.jmlspecs.jml4.ast

Fields in org.jmlspecs.jml4.ast declared as BlockScope
`BlockScope`	`JmlQuantifiedExpression.scope` The scope.

Methods in org.jmlspecs.jml4.ast with parameters of type BlockScope
`FlowInfo`	`JmlStoreRefExpression.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)` Deprecated.
`abstract FlowInfo`	`JmlTypeBodyDeclaration.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)`
`FlowInfo`	`JmlRepresentsClause.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)`
`FlowInfo`	`JmlInvariantForType.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)`
`FlowInfo`	`JmlInitiallyClause.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)`
`FlowInfo`	`JmlConstraintClause.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)`
`FlowInfo`	`JmlWhileStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlSubtypeExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlStoreRefListExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlSetStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlSetComprehension.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlReturnStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlResultReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlQuantifiedExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlOldExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlMessageSend.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`void`	`JmlLoopVariant.analyseCode(BlockScope scope, FlowContext context, FlowInfo flowInfo)`
`void`	`JmlLoopAnnotations.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlLocalDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlForStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlForeachStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlExplicitConstructorCall.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlDoStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`void`	`JmlClause.analyseCode(BlockScope scope, FlowContext context, FlowInfo flowInfo)`
`FlowInfo`	`JmlAssignment.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlAssertOrAssumeStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlAllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`FlowInfo`	`JmlResultReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)`
`void`	`JmlLoopAnnotations.checkLoopInvariant(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlLoopAnnotations.checkLoopVariant(BlockScope currentScope, CodeStream codeStream, LocalVariableBinding firstTimeBinding)`
`void`	`JmlQualifiedNameReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, boolean checkString)`
`void`	`JmlLoopVariant.generateAndStore(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlStoreRefExpression.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)` Deprecated.
`void`	`JmlTypeDeclaration.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlRequiresClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlRepresentsClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlLoopVariant.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlLoopInvariant.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlInvariantForType.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlInitiallyClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlEnsuresClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlConstraintClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlLoopInvariant.generateCheck(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlTypeDeclaration.generateCheckForInitiallys(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)`
`void`	`JmlMethodSpecification.generateCheckOfEnsures(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)`
`void`	`JmlSpecCaseRestAsClauseSeq.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)`
`abstract void`	`JmlSpecCaseRest.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)`
`void`	`JmlSpecCaseBody.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)`
`void`	`JmlSpecCaseBlock.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)`
`void`	`JmlSpecCase.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)`
`void`	`JmlSetStatement.generateCode(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlFieldDeclaration.generateCode(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlAssertOrAssumeStatement.generateCode(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlSubtypeExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Every expression is responsible for generating its implicit conversion when necessary.
`void`	`JmlSetComprehension.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Every expression is responsible for generating its implicit conversion when necessary.
`void`	`JmlResultReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`JmlQuantifiedExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Every expression is responsible for generating its implicit conversion when necessary.
`void`	`JmlOperationOverStoreRefList.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`void`	`JmlCastExpressionWithoutType.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)`
`abstract void`	`JmlQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Generates code for this quantifier.
`void`	`JmlNumericQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Generates code for this quantifier; currently, this just puts the constant value 0 on the stack with an appropriate numeric type.
`void`	`JmlBooleanQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Generates code for this quantifier; currently, this just puts the constant value "true" on the stack.
`void`	`JmlStoreRefExpression.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)` Deprecated.
`void`	`JmlStoreRefExpression.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)` Deprecated.
`void`	`JmlLoopVariant.generateVariantCheck(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlLoopVariant.initStore(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlLoopAnnotations.initVariantStore(BlockScope currentScope, CodeStream codeStream)`
`void`	`JmlWhileStatement.resolve(BlockScope scope)`
`void`	`JmlStoreRefExpression.resolve(BlockScope scope)` Deprecated. Accept the following patterns: 1.
`void`	`JmlSignalsOnlyClause.resolve(BlockScope scope)`
`void`	`JmlSignalsClause.resolve(BlockScope scope)`
`void`	`JmlSetStatement.resolve(BlockScope scope)`
`void`	`JmlMapsIntoClause.resolve(BlockScope scope)`
`void`	`JmlLoopAnnotations.resolve(BlockScope scope)`
`void`	`JmlInDataGroupClause.resolve(BlockScope scope)`
`void`	`JmlForStatement.resolve(BlockScope upperScope)`
`void`	`JmlForeachStatement.resolve(BlockScope upperScope)`
`void`	`JmlDoStatement.resolve(BlockScope scope)`
`void`	`JmlClause.resolve(BlockScope scope)`
`void`	`JmlAssertOrAssumeStatement.resolve(BlockScope scope)`
`abstract void`	`JmlTypeBodyDeclaration.resolve(BlockScope staticInitializerScope, BlockScope initializerScope)`
`void`	`JmlRepresentsClause.resolve(BlockScope staticInitializerScope, BlockScope initializerScope)`
`void`	`JmlInvariantForType.resolve(BlockScope staticInitializerScope, BlockScope initializerScope)`
`void`	`JmlInitiallyClause.resolve(BlockScope staticInitializerScope, BlockScope initializerScope)`
`void`	`JmlConstraintClause.resolve(BlockScope staticInitializerScope, BlockScope initializerScope)`
`TypeBinding`	`JmlTypeofExpression.resolveType(BlockScope scope)`
`TypeBinding`	`JmlTypeExpression.resolveType(BlockScope scope)`
`TypeBinding`	`JmlSubtypeExpression.resolveType(BlockScope upperScope)` Resolve the type of this expression in the context of a blockScope
`TypeBinding`	`JmlStoreRefListExpression.resolveType(BlockScope scope)`
`TypeBinding`	`JmlSetStatement.resolveType(BlockScope scope)`
`TypeBinding`	`JmlSetComprehension.resolveType(BlockScope upperScope)` Resolve the type of this expression in the context of a blockScope
`TypeBinding`	`JmlResultReference.resolveType(BlockScope scope)`
`TypeBinding`	`JmlRepresentsClause.resolveType(BlockScope scope)`
`TypeBinding`	`JmlQuantifiedExpression.resolveType(BlockScope upperScope)` Resolve the type of this expression in the context of a blockScope
`TypeBinding`	`JmlOperationOverStoreRefList.resolveType(BlockScope scope)`
`TypeBinding`	`JmlOldExpression.resolveType(BlockScope scope)`
`TypeBinding`	`JmlNameDotStarStoreRef.resolveType(BlockScope scope)`
`TypeBinding`	`JmlInformalExpression.resolveType(BlockScope scope)`
`TypeBinding`	`JmlFreshExpression.resolveType(BlockScope scope)`
`TypeBinding`	`JmlFieldDotStarStoreRef.resolveType(BlockScope scope)`
`TypeBinding`	`JmlElemtypeExpression.resolveType(BlockScope scope)`
`TypeBinding`	`JmlCastExpressionWithoutType.resolveType(BlockScope scope)`
`TypeBinding`	`JmlArrayRangeStoreRef.resolveType(BlockScope scope)`
`TypeBinding`	`JmlArrayIndexRangeExpression.resolveType(BlockScope scope)`
`void`	`JmlWhileStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`JmlTypeofExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlTypeExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlSubtypeExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlStoreRefExpression.traverse(ASTVisitor visitor, BlockScope scope)` Deprecated.
`void`	`JmlSpecCaseRestAsClauseSeq.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlSpecCaseHeader.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlSpecCaseBody.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlSpecCaseBlock.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlSpecCase.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlSetStatement.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlSetComprehension.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlResultReference.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlQuantifiedExpression.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`JmlOldExpression.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`JmlNumericQuantifier.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlName.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlModifier.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlMethodSpecification.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlMemberFieldRef.traverse(ASTVisitor visitor, BlockScope scope)` Deprecated.
`void`	`JmlMapsMemberRefExpr.traverse(ASTVisitor visitor, BlockScope scope)` Deprecated.
`void`	`JmlMapsIntoClause.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlLoopVariant.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlLoopInvariant.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlLoopAnnotations.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlGroupName.traverse(ASTVisitor visitor, BlockScope scope)` Deprecated.
`void`	`JmlFreshExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlForStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`JmlForeachStatement.traverse(ASTVisitor visitor, BlockScope blockScope)`
`void`	`JmlExplicitConstructorCall.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlElemtypeExpression.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlDoStatement.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlClause.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlBooleanQuantifier.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlAssumeStatement.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlAssignment.traverse(ASTVisitor visitor, BlockScope scope)`
`void`	`JmlAssertStatement.traverse(ASTVisitor visitor, BlockScope scope)`

Uses of BlockScope in org.jmlspecs.jml4.esc.gc

Methods in org.jmlspecs.jml4.esc.gc with parameters of type BlockScope
`boolean`	`Ast2SugaredVisitor.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(ArrayAllocationExpression arrayAlloc, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(AssertStatement assertStatement, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(Assignment assignment, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(Block block, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(BreakStatement breakStatement, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(CompoundAssignment assignment, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(ConditionalExpression condExpression, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(ContinueStatement continueStatement, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(EmptyStatement empty, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(EqualExpression eqExpr, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(FieldReference fieldRef, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(IntLiteral intConst, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(JmlAssertStatement assertStatement, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(JmlAssumeStatement assumeStatement, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(JmlQuantifiedExpression quantExpr, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(JmlResultReference resRef, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(PostfixExpression postfixExpr, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(PrefixExpression prefixExpr, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(QualifiedNameReference var, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(ReturnStatement retStmt, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(SingleNameReference var, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`Ast2SugaredVisitor.visit(WhileStatement whileStatement, BlockScope scope)`

Uses of BlockScope in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type BlockScope
`void`	`TraceAstVisitor.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(Argument argument, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(Argument argument, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ArrayInitializer arrayInitializer, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ArrayReference arrayReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(AssertStatement assertStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(Assignment assignment, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(Assignment assignment, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(Block block, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(Block block, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(BreakStatement breakStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(CaseStatement caseStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(CastExpression castExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(CharLiteral charLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ClassLiteralAccess classLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ContinueStatement continueStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(DoubleLiteral doubleLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(EmptyStatement emptyStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(FieldReference fieldReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(FloatLiteral floatLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocAllocationExpression expression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocArgumentExpression expression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocArrayQualifiedTypeReference typeRef, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocArraySingleTypeReference typeRef, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(Javadoc javadoc, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocFieldReference fieldRef, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocImplicitTypeReference implicitTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocMessageSend messageSend, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocQualifiedTypeReference typeRef, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocReturnStatement statement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocSingleNameReference argument, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JavadocSingleTypeReference typeRef, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlArrayReference arrayReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlAssertStatement assertStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlAssumeStatement assertStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlCastExpression castExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlFieldReference fieldReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlMessageSend messageSend, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlQuantifiedExpression expr, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(JmlQuantifiedExpression expr, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlRequiresClause requiresClause, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlReturnStatement returnStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(JmlWildcard wildcard, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(LongLiteral longLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(MarkerAnnotation annotation, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(MemberValuePair pair, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(NormalAnnotation annotation, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(NullLiteral nullLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(SingleMemberAnnotation annotation, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(StringLiteral stringLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(StringLiteralConcatenation literal, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(SuperReference superReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(SwitchStatement switchStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ThisReference thisReference, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(ThrowStatement throwStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(TryStatement tryStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(TypeParameter typeParameter, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`void`	`TheoryTranslator.endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`TraceAstVisitor.endVisit(Wildcard wildcard, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(Argument argument, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(Argument argument, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ArrayInitializer arrayInitializer, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(AssertStatement assertStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(Assignment assignment, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(Assignment assignment, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(Block block, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(Block block, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(BreakStatement breakStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(CaseStatement caseStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(CastExpression castExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(CharLiteral charLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ClassLiteralAccess classLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ContinueStatement continueStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(DoubleLiteral doubleLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(EmptyStatement emptyStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(FloatLiteral floatLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocAllocationExpression expression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocArgumentExpression expression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocArrayQualifiedTypeReference typeRef, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocArraySingleTypeReference typeRef, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(Javadoc javadoc, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocFieldReference fieldRef, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocImplicitTypeReference implicitTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocMessageSend messageSend, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocQualifiedTypeReference typeRef, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocReturnStatement statement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocSingleNameReference argument, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JavadocSingleTypeReference typeRef, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlArrayReference arrayReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlAssertStatement assertStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlAssumeStatement assertStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlCastExpression castExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlFieldReference fieldReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlMessageSend messageSend, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlQuantifiedExpression expr, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(JmlQuantifiedExpression expr, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlRequiresClause requiresClause, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlReturnStatement returnStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(JmlWildcard wildcard, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(LongLiteral longLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(NullLiteral nullLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(StringLiteral stringLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(StringLiteralConcatenation literal, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(SuperReference superReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(SwitchStatement switchStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(ThrowStatement throwStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(TryStatement tryStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`TheoryTranslator.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`TraceAstVisitor.visit(Wildcard wildcard, BlockScope scope)`

Uses of BlockScope in org.jmlspecs.jml4.fspv.phases

Methods in org.jmlspecs.jml4.fspv.phases with parameters of type BlockScope
`void`	`TheoryTranslation.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(Argument argument, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(Assignment assignment, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(Block block, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(NullLiteral nullLiteral, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`TheoryTranslation.endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(Argument argument, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(Assignment assignment, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(Block block, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(NullLiteral nullLiteral, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`TheoryTranslation.visit(TrueLiteral trueLiteral, BlockScope scope)`

Uses of BlockScope in org.jmlspecs.jml4.nonnull

Methods in org.jmlspecs.jml4.nonnull with parameters of type BlockScope
`static boolean`	`Nullity.isAssignable(TypeReference typeReference, Expression expression, BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)`
`static void`	`Nullity.preparePossibleUnknowns(Expression exp, BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)`

Uses of BlockScope in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac with parameters of type BlockScope
`void`	`JavaAstVisitor.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(Argument argument, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(Argument argument, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(Argument argument, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(Argument argument, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ArrayInitializer arrayInitializer, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ArrayInitializer arrayInitializer, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ArrayInitializer arrayInitializer, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ArrayInitializer arrayInitializer, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ArrayReference arrayReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ArrayReference arrayReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ArrayReference arrayReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ArrayReference arrayReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(AssertStatement assertStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(AssertStatement assertStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(AssertStatement assertStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(AssertStatement assertStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(Assignment assignment, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(Assignment assignment, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(Assignment assignment, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(Assignment assignment, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(Block block, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(Block block, BlockScope scope)` Overridden Visitor methods to keep track of inline statements that are not embedded inside blocks.
`void`	`InlineAssertionMerger.endVisit(Block block, BlockScope scope)` Overridden here to replace JML in-line assertions contained in the given block with their RAC code.
`void`	`DefaultRacAstVisitor.endVisit(Block block, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(Block block, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(Block block, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(BreakStatement breakStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(BreakStatement breakStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(BreakStatement breakStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(BreakStatement breakStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(CaseStatement caseStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(CaseStatement caseStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(CaseStatement caseStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(CaseStatement caseStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(CastExpression castExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(CastExpression castExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(CastExpression castExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(CastExpression castExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(CharLiteral charLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(CharLiteral charLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(CharLiteral charLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(CharLiteral charLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ClassLiteralAccess classLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ClassLiteralAccess classLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ClassLiteralAccess classLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ClassLiteralAccess classLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ContinueStatement continueStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ContinueStatement continueStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ContinueStatement continueStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ContinueStatement continueStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(DoubleLiteral doubleLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(DoubleLiteral doubleLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(DoubleLiteral doubleLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(DoubleLiteral doubleLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(EmptyStatement emptyStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(EmptyStatement emptyStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(EmptyStatement emptyStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(EmptyStatement emptyStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(FieldReference fieldReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(FieldReference fieldReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(FieldReference fieldReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(FieldReference fieldReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(FloatLiteral floatLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(FloatLiteral floatLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(FloatLiteral floatLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(FloatLiteral floatLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlArrayReference arrayReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlArrayReference arrayReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlArrayReference arrayReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlArrayReference arrayReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlAssertStatement assertStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlAssertStatement assertStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlAssertStatement assertStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlAssertStatement assertStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlAssumeStatement assumeStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlAssumeStatement assertStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlAssumeStatement assertStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlAssumeStatement assertStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlBooleanQuantifier jmlBooleanQuantifier, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlBooleanQuantifier jmlBooleanQuantifier, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlBooleanQuantifier jmlBooleanQuantifier, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlCastExpression castExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlCastExpression castExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlCastExpression castExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlCastExpression castExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlConstraintClause jmlConstraintClause, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlConstraintClause jmlConstraintClause, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlConstraintClause jmlConstraintClause, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlConstraintClause jmlConstraintClause, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlDoStatement doStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(JmlDoStatement doStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(JmlDoStatement doStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlDoStatement doStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlDoStatement doStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlDoStatement doStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlElemtypeExpression jmlElemtypeExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlElemtypeExpression jmlElemtypeExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlElemtypeExpression jmlElemtypeExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlExplicitConstructorCall jmlExplicitConstructorCall, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlExplicitConstructorCall jmlExplicitConstructorCall, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlExplicitConstructorCall jmlExplicitConstructorCall, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlFieldReference fieldReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlFieldReference fieldReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlFieldReference fieldReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlFieldReference fieldReference, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(JmlForeachStatement jmlforeachStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(JmlForeachStatement foreachStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlForStatement forStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(JmlForStatement forStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(JmlForStatement forStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlForStatement forStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlForStatement forStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlForStatement forStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlFreshExpression jmlFreshExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlFreshExpression jmlFreshExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlFreshExpression jmlFreshExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlGroupName jmlGroupName, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlGroupName jmlGroupName, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlGroupName jmlGroupName, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlMapsIntoClause jmlMapsIntoClause, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlMapsIntoClause jmlMapsIntoClause, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlMapsIntoClause jmlMapsIntoClause, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlMessageSend messageSend, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlMessageSend messageSend, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlMessageSend messageSend, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlMessageSend messageSend, BlockScope scope)`
`void`	`JmlNullifier.endVisit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlModifier jmlModifier, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlModifier jmlModifier, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlModifier jmlModifier, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlName jmlName, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlName jmlName, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlName jmlName, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlNumericQuantifier jmlNumericQuantifier, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlNumericQuantifier jmlNumericQuantifier, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlNumericQuantifier jmlNumericQuantifier, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlQuantifiedExpression jmlQuantifiedExpression, BlockScope blockScope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlQuantifiedExpression jmlQuantifiedExpression, BlockScope blockScope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlQuantifiedExpression expr, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlQuantifiedExpression expr, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlRequiresClause requiresClause, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlRequiresClause requiresClause, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlRequiresClause requiresClause, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlRequiresClause requiresClause, BlockScope scope)`
`void`	`JmlNullifier.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlReturnStatement returnStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlReturnStatement returnStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlReturnStatement returnStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlReturnStatement returnStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSetComprehension jmlSetComprehension, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSetComprehension jmlSetComprehension, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSetComprehension jmlSetComprehension, BlockScope scope)`
`boolean`	`JmlAstVisitor.endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSignalsClause jmlSignalsClause, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlSignalsClause jmlSignalsClause, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSignalsClause jmlSignalsClause, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSignalsClause jmlSignalsClause, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSpecCaseHeader jmlSpecCaseHeader, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSpecCaseHeader jmlSpecCaseHeader, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSpecCaseHeader jmlSpecCaseHeader, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlStoreRefExpression jmlStoreRefExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlStoreRefExpression jmlStoreRefExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlStoreRefExpression jmlStoreRefExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlSubtypeExpression jmlSubtypeExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlSubtypeExpression jmlSubtypeExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlSubtypeExpression jmlSubtypeExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlTypeExpression expression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlTypeExpression expression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlTypeExpression expression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlTypeofExpression jmlTypeofExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlTypeofExpression jmlTypeofExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(JmlWhileStatement jmlwhileStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(JmlWhileStatement jmlwhileStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`JmlAstVisitor.endVisit(JmlWildcard wildcard, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(JmlWildcard wildcard, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(JmlWildcard wildcard, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(JmlWildcard wildcard, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(LocalDeclaration localDeclaration, BlockScope scope)` A visitor method to check whether a localDeclaration have ghost modifier, `ghost`.
`void`	`DefaultRacAstVisitor.endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(LongLiteral longLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(LongLiteral longLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(LongLiteral longLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(LongLiteral longLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(MarkerAnnotation annotation, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(MarkerAnnotation annotation, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(MarkerAnnotation annotation, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(MarkerAnnotation annotation, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(MemberValuePair pair, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(MemberValuePair pair, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(MemberValuePair pair, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(MemberValuePair pair, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(NormalAnnotation annotation, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(NormalAnnotation annotation, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(NormalAnnotation annotation, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(NormalAnnotation annotation, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(NullLiteral nullLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(NullLiteral nullLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(NullLiteral nullLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(NullLiteral nullLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(SingleMemberAnnotation annotation, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(SingleMemberAnnotation annotation, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(SingleMemberAnnotation annotation, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(SingleMemberAnnotation annotation, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(StringLiteral stringLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(StringLiteral stringLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(StringLiteral stringLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(StringLiteral stringLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(StringLiteralConcatenation literal, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(StringLiteralConcatenation literal, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(StringLiteralConcatenation literal, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(StringLiteralConcatenation literal, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(SuperReference superReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(SuperReference superReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(SuperReference superReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(SuperReference superReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(SwitchStatement switchStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(SwitchStatement switchStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(SwitchStatement switchStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(SwitchStatement switchStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ThisReference thisReference, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ThisReference thisReference, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ThisReference thisReference, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ThisReference thisReference, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(ThrowStatement throwStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(ThrowStatement throwStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(ThrowStatement throwStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(ThrowStatement throwStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(TryStatement tryStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(TryStatement tryStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(TryStatement tryStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(TryStatement tryStatement, BlockScope scope)`
`void`	`JmlNullifier.endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(TypeParameter typeParameter, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(TypeParameter typeParameter, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(TypeParameter typeParameter, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(TypeParameter typeParameter, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`InlineAssertionVisitor.endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`InlineAssertionMerger.endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`JavaAstVisitor.endVisit(Wildcard wildcard, BlockScope scope)`
`void`	`DefaultRacAstVisitor.endVisit(Wildcard wildcard, BlockScope scope)`
`void`	`AstDirtyBitsRetriever.endVisit(Wildcard wildcard, BlockScope scope)`
`void`	`AstDirtyBitsRestorer.endVisit(Wildcard wildcard, BlockScope scope)`
`void`	`DesugarSpec.traverse(JmlMethodSpecification self, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(AllocationExpression allocationExpression, BlockScope scope)` Used to allocate new objects.
`boolean`	`DefaultRacAstVisitor.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(AllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(AND_AND_Expression and_and_Expression, BlockScope scope)` Expressions separated by the 'AND' operator.
`boolean`	`DefaultRacAstVisitor.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(Argument argument, BlockScope scope)` Examples include:
`boolean`	`DefaultRacAstVisitor.visit(Argument argument, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(Argument argument, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(Argument argument, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)` An allocation expression that contains square brackets to create an array.
`boolean`	`DefaultRacAstVisitor.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ArrayInitializer arrayInitializer, BlockScope scope)` Expression that contains elements with different initial values, at the end of the allocation expression.
`boolean`	`DefaultRacAstVisitor.visit(ArrayInitializer arrayInitializer, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ArrayInitializer arrayInitializer, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ArrayInitializer arrayInitializer, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)` An array type which has a fully qualified name/type associated with it.
`boolean`	`DefaultRacAstVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ArrayReference arrayReference, BlockScope scope)` Referencing a particular array location.
`boolean`	`DefaultRacAstVisitor.visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)` Referencing an array type.
`boolean`	`DefaultRacAstVisitor.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(AssertStatement assertStatement, BlockScope scope)` Statement that is used to test an assumption is true or false.
`boolean`	`DefaultRacAstVisitor.visit(AssertStatement assertStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(AssertStatement assertStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(AssertStatement assertStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(Assignment assignment, BlockScope scope)` Statement that assigns a value to another variable.
`boolean`	`DefaultRacAstVisitor.visit(Assignment assignment, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(Assignment assignment, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(Assignment assignment, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(BinaryExpression binaryExpression, BlockScope scope)` Expressions containing left and right expressions combined by a binary operator.
`boolean`	`DefaultRacAstVisitor.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(Block block, BlockScope scope)` Sequence of statements within braces.
`boolean`	`InlineAssertionVisitor.visit(Block block, BlockScope scope)`
`boolean`	`InlineAssertionMerger.visit(Block block, BlockScope scope)` Overridden Visitor methods to keep track of inline statements that are not embedded inside blocks.
`boolean`	`DefaultRacAstVisitor.visit(Block block, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(Block block, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(Block block, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(BreakStatement breakStatement, BlockScope scope)` Used to transfer control out of an enclosing statement.
`boolean`	`DefaultRacAstVisitor.visit(BreakStatement breakStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(BreakStatement breakStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(BreakStatement breakStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(CaseStatement caseStatement, BlockScope scope)` Examples include:
`boolean`	`DefaultRacAstVisitor.visit(CaseStatement caseStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(CaseStatement caseStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(CaseStatement caseStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(CastExpression castExpression, BlockScope scope)` Expression that converts one type to the other type.
`boolean`	`DefaultRacAstVisitor.visit(CastExpression castExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(CastExpression castExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(CastExpression castExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(CharLiteral charLiteral, BlockScope scope)` Is a representation of a fixed value of type char.
`boolean`	`DefaultRacAstVisitor.visit(CharLiteral charLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(CharLiteral charLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(CharLiteral charLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ClassLiteralAccess classLiteral, BlockScope scope)` An expression consisting of the name of a class, interface, array, or primitive type followed by `.' and the token class.
`boolean`	`DefaultRacAstVisitor.visit(ClassLiteralAccess classLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ClassLiteralAccess classLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ClassLiteralAccess classLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(CombinedBinaryExpression expr, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(CombinedBinaryExpression expr, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(CompoundAssignment compoundAssignment, BlockScope scope)` Assignment statements which compute and assign at the same time.
`boolean`	`DefaultRacAstVisitor.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ConditionalExpression conditionalExpression, BlockScope scope)` A compound expression that contains a condition, an expression to be evaluated if the condition evaluates to true, and an expression to be evaluated if the condition has the value false.
`boolean`	`DefaultRacAstVisitor.visit(ConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ContinueStatement continueStatement, BlockScope scope)` Passes control to the loop-continuation point of an iteration statement.
`boolean`	`DefaultRacAstVisitor.visit(ContinueStatement continueStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ContinueStatement continueStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ContinueStatement continueStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(DoStatement doStatement, BlockScope scope)` Iterative statement that iterates atleast once.
`boolean`	`InlineAssertionVisitor.visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`InlineAssertionMerger.visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(DoubleLiteral doubleLiteral, BlockScope scope)` Literal signifying a double type.
`boolean`	`DefaultRacAstVisitor.visit(DoubleLiteral doubleLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(DoubleLiteral doubleLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(DoubleLiteral doubleLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(EmptyStatement emptyStatement, BlockScope scope)` Statement that performs no action and obviously has no effect.
`boolean`	`DefaultRacAstVisitor.visit(EmptyStatement emptyStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(EmptyStatement emptyStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(EmptyStatement emptyStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(EqualExpression equalExpression, BlockScope scope)` Expression that checks for equality.
`boolean`	`DefaultRacAstVisitor.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)` A constructor call that calls a parameterized constructor instead of the default constructor.
`boolean`	`DefaultRacAstVisitor.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)` Occurs when two or more string literals are concatenated.
`boolean`	`DefaultRacAstVisitor.visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(FalseLiteral falseLiteral, BlockScope scope)` Expression that contains a false literal.
`boolean`	`DefaultRacAstVisitor.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(FieldReference fieldReference, BlockScope scope)` Referencing a field of a class.
`boolean`	`DefaultRacAstVisitor.visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(FloatLiteral floatLiteral, BlockScope scope)` Literal signifying a float type.
`boolean`	`DefaultRacAstVisitor.visit(FloatLiteral floatLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(FloatLiteral floatLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(FloatLiteral floatLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ForeachStatement forStatement, BlockScope scope)` Enhanced version of the for loop to make iteration over arrays and other collections more convenient.
`boolean`	`InlineAssertionVisitor.visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`InlineAssertionMerger.visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ForStatement forStatement, BlockScope scope)` Provides a compact-form to iterate over a range of values.
`boolean`	`InlineAssertionVisitor.visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`InlineAssertionMerger.visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(IfStatement ifStatement, BlockScope scope)` Control-flow statement that executes a portion of code only if condition is evaluated to true.
`boolean`	`InlineAssertionVisitor.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`InlineAssertionMerger.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)` Expression containing the instanceof operator.
`boolean`	`DefaultRacAstVisitor.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(IntLiteral intLiteral, BlockScope scope)` Literal signifying integer type.
`boolean`	`DefaultRacAstVisitor.visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlArrayReference arrayReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlArrayReference arrayReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlArrayReference arrayReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlArrayReference arrayReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlAssertStatement assertStatement, BlockScope scope)` Inside an annotation, an assert statement is JML assert statement.
`boolean`	`InlineAssertionVisitor.visit(JmlAssertStatement stmt, BlockScope scope)` Overridden here to visit and translate the given JML assert statement into RAC code.
`boolean`	`DefaultRacAstVisitor.visit(JmlAssertStatement assertStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlAssertStatement assertStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlAssertStatement assertStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlAssignableClause jmlAssignableClause, BlockScope scope)` Gives a frame axiom for a specification.
`boolean`	`DefaultRacAstVisitor.visit(JmlAssignableClause jmlAssignableClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlAssignableClause jmlAssignableClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlAssignableClause jmlAssignableClause, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlAssumeStatement assumeStatement, BlockScope scope)` Statements which are assumed to be true (in static analysis tools).
`boolean`	`InlineAssertionVisitor.visit(JmlAssumeStatement stmt, BlockScope scope)` Overridden here to visit and translate the given JML assume statement into RAC code.
`boolean`	`DefaultRacAstVisitor.visit(JmlAssumeStatement assertStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlAssumeStatement assertStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlAssumeStatement assertStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlBooleanQuantifier jmlBooleanQuantifier, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlBooleanQuantifier jmlBooleanQuantifier, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlBooleanQuantifier jmlBooleanQuantifier, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlCastExpression castExpression, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlCastExpression castExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlCastExpression castExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlCastExpression castExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlConstraintClause jmlConstraintClause, BlockScope scope)` Are relationships that should hold for the combination of each visible state and any visible state that occurs later in the program�s execution.
`boolean`	`DefaultRacAstVisitor.visit(JmlConstraintClause jmlConstraintClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlConstraintClause jmlConstraintClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlConstraintClause jmlConstraintClause, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlDoStatement doStatement, BlockScope scope)`
`boolean`	`InlineAssertionVisitor.visit(JmlDoStatement doStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlDoStatement doStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlDoStatement doStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlDoStatement doStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlElemtypeExpression jmlElemtypeExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlElemtypeExpression jmlElemtypeExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlElemtypeExpression jmlElemtypeExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlEnsuresClause ensuresClause, BlockScope scope)` An ensures clause specifies a normal postcondition, i.e., a property that is guaranteed to hold at the end of the method (or constructor) invocation in the case that this method (or constructor) invocation returns without throwing an exception.
`boolean`	`DefaultRacAstVisitor.visit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlExplicitConstructorCall jmlExplicitConstructorCall, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlExplicitConstructorCall jmlExplicitConstructorCall, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlExplicitConstructorCall jmlExplicitConstructorCall, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlFieldReference fieldReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlFieldReference fieldReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlFieldReference fieldReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlFieldReference fieldReference, BlockScope scope)`
`boolean`	`InlineAssertionVisitor.visit(JmlForeachStatement foeachStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlForStatement forStatement, BlockScope scope)`
`boolean`	`InlineAssertionVisitor.visit(JmlForStatement forStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlForStatement forStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlForStatement forStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlForStatement forStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlFreshExpression jmlFreshExpression, BlockScope scope)` Asserts that objects were freshly allocated.
`boolean`	`AstDirtyBitsRetriever.visit(JmlFreshExpression jmlFreshExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlFreshExpression jmlFreshExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlGroupName jmlGroupName, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlGroupName jmlGroupName, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlGroupName jmlGroupName, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)` Is used to help prove partial correctness of a loop statement.
`boolean`	`DefaultRacAstVisitor.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)` Is used to help prove termination of a loop statement.
`boolean`	`DefaultRacAstVisitor.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlMapsIntoClause jmlMapsIntoClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlMapsIntoClause jmlMapsIntoClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlMapsIntoClause jmlMapsIntoClause, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlMessageSend messageSend, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlMessageSend messageSend, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlMessageSend messageSend, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlMessageSend messageSend, BlockScope scope)`
`boolean`	`JmlNullifier.visit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`boolean`	`DesugarSpec.visit(JmlMethodSpecification self, BlockScope scope)` Desugars the given JML specification.
`boolean`	`AstDirtyBitsRetriever.visit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlMethodSpecification jmlMethodSpecification, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlModifier jmlModifier, BlockScope scope)` In addition to the Java modifiers that can be legally attached to a class or interface definition [Gosling-etal00], in JML one can use the following modifiers.
`boolean`	`AstDirtyBitsRetriever.visit(JmlModifier jmlModifier, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlModifier jmlModifier, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlName jmlName, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlName jmlName, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlName jmlName, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlNumericQuantifier jmlNumericQuantifier, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlNumericQuantifier jmlNumericQuantifier, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlNumericQuantifier jmlNumericQuantifier, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlOldExpression jmlOldExpression, BlockScope scope)` Refers to the value that the expression had in the pre-state of a method.
`boolean`	`DefaultRacAstVisitor.visit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlQuantifiedExpression jmlQuantifiedExpression, BlockScope blockScope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlQuantifiedExpression jmlQuantifiedExpression, BlockScope blockScope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlQuantifiedExpression expr, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlQuantifiedExpression expr, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlRequiresClause requiresClause, BlockScope scope)` Specifies a precondition of method or constructor.
`boolean`	`DefaultRacAstVisitor.visit(JmlRequiresClause requiresClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlRequiresClause requiresClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlRequiresClause requiresClause, BlockScope scope)`
`boolean`	`JmlNullifier.visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlResultReference resultReference, BlockScope scope)` The primary \result can only be used in non-void method.
`boolean`	`DefaultRacAstVisitor.visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlReturnStatement returnStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlReturnStatement returnStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlReturnStatement returnStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlReturnStatement returnStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSetComprehension jmlSetComprehension, BlockScope scope)` It is used to succinctly define sets.
`boolean`	`AstDirtyBitsRetriever.visit(JmlSetComprehension jmlSetComprehension, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSetComprehension jmlSetComprehension, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSetStatement jmlSetStatement, BlockScope scope)` Is the equivalent of an assignment statement but is within an annotation.
`boolean`	`InlineAssertionVisitor.visit(JmlSetStatement stmt, BlockScope scope)` Overridden here to visit and translate the given JML set statement into RAC code.
`boolean`	`DefaultRacAstVisitor.visit(JmlSetStatement jmlSetStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSetStatement jmlSetStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSetStatement jmlSetStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSignalsClause jmlSignalsClause, BlockScope scope)` Specifies the exceptional or abnormal postcondition, i.e., the property that is guaranteed to hold at the end of a method (or constructor) invocation when this method (or constructor) invocation terminates abruptly by throwing a given exception.
`boolean`	`DefaultRacAstVisitor.visit(JmlSignalsClause jmlSignalsClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSignalsClause jmlSignalsClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSignalsClause jmlSignalsClause, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)` Is an abbreviation for a signals-clause that specifies what exceptions may be thrown by a method, and thus, implicitly, what exceptions may not be thrown.
`boolean`	`DefaultRacAstVisitor.visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)`
`boolean`	`DesugarSpec.visit(JmlSpecCaseBlock self, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`boolean`	`DesugarSpec.visit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSpecCase jmlSpecCase, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`boolean`	`DesugarSpec.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSpecCaseHeader jmlSpecCaseHeader, BlockScope scope)` Method specification for checking precondition of method or constructor.
`boolean`	`AstDirtyBitsRetriever.visit(JmlSpecCaseHeader jmlSpecCaseHeader, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSpecCaseHeader jmlSpecCaseHeader, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)`
`boolean`	`DesugarSpec.visit(JmlSpecCaseRestAsClauseSeq self, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)`
`boolean`	`DesugarSpec.visit(JmlSpecCaseRest self, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlStoreRefExpression jmlStoreRefExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlStoreRefExpression jmlStoreRefExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlStoreRefExpression jmlStoreRefExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlSubtypeExpression jmlSubtypeExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlSubtypeExpression jmlSubtypeExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlSubtypeExpression jmlSubtypeExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlTypeExpression expression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlTypeExpression expression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlTypeofExpression jmlTypeofExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlTypeofExpression jmlTypeofExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlTypeofExpression jmlTypeofExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`InlineAssertionVisitor.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`JmlAstVisitor.visit(JmlWildcard wildcard, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(JmlWildcard wildcard, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(JmlWildcard wildcard, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(JmlWildcard wildcard, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(LabeledStatement labeledStatement, BlockScope scope)` A statement which has a label followed by statements.
`boolean`	`InlineAssertionVisitor.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`InlineAssertionMerger.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)` Declaration within a method body.
`boolean`	`DefaultRacAstVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(LongLiteral longLiteral, BlockScope scope)` Literal that are of long type.
`boolean`	`DefaultRacAstVisitor.visit(LongLiteral longLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(LongLiteral longLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(LongLiteral longLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(MessageSend messageSend, BlockScope scope)` Calling a method.
`boolean`	`DefaultRacAstVisitor.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(NullLiteral nullLiteral, BlockScope scope)` Expression that contains the null keyword.
`boolean`	`DefaultRacAstVisitor.visit(NullLiteral nullLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(NullLiteral nullLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(NullLiteral nullLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(OR_OR_Expression or_or_Expression, BlockScope scope)` Expressions that contain an 'or' short-circuit operator.
`boolean`	`DefaultRacAstVisitor.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)` Specifying a particular type (fully qualified name) at compile time to allow a specific, single object.
`boolean`	`DefaultRacAstVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)` Specifying a particular type at compile time to allow a specific, single object.
`boolean`	`DefaultRacAstVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(PostfixExpression postfixExpression, BlockScope scope)` Expressions involving prefix operators.
`boolean`	`DefaultRacAstVisitor.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(PrefixExpression prefixExpression, BlockScope scope)` Expressions involving prefix operators.
`boolean`	`DefaultRacAstVisitor.visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`ResolutionNullifier.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)` Allocation of an anonymous Type.
`boolean`	`DefaultRacAstVisitor.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)` Referencing a name using full qualified name.
`boolean`	`DefaultRacAstVisitor.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)` Is used in a subclass to access overridden/inherited methods using fully qualified name.
`boolean`	`DefaultRacAstVisitor.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)` Referencing to the current object using fully qualified name � the object whose method or constructor is being called.
`boolean`	`DefaultRacAstVisitor.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)` Referencing a particular type with fully qualified name.
`boolean`	`DefaultRacAstVisitor.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ReturnStatement returnStatement, BlockScope scope)` Statement that returns a value from a method.
`boolean`	`DefaultRacAstVisitor.visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(SingleTypeReference singleTypeReference, BlockScope scope)` Referencing a type.
`boolean`	`DefaultRacAstVisitor.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(StringLiteral stringLiteral, BlockScope scope)` Anything enclosed within double-quotes.
`boolean`	`DefaultRacAstVisitor.visit(StringLiteral stringLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(StringLiteral stringLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(StringLiteral stringLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(StringLiteralConcatenation literal, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(StringLiteralConcatenation literal, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(StringLiteralConcatenation literal, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(StringLiteralConcatenation literal, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(SuperReference superReference, BlockScope scope)` Used in the definitions of instance methods.
`boolean`	`DefaultRacAstVisitor.visit(SuperReference superReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(SuperReference superReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(SuperReference superReference, BlockScope scope)`
`boolean`	`ResolutionNullifier.visit(SwitchStatement switchStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(SwitchStatement switchStatement, BlockScope scope)` A statement involving switch-case block.
`boolean`	`DefaultRacAstVisitor.visit(SwitchStatement switchStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(SwitchStatement switchStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(SwitchStatement switchStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(SynchronizedStatement synchronizedStatement, BlockScope scope)` Used to acquire a mutual-exclusion lock on behalf of the executing thread, executes a block, then releases the lock.
`boolean`	`DefaultRacAstVisitor.visit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ThisReference thisReference, BlockScope scope)` A reference to the current object � the object whose method or constructor is being called.
`boolean`	`DefaultRacAstVisitor.visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(ThrowStatement throwStatement, BlockScope scope)` Used to throw an exception.
`boolean`	`DefaultRacAstVisitor.visit(ThrowStatement throwStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(ThrowStatement throwStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(ThrowStatement throwStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(TrueLiteral trueLiteral, BlockScope scope)` Expression that contains the true keyword.
`boolean`	`DefaultRacAstVisitor.visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(TryStatement tryStatement, BlockScope scope)` Statement denoting a try-catch block.
`boolean`	`DefaultRacAstVisitor.visit(TryStatement tryStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(TryStatement tryStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(TryStatement tryStatement, BlockScope scope)`
`boolean`	`JmlNullifier.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)` Declaring an inner type within a method body.
`boolean`	`DefaultRacAstVisitor.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(UnaryExpression unaryExpression, BlockScope scope)` Expressions having unary operators.
`boolean`	`DefaultRacAstVisitor.visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(WhileStatement whileStatement, BlockScope scope)` A loop that is continuously iterated while the a particular condition is true.
`boolean`	`InlineAssertionVisitor.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`InlineAssertionMerger.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`JavaAstVisitor.visit(Wildcard wildcard, BlockScope scope)`
`boolean`	`DefaultRacAstVisitor.visit(Wildcard wildcard, BlockScope scope)`
`boolean`	`AstDirtyBitsRetriever.visit(Wildcard wildcard, BlockScope scope)`
`boolean`	`AstDirtyBitsRestorer.visit(Wildcard wildcard, BlockScope scope)`
`void`	`DesugarSpec.visitJmlExtendingSpecification(JmlMethodSpecification self, BlockScope scope)` Desugar an extending specification.

Uses of BlockScope in org.jmlspecs.jml4.util

Methods in org.jmlspecs.jml4.util with parameters of type BlockScope
`boolean`	`HasSideEffectsVisitor.visit(Assignment assignment, BlockScope scope)`
`boolean`	`HasSideEffectsVisitor.visit(CompoundAssignment assignment, BlockScope scope)`
`boolean`	`HasSideEffectsVisitor.visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`HasSideEffectsVisitor.visit(PostfixExpression assignment, BlockScope scope)`
`boolean`	`HasSideEffectsVisitor.visit(PrefixExpression assignment, BlockScope scope)`

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Classorg.eclipse.jdt.internal.compiler.lookup.BlockScope

Uses of Class
org.eclipse.jdt.internal.compiler.lookup.BlockScope