Uses of Class
org.eclipse.jdt.internal.compiler.ast.ASTNode

Packages that use ASTNode

org.eclipse.jdt.internal.codeassist
org.eclipse.jdt.internal.codeassist.complete
org.eclipse.jdt.internal.codeassist.impl
org.eclipse.jdt.internal.codeassist.select
org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.codegen
org.eclipse.jdt.internal.compiler.flow
org.eclipse.jdt.internal.compiler.parser
org.eclipse.jdt.internal.compiler.problem
org.eclipse.jdt.internal.core.search.matching
org.eclipse.jdt.internal.core.util
org.eclipse.jdt.internal.eval
org.eclipse.jdt.internal.formatter
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.fspv.theory.ast
org.jmlspecs.jml4.rac
org.jmlspecs.jml4.rac.quantifiedexpression

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

Constructors in org.eclipse.jdt.internal.codeassist with parameters of type ASTNode

CompletionElementNotifier(CompletionUnitStructureRequestor requestor, boolean reportLocalDeclarations, ASTNode assistNode)

CompletionUnitStructureRequestor(ICompilationUnit unit, CompilationUnitElementInfo unitInfo, Parser parser, ASTNode assistNode, java.util.Map bindingCache, java.util.Map elementCache, java.util.Map elementWithProblemCache, java.util.Map newElements)

InternalExtendedCompletionContext(InternalCompletionContext completionContext, ITypeRoot typeRoot, CompilationUnitDeclaration compilationUnitDeclaration, LookupEnvironment lookupEnvironment, Scope assistScope, ASTNode assistNode, WorkingCopyOwner owner, CompletionParser parser)

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

Subclasses of ASTNode in org.eclipse.jdt.internal.codeassist.complete

class	CompletionJavadoc Node representing a Javadoc comment including code selection.
class	CompletionOnAnnotationMemberValuePair
class	CompletionOnAnnotationOfType
class	CompletionOnArgumentName
class	CompletionOnBrankStatementLabel
class	CompletionOnClassLiteralAccess
class	CompletionOnExplicitConstructorCall
class	CompletionOnFieldName
class	CompletionOnFieldType
class	CompletionOnImportReference
class	CompletionOnJavadocAllocationExpression
class	CompletionOnJavadocFieldReference
class	CompletionOnJavadocMessageSend
class	CompletionOnJavadocParamNameReference
class	CompletionOnJavadocQualifiedTypeReference
class	CompletionOnJavadocSingleTypeReference
class	CompletionOnJavadocTag
class	CompletionOnJavadocTypeParamReference
class	CompletionOnKeyword1
class	CompletionOnKeyword2
class	CompletionOnKeyword3
class	CompletionOnLocalName
class	CompletionOnMarkerAnnotationName
class	CompletionOnMemberAccess
class	CompletionOnMemberValueName
class	CompletionOnMessageSend
class	CompletionOnMessageSendName
class	CompletionOnMethodName
class	CompletionOnMethodReturnType
class	CompletionOnMethodTypeParameter
class	CompletionOnPackageReference
class	CompletionOnParameterizedQualifiedTypeReference
class	CompletionOnQualifiedAllocationExpression
class	CompletionOnQualifiedNameReference
class	CompletionOnQualifiedTypeReference
class	CompletionOnSingleNameReference
class	CompletionOnSingleTypeReference
class	CompletionOnStringLiteral

Fields in org.eclipse.jdt.internal.codeassist.complete declared as ASTNode

ASTNode	CompletionParser.assistNodeParent
ASTNode	CompletionNodeFound.astNode
ASTNode	CompletionParser.enclosingNode
ASTNode	CompletionOnAnnotationOfType.potentialAnnotatedNode

Methods in org.eclipse.jdt.internal.codeassist.complete that return ASTNode

ASTNode

CompletionNodeDetector.getCompletionNodeParent()

Constructors in org.eclipse.jdt.internal.codeassist.complete with parameters of type ASTNode

CompletionNodeDetector(ASTNode searchedNode, ASTNode visitedAst)

CompletionNodeFound(ASTNode astNode, Binding qualifiedBinding, Scope scope)

CompletionNodeFound(ASTNode astNode, Binding qualifiedBinding, Scope scope, boolean insideTypeAnnotation)

CompletionNodeFound(ASTNode astNode, Scope scope)

CompletionNodeFound(ASTNode astNode, Scope scope, boolean insideTypeAnnotation)

Uses of ASTNode in org.eclipse.jdt.internal.codeassist.impl

Fields in org.eclipse.jdt.internal.codeassist.impl declared as ASTNode

ASTNode

AssistParser.assistNode

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

Subclasses of ASTNode in org.eclipse.jdt.internal.codeassist.select

class	SelectionJavadoc Node representing a Javadoc comment including code selection.
class	SelectionOnArgumentName
class	SelectionOnExplicitConstructorCall
class	SelectionOnFieldReference
class	SelectionOnFieldType
class	SelectionOnImportReference
class	SelectionOnLocalName
class	SelectionOnMessageSend
class	SelectionOnNameOfMemberValuePair
class	SelectionOnPackageReference
class	SelectionOnParameterizedQualifiedTypeReference
class	SelectionOnParameterizedSingleTypeReference
class	SelectionOnQualifiedAllocationExpression
class	SelectionOnQualifiedNameReference
class	SelectionOnQualifiedSuperReference
class	SelectionOnQualifiedTypeReference
class	SelectionOnSingleNameReference
class	SelectionOnSingleTypeReference
class	SelectionOnSuperReference

Fields in org.eclipse.jdt.internal.codeassist.select declared as ASTNode

ASTNode

SelectionParser.assistNodeParent

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

Subclasses of ASTNode in org.eclipse.jdt.internal.compiler.ast

class	AbstractMethodDeclaration
class	AbstractVariableDeclaration
class	AllocationExpression
class	AND_AND_Expression
class	Annotation Annotation
class	AnnotationMethodDeclaration
class	Argument
class	ArrayAllocationExpression
class	ArrayInitializer
class	ArrayQualifiedTypeReference
class	ArrayReference
class	ArrayTypeReference
class	AssertStatement
class	Assignment
class	BinaryExpression
class	Block
class	BranchStatement
class	BreakStatement
class	CaseStatement
class	CastExpression
class	CharLiteral
class	ClassLiteralAccess
class	Clinit
class	CombinedBinaryExpression CombinedBinaryExpression is an implementation of BinaryExpression that specifically attempts to mitigate the issues raised by expressions which have a very deep leftmost branch.
class	CompilationUnitDeclaration
class	CompoundAssignment
class	ConditionalExpression
class	ConstructorDeclaration
class	ContinueStatement
class	DoStatement
class	DoubleLiteral
class	EmptyStatement
class	EqualExpression
class	ExplicitConstructorCall
class	Expression
class	ExtendedStringLiteral
class	FalseLiteral
class	FieldDeclaration
class	FieldReference
class	FloatLiteral
class	ForeachStatement
class	ForStatement
class	IfStatement
class	ImportReference
class	Initializer
class	InstanceOfExpression
class	IntLiteral
class	IntLiteralMinValue
class	Javadoc Node representing a structured Javadoc comment
class	JavadocAllocationExpression
class	JavadocArgumentExpression
class	JavadocArrayQualifiedTypeReference
class	JavadocArraySingleTypeReference
class	JavadocFieldReference
class	JavadocImplicitTypeReference
class	JavadocMessageSend
class	JavadocQualifiedTypeReference
class	JavadocReturnStatement
class	JavadocSingleNameReference
class	JavadocSingleTypeReference
class	LabeledStatement
class	Literal
class	LocalDeclaration
class	LongLiteral
class	LongLiteralMinValue
class	MagicLiteral
class	MarkerAnnotation
class	MemberValuePair MemberValuePair node
class	MessageSend
class	MethodDeclaration
class	NameReference
class	NormalAnnotation Normal annotation node
class	NullLiteral
class	NumberLiteral
class	OperatorExpression
class	OR_OR_Expression
class	ParameterizedQualifiedTypeReference Syntactic representation of a reference to a generic type.
class	ParameterizedSingleTypeReference Syntactic representation of a reference to a generic type.
class	PostfixExpression
class	PrefixExpression
class	QualifiedAllocationExpression Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
class	QualifiedNameReference
class	QualifiedSuperReference
class	QualifiedThisReference
class	QualifiedTypeReference
class	Reference
class	ReturnStatement
class	SingleMemberAnnotation SingleMemberAnnotation node
class	SingleNameReference
class	SingleTypeReference
class	Statement
class	StringLiteral
class	StringLiteralConcatenation Flatten string literal
class	SubRoutineStatement Extra behavior for statements which are generating subroutines
class	SuperReference
class	SwitchStatement
class	SynchronizedStatement
class	ThisReference
class	ThrowStatement
class	TrueLiteral
class	TryStatement
class	TypeDeclaration
class	TypeParameter
class	TypeReference
class	UnaryExpression
class	WhileStatement
class	Wildcard Node to represent Wildcard

Methods in org.eclipse.jdt.internal.compiler.ast that return ASTNode

ASTNode	LabeledStatement.concreteStatement()
ASTNode	ASTNode.concreteStatement()
ASTNode	Javadoc.getNodeStartingAt(int start)

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

Methods in org.eclipse.jdt.internal.compiler.codegen with parameters of type ASTNode

void	CodeStream.generateOuterAccess(java.lang.Object[] mappingSequence, ASTNode invocationSite, Binding target, Scope scope)
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 ASTNode in org.eclipse.jdt.internal.compiler.flow

Fields in org.eclipse.jdt.internal.compiler.flow declared as ASTNode

ASTNode	FlowContext.associatedNode
ASTNode[]	InitializationFlowContext.exceptionThrowers

Methods in org.eclipse.jdt.internal.compiler.flow with parameters of type ASTNode

void	FlowContext.checkExceptionHandlers(TypeBinding[] raisedExceptions, ASTNode location, FlowInfo flowInfo, BlockScope scope)
void	FlowContext.checkExceptionHandlers(TypeBinding raisedException, ASTNode location, FlowInfo flowInfo, BlockScope scope)
void	InitializationFlowContext.recordHandlingException(ReferenceBinding exceptionType, UnconditionalFlowInfo flowInfo, TypeBinding raisedException, ASTNode invocationSite, boolean wasMasked)
void	ExceptionHandlingFlowContext.recordHandlingException(ReferenceBinding exceptionType, UnconditionalFlowInfo flowInfo, TypeBinding raisedException, ASTNode invocationSite, boolean wasAlreadyDefinitelyCaught)

Constructors in org.eclipse.jdt.internal.compiler.flow with parameters of type ASTNode

ExceptionHandlingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, BlockScope scope, UnconditionalFlowInfo flowInfo)

FinallyFlowContext(FlowContext parent, ASTNode associatedNode)

FlowContext(FlowContext parent, ASTNode associatedNode)

InitializationFlowContext(FlowContext parent, ASTNode associatedNode, BlockScope scope)

InsideSubRoutineFlowContext(FlowContext parent, ASTNode associatedNode)

LabelFlowContext(FlowContext parent, ASTNode associatedNode, char[] labelName, BranchLabel breakLabel, BlockScope scope)

LoopingFlowContext(FlowContext parent, FlowInfo upstreamNullFlowInfo, ASTNode associatedNode, BranchLabel breakLabel, BranchLabel continueLabel, Scope associatedScope)

SwitchFlowContext(FlowContext parent, ASTNode associatedNode, BranchLabel breakLabel)

Uses of ASTNode in org.eclipse.jdt.internal.compiler.parser

Methods in org.eclipse.jdt.internal.compiler.parser that return ASTNode

ASTNode[]	Parser.parseClassBodyDeclarations(char[] source, int offset, int length, CompilationUnitDeclaration unit)
ASTNode	RecoveredUnit.parseTree()
ASTNode	RecoveredType.parseTree()
ASTNode	RecoveredStatement.parseTree()
ASTNode	RecoveredMethod.parseTree()
ASTNode	RecoveredLocalVariable.parseTree()
ASTNode	RecoveredImport.parseTree()
ASTNode	RecoveredField.parseTree()
ASTNode	RecoveredElement.parseTree()
ASTNode	RecoveredBlock.parseTree()
ASTNode	RecoveredAnnotation.parseTree()

Uses of ASTNode in org.eclipse.jdt.internal.compiler.problem

Methods in org.eclipse.jdt.internal.compiler.problem with parameters of type ASTNode

void	ProblemReporter.abortDueToInternalError(java.lang.String errorMessage, ASTNode location)
void	ProblemReporter.alreadyDefinedLabel(char[] labelName, ASTNode location)
void	ProblemReporter.boundCannotBeArray(ASTNode location, TypeBinding type)
void	ProblemReporter.boundMustBeAnInterface(ASTNode location, TypeBinding type)
void	ProblemReporter.cannotAssignToFinalField(FieldBinding field, ASTNode location)
void	ProblemReporter.cannotAssignToFinalLocal(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.cannotAssignToFinalOuterLocal(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.cannotReferToNonFinalOuterLocal(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.cannotReturnInInitializer(ASTNode location)
void	ProblemReporter.cannotThrowNull(ASTNode expression)
void	ProblemReporter.cannotThrowType(ASTNode exception, TypeBinding expectedType)
void	ProblemReporter.cannotUseSuperInJavaLangObject(ASTNode reference)
void	ProblemReporter.deprecatedField(FieldBinding field, ASTNode location)
void	ProblemReporter.deprecatedMethod(MethodBinding method, ASTNode location)
void	ProblemReporter.deprecatedType(TypeBinding type, ASTNode location)
void	ProblemReporter.duplicateBounds(ASTNode location, TypeBinding type)
void	ProblemReporter.duplicateDefaultCase(ASTNode statement)
void	ProblemReporter.duplicateInitializationOfFinalLocal(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.enumStaticFieldUsedDuringInitialization(FieldBinding field, ASTNode location)
void	ProblemReporter.errorThisSuperInStatic(ASTNode reference)
void	ProblemReporter.forbiddenReference(FieldBinding field, ASTNode location, byte classpathEntryType, java.lang.String classpathEntryName, int problemId)
void	ProblemReporter.forbiddenReference(MethodBinding method, ASTNode location, byte classpathEntryType, java.lang.String classpathEntryName, int problemId)
void	ProblemReporter.forbiddenReference(TypeBinding type, ASTNode location, byte classpathEntryType, java.lang.String classpathEntryName, int problemId)
void	ProblemReporter.forwardTypeVariableReference(ASTNode location, TypeVariableBinding type)
void	ProblemReporter.hiddenCatchBlock(ReferenceBinding exceptionType, ASTNode location)
void	ProblemReporter.illegalAccessFromTypeVariable(TypeVariableBinding variable, ASTNode location)
void	ProblemReporter.illegalClassLiteralForTypeVariable(TypeVariableBinding variable, ASTNode location)
void	ProblemReporter.illegalGenericArray(TypeBinding leafComponentType, ASTNode location)
void	ProblemReporter.illegalInstanceOfGenericType(TypeBinding checkedType, ASTNode location)
void	ProblemReporter.illegalPrimitiveOrArrayTypeForEnclosingInstance(TypeBinding enclosingType, ASTNode location)
void	ProblemReporter.illegalVoidExpression(ASTNode location)
void	ProblemReporter.incorrectArityForParameterizedType(ASTNode location, TypeBinding type, TypeBinding[] argumentTypes)
void	ProblemReporter.indirectAccessToStaticField(ASTNode location, FieldBinding field)
void	ProblemReporter.indirectAccessToStaticMethod(ASTNode location, MethodBinding method)
void	ProblemReporter.inheritedMethodsHaveIncompatibleReturnTypes(ASTNode location, MethodBinding[] inheritedMethods, int length)
void	ProblemReporter.invalidBreak(ASTNode location)
void	ProblemReporter.invalidContinue(ASTNode location)
void	ProblemReporter.invalidExplicitConstructorCall(ASTNode location)
void	ProblemReporter.invalidParameterizedExceptionType(TypeBinding exceptionType, ASTNode location)
void	ProblemReporter.invalidParenthesizedExpression(ASTNode reference)
void	ProblemReporter.invalidType(ASTNode location, TypeBinding type)
void	ProblemReporter.invalidTypeVariableAsException(TypeBinding exceptionType, ASTNode location)
void	ProblemReporter.javadocDeprecatedField(FieldBinding field, ASTNode location, int modifiers)
void	ProblemReporter.javadocDeprecatedMethod(MethodBinding method, ASTNode location, int modifiers)
void	ProblemReporter.javadocDeprecatedType(TypeBinding type, ASTNode location, int modifiers)
void	ProblemReporter.javadocInvalidType(ASTNode location, TypeBinding type, int modifiers)
void	ProblemReporter.localVariableNonNullComparedToNull(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.localVariableNullComparedToNonNull(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.localVariableNullInstanceof(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.localVariableNullReference(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.localVariablePotentialNullReference(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.localVariableRedundantCheckOnNonNull(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.localVariableRedundantCheckOnNull(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.localVariableRedundantNullAssignment(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.missingTypeInConstructor(ASTNode location, MethodBinding constructor)
void	ProblemReporter.needImplementation(ASTNode location)
void	ProblemReporter.needToEmulateFieldAccess(FieldBinding field, ASTNode location, boolean isReadAccess)
void	ProblemReporter.needToEmulateMethodAccess(MethodBinding method, ASTNode location)
void	ProblemReporter.noMoreAvailableSpaceForArgument(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.noMoreAvailableSpaceForLocal(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.nonExternalizedStringLiteral(ASTNode location)
void	ProblemReporter.nonGenericTypeCannotBeParameterized(int index, ASTNode location, TypeBinding type, TypeBinding[] argumentTypes)
void	ProblemReporter.nonStaticAccessToStaticField(ASTNode location, FieldBinding field)
void	ProblemReporter.nonStaticAccessToStaticField(ASTNode location, FieldBinding field, int index)
void	ProblemReporter.nonStaticAccessToStaticMethod(ASTNode location, MethodBinding method)
void	ProblemReporter.noSuchEnclosingInstance(TypeBinding targetType, ASTNode location, boolean isConstructorCall)
void	ProblemReporter.parameterAssignment(LocalVariableBinding local, ASTNode location)
void	ProblemReporter.parameterizedMemberTypeMissingArguments(ASTNode location, TypeBinding type)
void	ProblemReporter.rawMemberTypeCannotBeParameterized(ASTNode location, ReferenceBinding type, TypeBinding[] argumentTypes)
void	ProblemReporter.rawTypeReference(ASTNode location, TypeBinding type)
void	ProblemReporter.shouldReturn(TypeBinding returnType, ASTNode location)
void	ProblemReporter.staticFieldAccessToNonStaticVariable(ASTNode location, FieldBinding field)
void	ProblemReporter.staticMemberOfParameterizedType(ASTNode location, ReferenceBinding type)
void	ProblemReporter.stringConstantIsExceedingUtf8Limit(ASTNode location)
void	ProblemReporter.superinterfacesCollide(TypeBinding type, ASTNode decl, TypeBinding superType, TypeBinding inheritedSuperType)
void	ProblemReporter.tooManyDimensions(ASTNode expression)
void	ProblemReporter.typeMismatchError(TypeBinding actualType, TypeBinding expectedType, ASTNode location, ASTNode expectingLocation)
void	ProblemReporter.typeMismatchError(TypeBinding typeArgument, TypeVariableBinding typeParameter, ReferenceBinding genericType, ASTNode location)
void	ProblemReporter.unhandledException(TypeBinding exceptionType, ASTNode location)
void	ProblemReporter.uninitializedBlankFinalField(FieldBinding field, ASTNode location)
void	ProblemReporter.uninitializedBlankNonNullField(FieldBinding field, ASTNode location)
void	ProblemReporter.uninitializedLocalVariable(LocalVariableBinding binding, ASTNode location)
void	ProblemReporter.unnecessaryElse(ASTNode location)
void	ProblemReporter.unreachableCatchBlock(ReferenceBinding exceptionType, ASTNode location)
void	ProblemReporter.unsafeGenericArrayForVarargs(TypeBinding leafComponentType, ASTNode location)
void	ProblemReporter.unsafeRawFieldAssignment(FieldBinding field, TypeBinding expressionType, ASTNode location)
void	ProblemReporter.unsafeRawGenericMethodInvocation(ASTNode location, MethodBinding rawMethod)
void	ProblemReporter.unsafeRawInvocation(ASTNode location, MethodBinding rawMethod)
void	ProblemReporter.unusedDeclaredThrownException(ReferenceBinding exceptionType, AbstractMethodDeclaration method, ASTNode location)
void	AbortCompilation.updateContext(ASTNode astNode, CompilationResult unitResult)
void	ProblemReporter.wildcardAssignment(TypeBinding variableType, TypeBinding expressionType, ASTNode location)
void	ProblemReporter.wildcardInvocation(ASTNode location, TypeBinding receiverType, MethodBinding method, TypeBinding[] arguments)

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

Methods in org.eclipse.jdt.internal.core.search.matching with parameters of type ASTNode

int	MatchingNodeSet.addMatch(ASTNode node, int matchLevel)
void	MatchingNodeSet.addPossibleMatch(ASTNode node)
void	MatchingNodeSet.addTrustedMatch(ASTNode node, boolean isExact)
int	TypeReferenceLocator.match(ASTNode node, MatchingNodeSet nodeSet)
int	PatternLocator.match(ASTNode node, MatchingNodeSet nodeSet) Check if the given ast node syntactically matches this pattern.
int	PackageReferenceLocator.match(ASTNode node, MatchingNodeSet nodeSet)
int	OrLocator.match(ASTNode node, MatchingNodeSet nodeSet)
int	MethodLocator.match(ASTNode node, MatchingNodeSet nodeSet)
int	FieldLocator.match(ASTNode node, MatchingNodeSet nodeSet)
int	ConstructorLocator.match(ASTNode node, MatchingNodeSet nodeSet)
int	AndLocator.match(ASTNode node, MatchingNodeSet nodeSet)
SearchMatch	PatternLocator.newDeclarationMatch(ASTNode reference, IJavaElement element, Binding elementBinding, int accuracy, int length, MatchLocator locator)
SearchMatch	OrLocator.newDeclarationMatch(ASTNode reference, IJavaElement element, Binding elementBinding, int accuracy, int length, MatchLocator locator)
SearchMatch	MethodLocator.newDeclarationMatch(ASTNode reference, IJavaElement element, Binding elementBinding, int accuracy, int length, MatchLocator locator)
SearchMatch	ConstructorLocator.newDeclarationMatch(ASTNode reference, IJavaElement element, Binding binding, int accuracy, int length, MatchLocator locator)
FieldReferenceMatch	MatchLocator.newFieldReferenceMatch(IJavaElement enclosingElement, IJavaElement localElement, Binding enclosingBinding, int accuracy, int offset, int length, ASTNode reference)
SearchMatch	MatchLocator.newLocalVariableReferenceMatch(IJavaElement enclosingElement, int accuracy, int offset, int length, ASTNode reference)
MethodReferenceMatch	MatchLocator.newMethodReferenceMatch(IJavaElement enclosingElement, Binding enclosingBinding, int accuracy, int offset, int length, boolean isConstructor, boolean isSynthetic, ASTNode reference)
PackageReferenceMatch	MatchLocator.newPackageReferenceMatch(IJavaElement enclosingElement, int accuracy, int offset, int length, ASTNode reference)
SearchMatch	MatchLocator.newTypeParameterReferenceMatch(IJavaElement enclosingElement, int accuracy, int offset, int length, ASTNode reference)
TypeReferenceMatch	MatchLocator.newTypeReferenceMatch(IJavaElement enclosingElement, Binding enclosingBinding, int accuracy, ASTNode reference)
TypeReferenceMatch	MatchLocator.newTypeReferenceMatch(IJavaElement enclosingElement, Binding enclosingBinding, int accuracy, int offset, int length, ASTNode reference)
java.lang.Object	MatchingNodeSet.removePossibleMatch(ASTNode node)
java.lang.Object	MatchingNodeSet.removeTrustedMatch(ASTNode node)
int	TypeReferenceLocator.resolveLevel(ASTNode node)
int	TypeParameterLocator.resolveLevel(ASTNode possibleMatchingNode)
int	TypeDeclarationLocator.resolveLevel(ASTNode node)
int	SuperTypeReferenceLocator.resolveLevel(ASTNode node)
int	PatternLocator.resolveLevel(ASTNode possibleMatchingNode) Finds out whether the given ast node matches this search pattern.
int	PackageReferenceLocator.resolveLevel(ASTNode node)
int	OrLocator.resolveLevel(ASTNode node)
int	MethodLocator.resolveLevel(ASTNode possibleMatchingNode)
int	LocalVariableLocator.resolveLevel(ASTNode possiblelMatchingNode)
int	FieldLocator.resolveLevel(ASTNode possiblelMatchingNode)
int	ConstructorLocator.resolveLevel(ASTNode node)
int	AndLocator.resolveLevel(ASTNode node)

Uses of ASTNode in org.eclipse.jdt.internal.core.util

Methods in org.eclipse.jdt.internal.core.util that return ASTNode

ASTNode	Util.BindingsToNodesMap.get(Binding binding)
ASTNode[]	CodeSnippetParsingUtil.parseClassBodyDeclarations(char[] source, int offset, int length, java.util.Map settings, boolean recordParsingInformation)
ASTNode[]	CodeSnippetParsingUtil.parseClassBodyDeclarations(char[] source, java.util.Map settings, boolean recordParsingInformation)

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

Subclasses of ASTNode in org.eclipse.jdt.internal.eval

class	CodeSnippetAllocationExpression
class	CodeSnippetFieldReference
class	CodeSnippetMessageSend
class	CodeSnippetQualifiedNameReference
class	CodeSnippetReturnStatement A return statement inside a code snippet.
class	CodeSnippetSingleNameReference A single name reference inside a code snippet can denote a field of a remote receiver object (that is, the receiver of the context in the stack frame).
class	CodeSnippetSuperReference A super reference inside a code snippet denotes a reference to the super type of the remote receiver object (that is, the receiver of the context in the stack frame).
class	CodeSnippetThisReference A this reference inside a code snippet denotes a remote receiver object (that is, the receiver of the context in the stack frame)
class	CodeSnippetTypeDeclaration

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

Subclasses of ASTNode in org.eclipse.jdt.internal.formatter

static class	CodeFormatterVisitor.MultiFieldDeclaration
class	FormatJavadoc Represents a full Javadoc comment for the FormatterCommentParser.

Methods in org.eclipse.jdt.internal.formatter with parameters of type ASTNode

org.eclipse.text.edits.TextEdit

CodeFormatterVisitor.format(java.lang.String string, ASTNode[] nodes)

Uses of ASTNode in org.jmlspecs.jml4.ast

Subclasses of ASTNode in org.jmlspecs.jml4.ast

class	DepricateJmlRangeArrayReference
class	JmlAllocationExpression
class	JmlAllRangeExpression
class	JmlArrayIndexRangeExpression
class	JmlArrayQualifiedTypeReference
class	JmlArrayRangeStoreRef
class	JmlArrayReference
class	JmlArrayTypeReference
class	JmlAssertOrAssumeStatement
class	JmlAssertStatement
class	JmlAssignableClause
class	JmlAssignment
class	JmlAssumeStatement
class	JmlCastExpression
class	JmlCastExpressionWithoutType
class	JmlClause An abstraction of a JML clause which can be either a: - type body clause, - method spec clause, - statement body clause.
class	JmlClinit
class	JmlCompilationUnitDeclaration
class	JmlConditionalExpression
class	JmlConstraintClause
class	JmlConstructorDeclaration
class	JmlDivergesClause
class	JmlDoStatement
class	JmlElemtypeExpression
class	JmlEnsuresClause
class	JmlExplicitConstructorCall
class	JmlFieldDeclaration
class	JmlFieldDotStarStoreRef
class	JmlFieldReference
class	JmlForeachStatement
class	JmlForStatement
class	JmlFreshExpression
class	JmlGroupName Deprecated.
class	JmlInDataGroupClause
class	JmlInformalExpression Informal expressions are used in predicates but also in store ref lists.
class	JmlInitiallyClause
class	JmlInvariantForType
class	JmlKeywordExpression Instances of this class represent various JML keywords that are used in contexts where expressions (predicates or store references) are expected.
class	JmlLocalDeclaration
class	JmlLoopAnnotations
class	JmlLoopInvariant
class	JmlLoopVariant
class	JmlMapsIntoClause
class	JmlMapsMemberRefExpr Deprecated.
class	JmlMemberFieldRef Deprecated.
class	JmlMessageSend
class	JmlMethodDeclaration
class	JmlMethodSpecification
class	JmlMultiReferenceExpression
class	JmlName
class	JmlNameDotStarStoreRef Represents a JML store ref expression of the form name.*, where name is a NameReference.
class	JmlOldExpression
class	JmlOperationOverStoreRefList
class	JmlParameterizedQualifiedTypeReference
class	JmlParameterizedSingleTypeReference
class	JmlQualifiedNameReference
class	JmlQualifiedTypeReference
class	JmlQuantifiedExpression
class	JmlRepresentsClause
class	JmlRequiresClause
class	JmlResultReference
class	JmlReturnStatement
class	JmlSetComprehension
class	JmlSetStatement
class	JmlSignalsClause
class	JmlSignalsOnlyClause
class	JmlSingleNameReference
class	JmlSingleTypeReference
class	JmlSpecCase
class	JmlSpecCaseBlock
class	JmlSpecCaseBody
class	JmlSpecCaseHeader
class	JmlSpecCaseRest
class	JmlSpecCaseRestAsClauseSeq
class	JmlStoreRefExpression Deprecated.
class	JmlStoreRefListExpression
class	JmlSubtypeExpression
class	JmlTypeBodyDeclaration
class	JmlTypeDeclaration
class	JmlTypeExpression
class	JmlTypeofExpression
class	JmlUnaryExpression NOTE: operators taking a list of store ref, like \not_modified() are modeled as unary operators -- taking a single argument consisting of the entire list.
class	JmlWhileStatement
class	JmlWildcard

Uses of ASTNode in org.jmlspecs.jml4.fspv.theory.ast

Fields in org.jmlspecs.jml4.fspv.theory.ast declared as ASTNode

ASTNode

TheoryNode.base

Constructors in org.jmlspecs.jml4.fspv.theory.ast with parameters of type ASTNode

Theory(ASTNode base)

TheoryAllocationExpression(ASTNode base, Theory theory, TheoryExpression[] arguments)

TheoryArgument(ASTNode base, Theory theory)

TheoryAssignment(ASTNode base, Theory theory, TheoryExpression lhs, TheoryExpression expression)

TheoryBinaryExpression(ASTNode base, Theory theory, TheoryExpression left, TheoryExpression expression)

TheoryBlock(ASTNode base, Theory theory, TheoryStatement[] statements)

TheoryBooleanLiteral(ASTNode base, Theory theory)

TheoryCompoundAssignment(ASTNode base, Theory theory, TheoryExpression left, TheoryExpression expression)

TheoryConstructorDeclaration(ASTNode base, Theory theory, TheoryExpression pre, TheoryExpression post, TheoryArgument[] arguments, TheoryLocalDeclaration[] locals, TheoryStatement[] statements)

TheoryEqualExpression(ASTNode base, Theory theory, TheoryExpression left, TheoryExpression right)

TheoryExpression(ASTNode base, Theory theory)

TheoryFieldDeclaration(ASTNode base, Theory theory, TheoryExpression initialization)

TheoryFieldReference(ASTNode base, Theory theory)

TheoryIntLiteral(ASTNode base, Theory theory)

TheoryLiteral(ASTNode base, Theory theory)

TheoryLocalDeclaration(ASTNode base, Theory theory, TheoryExpression initialization)

TheoryMessageSend(ASTNode base, Theory theory, TheoryExpression receiver, TheoryExpression[] arguments)

TheoryMethodDeclaration(ASTNode base, Theory theory, TheoryExpression pre, TheoryExpression post, TheoryArgument[] arguments, TheoryLocalDeclaration[] locals, TheoryStatement[] statements)

TheoryNode(ASTNode base, Theory theory)

TheoryNullLiteral(ASTNode base, Theory theory)

TheoryOldExpression(ASTNode base, Theory theory, TheoryExpression expression)

TheoryPostfixExpression(ASTNode base, Theory theory, TheoryExpression left)

TheoryReference(ASTNode base, Theory theory)

TheoryResultReference(ASTNode base, Theory theory)

TheoryReturnStatement(ASTNode base, Theory theory, TheoryExpression expression)

TheorySingleNameReference(ASTNode base, Theory theory)

TheorySingleTypeReference(ASTNode base, Theory theory)

TheorySkipStatement(ASTNode base, Theory theory)

TheoryStatement(ASTNode base, Theory theory)

TheoryTypeReference(ASTNode base, Theory theory)

TheoryUnaryExpression(ASTNode base, Theory theory, TheoryExpression expression)

TheoryVariableDeclaration(ASTNode base, Theory theory)

TheoryWhileStatement(ASTNode base, Theory theory, TheoryExpression condition, TheoryStatement action, TheoryExpression[] invariants, TheoryExpression[] variants)

Uses of ASTNode in org.jmlspecs.jml4.rac

Subclasses of ASTNode in org.jmlspecs.jml4.rac

class	RacConstructorDeclaration A fake constructor declaration to store runtime assertion checking constructor in the source code format.
class	RacFieldDeclaration A fake method declaration to store runtime assertion checking method in the source code format.
class	RacMethodDeclaration A fake method declaration to store runtime assertion checking method in the source code format.
class	RacTypeDeclaration A fake type declaration to store a runtime assertion class such as a surrogate class in the source code format.

Fields in org.jmlspecs.jml4.rac with type parameters of type ASTNode

java.util.Map<ASTNode,VariableBinding>

ExpressionTranslator.terms Terms of which values are to be reported upon an assertion violation.

Methods in org.jmlspecs.jml4.rac that return types with arguments of type ASTNode

java.util.Map<ASTNode,VariableBinding>	ExpressionTranslator.getTerms() Returns a set of terms or values that can be printed upon an assertion violation to describe the program state.
java.util.Map<ASTNode,java.lang.Integer>	AstDirtyBitsRetriever.retrieve(CompilationUnitDeclaration unit) Retrieves the dirty bits of all the children AST nodes of the given compilation unit and returns them as a new map from AST nodes to their dirty bits.

Method parameters in org.jmlspecs.jml4.rac with type arguments of type ASTNode

MethodDeclaration	PreconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Collection<RacOldExpression> preExprs, java.util.Set<ASTNode> terms, RacResult result) Generates and returns a precondition checking method.
RacMethodDeclaration	PreconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result) Overridden here to throw an exception, as this method is not supported by this class.
MethodDeclaration	PostconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result) Generate and return a postcondition checking method.
RacMethodDeclaration	InvariantLikeMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result) Generates an type-level assertion check method.
MethodDeclaration	ExceptionalPostconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result) Returns an exceptional postcondition checking method.
abstract AbstractMethodDeclaration	AssertionMethod.generate(java.lang.StringBuffer code, java.util.Set<ASTNode> terms, RacResult racResult) Generates an assertion check method.
RacMethodDeclaration	ConstraintMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result, boolean inherit, boolean isTopLevelInstance, java.lang.String methodPrefix) Overridden method to generate a type-level constraint check method.
void	RacCompiler.generateRacCode(CompilationUnitDeclaration currentUnit, java.util.Map<ASTNode,java.lang.Integer> dirtyBits, int index) Process a new compilation unit for RAC code generation.
static java.lang.StringBuffer	RacTranslator.racErrorDefinition(int tab, java.lang.String errorVar, java.lang.String stateVar, int sourceStart, CompilationResult cresult, java.util.Collection<ASTNode> terms) Returns an indented code that defines the values of two RAC variables used for reporting an assertion violation.
void	AstDirtyBitsRestorer.restore(CompilationUnitDeclaration unit, java.util.Map<ASTNode,java.lang.Integer> dirtyBitsMap) Restores the dirty bits of all the children AST nodes of the given compilation unit.

Uses of ASTNode in org.jmlspecs.jml4.rac.quantifiedexpression

Methods in org.jmlspecs.jml4.rac.quantifiedexpression with parameters of type ASTNode

abstract java.lang.String	Translator.generateLoop(ASTNode body) Returns a loop code that evaluates the given body with the quantified variable bound to each possible value of the range.
java.lang.String	StaticAnalysis.generateLoop(ASTNode body) Returns a loop code that evaluates the given body with the quantified variable bound to each possible value of the range.
java.lang.String	QuantifiedExpressionTranslator.generateLoop(ASTNode node) Tanslates a JML quantified expression into Java source code that, if executed, evaluates the given statement, node for each combination of bound variables of the quantified expression.