Uses of Package
org.eclipse.jdt.internal.compiler.ast

Packages that use org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.core.dom The Java DOM/AST is the set of classes that model the source code of a Java program as a structured document. 
org.eclipse.jdt.core.tests.compiler.parser   
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   
org.eclipse.jdt.internal.compiler.ast   
org.eclipse.jdt.internal.compiler.codegen   
org.eclipse.jdt.internal.compiler.flow   
org.eclipse.jdt.internal.compiler.impl   
org.eclipse.jdt.internal.compiler.lookup   
org.eclipse.jdt.internal.compiler.parser   
org.eclipse.jdt.internal.compiler.parser.diagnose   
org.eclipse.jdt.internal.compiler.problem   
org.eclipse.jdt.internal.compiler.util   
org.eclipse.jdt.internal.core   
org.eclipse.jdt.internal.core.jdom   
org.eclipse.jdt.internal.core.search.indexing   
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.eclipse.jdt.internal.esc2   
org.jmlspecs.jml2.checker   
org.jmlspecs.jml2.compiler   
org.jmlspecs.jml4.ast   
org.jmlspecs.jml4.compiler   
org.jmlspecs.jml4.esc   
org.jmlspecs.jml4.esc.gc   
org.jmlspecs.jml4.esc.provercoordinator.prover   
org.jmlspecs.jml4.fspv   
org.jmlspecs.jml4.fspv.phases   
org.jmlspecs.jml4.fspv.theory.ast   
org.jmlspecs.jml4.lookup   
org.jmlspecs.jml4.nonnull   
org.jmlspecs.jml4.rac   
org.jmlspecs.jml4.rac.quantifiedexpression   
org.jmlspecs.jml4.util   
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.core.dom
CompilationUnitDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.core.tests.compiler.parser
Expression
           
ImportReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.codeassist
AbstractMethodDeclaration
           
AllocationExpression
           
Argument
           
ASTNode
           
Block
           
CompilationUnitDeclaration
           
ConstructorDeclaration
           
FieldDeclaration
           
Initializer
           
LocalDeclaration
           
MessageSend
           
MethodDeclaration
           
ThrowStatement
           
TryStatement
           
TypeDeclaration
           
TypeReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.codeassist.complete
AbstractMethodDeclaration
           
AbstractVariableDeclaration
           
AllocationExpression
           
AND_AND_Expression
           
Annotation
          Annotation
Argument
           
ArrayAllocationExpression
           
ArrayInitializer
           
ArrayQualifiedTypeReference
           
ArrayReference
           
ArrayTypeReference
           
Assignment
           
ASTNode
           
BinaryExpression
           
BranchStatement
           
CastExpression
           
ClassLiteralAccess
           
CompilationUnitDeclaration
           
CompoundAssignment
           
ConditionalExpression
           
ConstructorDeclaration
           
EqualExpression
           
ExplicitConstructorCall
           
Expression
           
FieldDeclaration
           
FieldReference
           
ImportReference
           
Initializer
           
InstanceOfExpression
           
Javadoc
          Node representing a structured Javadoc comment
JavadocAllocationExpression
           
JavadocFieldReference
           
JavadocMessageSend
           
JavadocQualifiedTypeReference
           
JavadocSingleNameReference
           
JavadocSingleTypeReference
           
Literal
           
LocalDeclaration
           
MarkerAnnotation
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
NameReference
           
NormalAnnotation
          Normal annotation node
OperatorIds
           
OR_OR_Expression
           
ParameterizedQualifiedTypeReference
          Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference
          Syntactic representation of a reference to a generic type.
PostfixExpression
           
PrefixExpression
           
QualifiedAllocationExpression
          Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
QualifiedNameReference
           
QualifiedSuperReference
           
QualifiedThisReference
           
QualifiedTypeReference
           
Reference
           
SingleNameReference
           
SingleTypeReference
           
Statement
           
StringLiteral
           
SuperReference
           
ThisReference
           
TypeDeclaration
           
TypeParameter
           
TypeReference
           
UnaryExpression
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.codeassist.impl
AbstractMethodDeclaration
           
ASTNode
           
CompilationUnitDeclaration
           
ConstructorDeclaration
           
ImportReference
           
Initializer
           
MethodDeclaration
           
NameReference
           
OperatorIds
           
TypeDeclaration
           
TypeReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.codeassist.select
AbstractVariableDeclaration
           
AllocationExpression
           
Argument
           
ArrayQualifiedTypeReference
           
ArrayTypeReference
           
ASTNode
           
CompilationUnitDeclaration
           
ExplicitConstructorCall
           
Expression
           
FieldDeclaration
           
FieldReference
           
ImportReference
           
Javadoc
          Node representing a structured Javadoc comment
LocalDeclaration
           
MemberValuePair
          MemberValuePair node
MessageSend
           
NameReference
           
OperatorIds
           
ParameterizedQualifiedTypeReference
          Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference
          Syntactic representation of a reference to a generic type.
QualifiedAllocationExpression
          Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
QualifiedNameReference
           
QualifiedSuperReference
           
QualifiedThisReference
           
QualifiedTypeReference
           
Reference
           
SingleNameReference
           
SingleTypeReference
           
Statement
           
SuperReference
           
ThisReference
           
TypeDeclaration
           
TypeReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler
AbstractMethodDeclaration
           
AllocationExpression
           
AND_AND_Expression
           
Annotation
          Annotation
AnnotationMethodDeclaration
           
Argument
           
ArrayAllocationExpression
           
ArrayInitializer
           
ArrayQualifiedTypeReference
           
ArrayReference
           
ArrayTypeReference
           
AssertStatement
           
Assignment
           
BinaryExpression
           
Block
           
BreakStatement
           
CaseStatement
           
CastExpression
           
CharLiteral
           
ClassLiteralAccess
           
Clinit
           
CompilationUnitDeclaration
           
CompoundAssignment
           
ConditionalExpression
           
ConstructorDeclaration
           
ContinueStatement
           
DoStatement
           
DoubleLiteral
           
EmptyStatement
           
EqualExpression
           
ExplicitConstructorCall
           
Expression
           
ExtendedStringLiteral
           
FalseLiteral
           
FieldDeclaration
           
FieldReference
           
FloatLiteral
           
ForeachStatement
           
ForStatement
           
IfStatement
           
ImportReference
           
Initializer
           
InstanceOfExpression
           
IntLiteral
           
Javadoc
          Node representing a structured Javadoc comment
JavadocAllocationExpression
           
JavadocArgumentExpression
           
JavadocArrayQualifiedTypeReference
           
JavadocArraySingleTypeReference
           
JavadocFieldReference
           
JavadocImplicitTypeReference
           
JavadocMessageSend
           
JavadocQualifiedTypeReference
           
JavadocReturnStatement
           
JavadocSingleNameReference
           
JavadocSingleTypeReference
           
LabeledStatement
           
LocalDeclaration
           
LongLiteral
           
MarkerAnnotation
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
NameReference
           
NormalAnnotation
          Normal annotation node
NullLiteral
           
OperatorIds
           
OR_OR_Expression
           
ParameterizedQualifiedTypeReference
          Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference
          Syntactic representation of a reference to a generic type.
PostfixExpression
           
PrefixExpression
           
QualifiedAllocationExpression
          Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
QualifiedNameReference
           
QualifiedSuperReference
           
QualifiedThisReference
           
QualifiedTypeReference
           
ReturnStatement
           
SingleMemberAnnotation
          SingleMemberAnnotation node
SingleNameReference
           
SingleTypeReference
           
StringLiteral
           
StringLiteralConcatenation
          Flatten string literal
SuperReference
           
SwitchStatement
           
SynchronizedStatement
           
ThisReference
           
ThrowStatement
           
TrueLiteral
           
TryStatement
           
TypeDeclaration
           
TypeParameter
           
TypeReference
           
UnaryExpression
           
WhileStatement
           
Wildcard
          Node to represent Wildcard
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.ast
AbstractMethodDeclaration
           
AbstractVariableDeclaration
           
AllocationExpression
           
Annotation
          Annotation
Argument
           
ArrayInitializer
           
ArrayQualifiedTypeReference
           
ArrayTypeReference
           
Assignment
           
ASTNode
           
BinaryExpression
           
Block
           
BranchStatement
           
CaseStatement
           
CastExpression
           
CharLiteral
           
CombinedBinaryExpression
          CombinedBinaryExpression is an implementation of BinaryExpression that specifically attempts to mitigate the issues raised by expressions which have a very deep leftmost branch.
CompilationUnitDeclaration
           
CompoundAssignment
           
ConstructorDeclaration
           
ExplicitConstructorCall
           
Expression
           
ExtendedStringLiteral
           
FieldDeclaration
           
FieldReference
           
ImportReference
           
IntLiteral
           
Javadoc
          Node representing a structured Javadoc comment
JavadocArgumentExpression
           
JavadocQualifiedTypeReference
           
JavadocReturnStatement
           
JavadocSingleNameReference
           
JavadocSingleTypeReference
           
Literal
           
LocalDeclaration
           
LongLiteral
           
MagicLiteral
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
NameReference
           
NumberLiteral
           
OperatorExpression
           
OperatorIds
           
QualifiedAllocationExpression
          Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
QualifiedThisReference
           
QualifiedTypeReference
           
Reference
           
ReturnStatement
           
SingleNameReference
           
SingleTypeReference
           
Statement
           
StringLiteral
           
StringLiteralConcatenation
          Flatten string literal
SubRoutineStatement
          Extra behavior for statements which are generating subroutines
SwitchStatement
           
ThisReference
           
TryStatement
           
TypeDeclaration
           
TypeParameter
           
TypeReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.codegen
AbstractMethodDeclaration
           
ASTNode
           
Expression
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.flow
AbstractMethodDeclaration
           
ASTNode
           
Expression
           
Reference
           
SubRoutineStatement
          Extra behavior for statements which are generating subroutines
TryStatement
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.impl
OperatorIds
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.lookup
AbstractMethodDeclaration
           
CaseStatement
           
CompilationUnitDeclaration
           
Expression
           
FieldDeclaration
           
ImportReference
           
LocalDeclaration
           
TypeDeclaration
           
TypeParameter
           
TypeReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.parser
AbstractMethodDeclaration
           
Annotation
          Annotation
ASTNode
           
Block
           
CompilationUnitDeclaration
           
ConstructorDeclaration
           
Expression
           
FieldDeclaration
           
ImportReference
           
Initializer
           
Javadoc
          Node representing a structured Javadoc comment
LocalDeclaration
           
MethodDeclaration
           
OperatorIds
           
Statement
           
TypeDeclaration
           
TypeParameter
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.parser.diagnose
AbstractMethodDeclaration
           
TypeDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.problem
AbstractMethodDeclaration
           
AbstractVariableDeclaration
           
AllocationExpression
           
Annotation
          Annotation
AnnotationMethodDeclaration
           
Argument
           
ArrayAllocationExpression
           
ArrayReference
           
Assignment
           
ASTNode
           
BinaryExpression
           
Block
           
BranchStatement
           
CaseStatement
           
CastExpression
           
CompilationUnitDeclaration
           
CompoundAssignment
           
ConditionalExpression
           
ConstructorDeclaration
           
EqualExpression
           
ExplicitConstructorCall
           
Expression
           
FieldDeclaration
           
FieldReference
           
ImportReference
           
Initializer
           
InstanceOfExpression
           
LabeledStatement
           
Literal
           
LocalDeclaration
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
NameReference
           
NumberLiteral
           
QualifiedNameReference
           
QualifiedTypeReference
           
Reference
           
ReturnStatement
           
SingleNameReference
           
Statement
           
SwitchStatement
           
ThisReference
           
TryStatement
           
TypeDeclaration
           
TypeParameter
           
TypeReference
           
UnaryExpression
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.compiler.util
TypeDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.core
Annotation
          Annotation
CompilationUnitDeclaration
           
Expression
           
ImportReference
           
TypeDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.core.jdom
Expression
           
ImportReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.core.search.indexing
Expression
           
ImportReference
           
OperatorIds
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.core.search.matching
Annotation
          Annotation
AnnotationMethodDeclaration
           
ASTNode
           
CompilationUnitDeclaration
           
ConstructorDeclaration
           
Expression
           
FieldDeclaration
           
Initializer
           
LocalDeclaration
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
OperatorIds
           
Reference
           
TypeDeclaration
           
TypeParameter
           
TypeReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.core.util
AbstractMethodDeclaration
           
ASTNode
           
CompilationUnitDeclaration
           
ConstructorDeclaration
           
Expression
           
FieldDeclaration
           
Initializer
           
OperatorIds
           
TypeDeclaration
           
TypeReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.eval
AllocationExpression
           
Assignment
           
ASTNode
           
CompoundAssignment
           
Expression
           
FieldReference
           
MessageSend
           
NameReference
           
OperatorIds
           
QualifiedNameReference
           
Reference
           
ReturnStatement
           
SingleNameReference
           
Statement
           
SuperReference
           
ThisReference
           
TryStatement
           
TypeDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.eclipse.jdt.internal.formatter
AbstractVariableDeclaration
           
AllocationExpression
           
AND_AND_Expression
           
Annotation
          Annotation
AnnotationMethodDeclaration
           
Argument
           
ArrayAllocationExpression
           
ArrayInitializer
           
ArrayQualifiedTypeReference
           
ArrayReference
           
ArrayTypeReference
           
AssertStatement
           
Assignment
           
ASTNode
           
BinaryExpression
           
Block
           
BreakStatement
           
CaseStatement
           
CastExpression
           
CharLiteral
           
ClassLiteralAccess
           
Clinit
           
CompilationUnitDeclaration
           
CompoundAssignment
           
ConditionalExpression
           
ConstructorDeclaration
           
ContinueStatement
           
DoStatement
           
DoubleLiteral
           
EmptyStatement
           
EqualExpression
           
ExplicitConstructorCall
           
Expression
           
FalseLiteral
           
FieldDeclaration
           
FieldReference
           
FloatLiteral
           
ForeachStatement
           
ForStatement
           
IfStatement
           
Initializer
           
InstanceOfExpression
           
IntLiteral
           
Javadoc
          Node representing a structured Javadoc comment
LabeledStatement
           
LocalDeclaration
           
LongLiteral
           
MarkerAnnotation
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
NormalAnnotation
          Normal annotation node
NullLiteral
           
OR_OR_Expression
           
ParameterizedQualifiedTypeReference
          Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference
          Syntactic representation of a reference to a generic type.
PostfixExpression
           
PrefixExpression
           
QualifiedAllocationExpression
          Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
QualifiedNameReference
           
QualifiedSuperReference
           
QualifiedThisReference
           
QualifiedTypeReference
           
ReturnStatement
           
SingleMemberAnnotation
          SingleMemberAnnotation node
SingleNameReference
           
SingleTypeReference
           
Statement
           
StringLiteral
           
StringLiteralConcatenation
          Flatten string literal
SuperReference
           
SwitchStatement
           
SynchronizedStatement
           
ThisReference
           
ThrowStatement
           
TrueLiteral
           
TryStatement
           
TypeDeclaration
           
TypeParameter
           
UnaryExpression
           
WhileStatement
           
Wildcard
          Node to represent Wildcard
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.eclipse.jdt.internal.esc2
AllocationExpression
           
AND_AND_Expression
           
AnnotationMethodDeclaration
           
Argument
           
ArrayAllocationExpression
           
ArrayInitializer
           
ArrayQualifiedTypeReference
           
ArrayReference
           
ArrayTypeReference
           
AssertStatement
           
Assignment
           
BinaryExpression
           
Block
           
BreakStatement
           
CaseStatement
           
CastExpression
           
CharLiteral
           
ClassLiteralAccess
           
Clinit
           
CompilationUnitDeclaration
           
CompoundAssignment
           
ConditionalExpression
           
ConstructorDeclaration
           
ContinueStatement
           
DoStatement
           
DoubleLiteral
           
EmptyStatement
           
EqualExpression
           
ExplicitConstructorCall
           
ExtendedStringLiteral
           
FalseLiteral
           
FieldDeclaration
           
FieldReference
           
FloatLiteral
           
ForeachStatement
           
ForStatement
           
IfStatement
           
ImportReference
           
Initializer
           
InstanceOfExpression
           
IntLiteral
           
Javadoc
          Node representing a structured Javadoc comment
JavadocAllocationExpression
           
JavadocArgumentExpression
           
JavadocArrayQualifiedTypeReference
           
JavadocArraySingleTypeReference
           
JavadocFieldReference
           
JavadocImplicitTypeReference
           
JavadocMessageSend
           
JavadocQualifiedTypeReference
           
JavadocReturnStatement
           
JavadocSingleNameReference
           
JavadocSingleTypeReference
           
LabeledStatement
           
LocalDeclaration
           
LongLiteral
           
MarkerAnnotation
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
NormalAnnotation
          Normal annotation node
NullLiteral
           
OR_OR_Expression
           
ParameterizedQualifiedTypeReference
          Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference
          Syntactic representation of a reference to a generic type.
PostfixExpression
           
PrefixExpression
           
QualifiedAllocationExpression
          Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
QualifiedNameReference
           
QualifiedSuperReference
           
QualifiedThisReference
           
QualifiedTypeReference
           
ReturnStatement
           
SingleMemberAnnotation
          SingleMemberAnnotation node
SingleNameReference
           
SingleTypeReference
           
StringLiteral
           
StringLiteralConcatenation
          Flatten string literal
SuperReference
           
SwitchStatement
           
SynchronizedStatement
           
ThisReference
           
ThrowStatement
           
TrueLiteral
           
TryStatement
           
TypeDeclaration
           
TypeParameter
           
UnaryExpression
           
WhileStatement
           
Wildcard
          Node to represent Wildcard
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml2.checker
CompilationUnitDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml2.compiler
CompilationUnitDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.ast
AbstractMethodDeclaration
           
AbstractVariableDeclaration
           
AllocationExpression
           
Annotation
          Annotation
Argument
           
ArrayQualifiedTypeReference
           
ArrayReference
           
ArrayTypeReference
           
AssertStatement
           
Assignment
           
ASTNode
           
CastExpression
           
Clinit
           
CompilationUnitDeclaration
           
CompoundAssignment
           
ConditionalExpression
           
ConstructorDeclaration
           
DoStatement
           
ExplicitConstructorCall
           
Expression
           
FieldDeclaration
           
FieldReference
           
ForeachStatement
           
ForStatement
           
LocalDeclaration
           
MessageSend
           
MethodDeclaration
           
NameReference
           
OperatorExpression
           
OperatorIds
           
ParameterizedQualifiedTypeReference
          Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference
          Syntactic representation of a reference to a generic type.
QualifiedNameReference
           
QualifiedTypeReference
           
Reference
           
ReturnStatement
           
SingleNameReference
           
SingleTypeReference
           
Statement
           
TypeDeclaration
           
TypeReference
           
UnaryExpression
           
WhileStatement
           
Wildcard
          Node to represent Wildcard
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.compiler
CompilationUnitDeclaration
           
ConstructorDeclaration
           
FieldDeclaration
           
MethodDeclaration
           
TypeDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.esc
CompilationUnitDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.esc.gc
AbstractMethodDeclaration
           
AllocationExpression
           
AND_AND_Expression
           
ArrayAllocationExpression
           
ArrayReference
           
AssertStatement
           
Assignment
           
BinaryExpression
           
Block
           
BreakStatement
           
CompoundAssignment
           
ConditionalExpression
           
ContinueStatement
           
EmptyStatement
           
EqualExpression
           
Expression
           
FalseLiteral
           
FieldReference
           
IfStatement
           
IntLiteral
           
LabeledStatement
           
LocalDeclaration
           
MessageSend
           
OR_OR_Expression
           
PostfixExpression
           
PrefixExpression
           
QualifiedNameReference
           
ReturnStatement
           
SingleNameReference
           
ThisReference
           
TrueLiteral
           
UnaryExpression
           
WhileStatement
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.esc.provercoordinator.prover
CompilationUnitDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.fspv
AllocationExpression
           
AND_AND_Expression
           
AnnotationMethodDeclaration
           
Argument
           
ArrayAllocationExpression
           
ArrayInitializer
           
ArrayQualifiedTypeReference
           
ArrayReference
           
ArrayTypeReference
           
AssertStatement
           
Assignment
           
BinaryExpression
           
Block
           
BreakStatement
           
CaseStatement
           
CastExpression
           
CharLiteral
           
ClassLiteralAccess
           
Clinit
           
CompilationUnitDeclaration
           
CompoundAssignment
           
ConditionalExpression
           
ConstructorDeclaration
           
ContinueStatement
           
DoStatement
           
DoubleLiteral
           
EmptyStatement
           
EqualExpression
           
ExplicitConstructorCall
           
ExtendedStringLiteral
           
FalseLiteral
           
FieldDeclaration
           
FieldReference
           
FloatLiteral
           
ForeachStatement
           
ForStatement
           
IfStatement
           
ImportReference
           
Initializer
           
InstanceOfExpression
           
IntLiteral
           
Javadoc
          Node representing a structured Javadoc comment
JavadocAllocationExpression
           
JavadocArgumentExpression
           
JavadocArrayQualifiedTypeReference
           
JavadocArraySingleTypeReference
           
JavadocFieldReference
           
JavadocImplicitTypeReference
           
JavadocMessageSend
           
JavadocQualifiedTypeReference
           
JavadocReturnStatement
           
JavadocSingleNameReference
           
JavadocSingleTypeReference
           
LabeledStatement
           
LocalDeclaration
           
LongLiteral
           
MarkerAnnotation
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
NormalAnnotation
          Normal annotation node
NullLiteral
           
OR_OR_Expression
           
ParameterizedQualifiedTypeReference
          Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference
          Syntactic representation of a reference to a generic type.
PostfixExpression
           
PrefixExpression
           
QualifiedAllocationExpression
          Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
QualifiedNameReference
           
QualifiedSuperReference
           
QualifiedThisReference
           
QualifiedTypeReference
           
ReturnStatement
           
SingleMemberAnnotation
          SingleMemberAnnotation node
SingleNameReference
           
SingleTypeReference
           
StringLiteral
           
StringLiteralConcatenation
          Flatten string literal
SuperReference
           
SwitchStatement
           
SynchronizedStatement
           
ThisReference
           
ThrowStatement
           
TrueLiteral
           
TryStatement
           
TypeDeclaration
           
TypeParameter
           
UnaryExpression
           
WhileStatement
           
Wildcard
          Node to represent Wildcard
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.fspv.phases
AllocationExpression
           
Argument
           
Assignment
           
BinaryExpression
           
Block
           
CompilationUnitDeclaration
           
CompoundAssignment
           
ConstructorDeclaration
           
EqualExpression
           
ExplicitConstructorCall
           
FalseLiteral
           
FieldDeclaration
           
FieldReference
           
IntLiteral
           
LocalDeclaration
           
MessageSend
           
MethodDeclaration
           
NullLiteral
           
PostfixExpression
           
ReturnStatement
           
SingleNameReference
           
SingleTypeReference
           
TrueLiteral
           
TypeDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.fspv.theory.ast
ASTNode
           
LocalDeclaration
           
OperatorIds
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.lookup
AbstractMethodDeclaration
           
CompilationUnitDeclaration
           
FieldDeclaration
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.nonnull
Expression
           
FieldDeclaration
           
TypeReference
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.rac
AbstractMethodDeclaration
           
AbstractVariableDeclaration
           
AllocationExpression
           
AND_AND_Expression
           
AnnotationMethodDeclaration
           
Argument
           
ArrayAllocationExpression
           
ArrayInitializer
           
ArrayQualifiedTypeReference
           
ArrayReference
           
ArrayTypeReference
           
AssertStatement
           
Assignment
           
ASTNode
           
BinaryExpression
           
Block
           
BreakStatement
           
CaseStatement
           
CastExpression
           
CharLiteral
           
ClassLiteralAccess
           
Clinit
           
CombinedBinaryExpression
          CombinedBinaryExpression is an implementation of BinaryExpression that specifically attempts to mitigate the issues raised by expressions which have a very deep leftmost branch.
CompilationUnitDeclaration
           
CompoundAssignment
           
ConditionalExpression
           
ConstructorDeclaration
           
ContinueStatement
           
DoStatement
           
DoubleLiteral
           
EmptyStatement
           
EqualExpression
           
ExplicitConstructorCall
           
Expression
           
ExtendedStringLiteral
           
FalseLiteral
           
FieldDeclaration
           
FieldReference
           
FloatLiteral
           
ForeachStatement
           
ForStatement
           
IfStatement
           
ImportReference
           
Initializer
           
InstanceOfExpression
           
IntLiteral
           
LabeledStatement
           
LocalDeclaration
           
LongLiteral
           
MarkerAnnotation
           
MemberValuePair
          MemberValuePair node
MessageSend
           
MethodDeclaration
           
NormalAnnotation
          Normal annotation node
NullLiteral
           
OperatorIds
           
OR_OR_Expression
           
ParameterizedQualifiedTypeReference
          Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference
          Syntactic representation of a reference to a generic type.
PostfixExpression
           
PrefixExpression
           
QualifiedAllocationExpression
          Variation on allocation, where can optionally be specified any of: - leading enclosing instance - trailing anonymous type - generic type arguments for generic constructor invocation
QualifiedNameReference
           
QualifiedSuperReference
           
QualifiedThisReference
           
QualifiedTypeReference
           
ReturnStatement
           
SingleMemberAnnotation
          SingleMemberAnnotation node
SingleNameReference
           
SingleTypeReference
           
Statement
           
StringLiteral
           
StringLiteralConcatenation
          Flatten string literal
SuperReference
           
SwitchStatement
           
SynchronizedStatement
           
ThisReference
           
ThrowStatement
           
TrueLiteral
           
TryStatement
           
TypeDeclaration
           
TypeParameter
           
TypeReference
           
UnaryExpression
           
WhileStatement
           
Wildcard
          Node to represent Wildcard
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.rac.quantifiedexpression
ASTNode
           
Expression
           
 

Classes in org.eclipse.jdt.internal.compiler.ast used by org.jmlspecs.jml4.util
Assignment
           
CompoundAssignment
           
PrefixExpression