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

Packages that use Expression

org.eclipse.jdt.core.tests.compiler.parser
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.compiler.parser
org.eclipse.jdt.internal.compiler.problem
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.jml4.ast
org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.nonnull
org.jmlspecs.jml4.rac
org.jmlspecs.jml4.rac.quantifiedexpression

Uses of Expression in org.eclipse.jdt.core.tests.compiler.parser

Methods in org.eclipse.jdt.core.tests.compiler.parser with parameters of type Expression

void	TestSourceElementRequestor.exitMethod(int declarationEnd, Expression defaultValue) exitMethod method comment.
void	SourceElementParserTest.exitMethod(int declarationEnd, Expression defaultValue)

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

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

class	CompletionOnAnnotationMemberValuePair
class	CompletionOnClassLiteralAccess
class	CompletionOnJavadocAllocationExpression
class	CompletionOnJavadocFieldReference
class	CompletionOnJavadocMessageSend
class	CompletionOnJavadocParamNameReference
class	CompletionOnJavadocQualifiedTypeReference
class	CompletionOnJavadocSingleTypeReference
class	CompletionOnJavadocTag
class	CompletionOnJavadocTypeParamReference
class	CompletionOnKeyword1
class	CompletionOnKeyword3
class	CompletionOnMarkerAnnotationName
class	CompletionOnMemberAccess
class	CompletionOnMessageSend
class	CompletionOnMessageSendName
class	CompletionOnParameterizedQualifiedTypeReference
class	CompletionOnQualifiedAllocationExpression
class	CompletionOnQualifiedNameReference
class	CompletionOnQualifiedTypeReference
class	CompletionOnSingleNameReference
class	CompletionOnSingleTypeReference
class	CompletionOnStringLiteral

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

Expression

CompletionJavadoc.getCompletionNode()

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

CompletionOnJavadocFieldReference(Expression receiver, int tag, int position, int separatorPos, char[] name)

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

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

class	SelectionOnFieldReference
class	SelectionOnMessageSend
class	SelectionOnParameterizedQualifiedTypeReference
class	SelectionOnParameterizedSingleTypeReference
class	SelectionOnQualifiedAllocationExpression
class	SelectionOnQualifiedNameReference
class	SelectionOnQualifiedSuperReference
class	SelectionOnQualifiedTypeReference
class	SelectionOnSingleNameReference
class	SelectionOnSingleTypeReference
class	SelectionOnSuperReference

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

SelectionOnNameOfMemberValuePair(char[] token, int sourceStart, int sourceEnd, Expression value)

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

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

void	SourceElementRequestorAdapter.exitMethod(int declarationEnd, Expression defaultValue)
void	ISourceElementRequestor.exitMethod(int declarationEnd, Expression defaultValue)

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

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

class	AllocationExpression
class	AND_AND_Expression
class	Annotation Annotation
class	ArrayAllocationExpression
class	ArrayInitializer
class	ArrayQualifiedTypeReference
class	ArrayReference
class	ArrayTypeReference
class	Assignment
class	BinaryExpression
class	CastExpression
class	CharLiteral
class	ClassLiteralAccess
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	CompoundAssignment
class	ConditionalExpression
class	DoubleLiteral
class	EqualExpression
class	ExtendedStringLiteral
class	FalseLiteral
class	FieldReference
class	FloatLiteral
class	InstanceOfExpression
class	IntLiteral
class	IntLiteralMinValue
class	JavadocAllocationExpression
class	JavadocArgumentExpression
class	JavadocArrayQualifiedTypeReference
class	JavadocArraySingleTypeReference
class	JavadocFieldReference
class	JavadocImplicitTypeReference
class	JavadocMessageSend
class	JavadocQualifiedTypeReference
class	JavadocSingleNameReference
class	JavadocSingleTypeReference
class	Literal
class	LongLiteral
class	LongLiteralMinValue
class	MagicLiteral
class	MarkerAnnotation
class	MessageSend
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	SingleMemberAnnotation SingleMemberAnnotation node
class	SingleNameReference
class	SingleTypeReference
class	StringLiteral
class	StringLiteralConcatenation Flatten string literal
class	SuperReference
class	ThisReference
class	TrueLiteral
class	TypeReference
class	UnaryExpression
class	Wildcard Node to represent Wildcard

Fields in org.eclipse.jdt.internal.compiler.ast declared as Expression

Expression[]	MessageSend.arguments
Expression[]	ExplicitConstructorCall.arguments
Expression[]	AllocationExpression.arguments
Expression	AssertStatement.assertExpression
Expression	ForeachStatement.collection
Expression	WhileStatement.condition
Expression	IfStatement.condition
Expression	ForStatement.condition
Expression	DoStatement.condition
Expression	ConditionalExpression.condition
Expression	CaseStatement.constantExpression
Expression	AnnotationMethodDeclaration.defaultValue
Expression[]	ArrayAllocationExpression.dimensions
Expression	QualifiedAllocationExpression.enclosingInstance
Expression	ThrowStatement.exception
Expression	AssertStatement.exceptionArgument
Expression	UnaryExpression.expression
Expression	SynchronizedStatement.expression
Expression	SwitchStatement.expression
Expression	ReturnStatement.expression
Expression	InstanceOfExpression.expression
Expression	CastExpression.expression
Expression	Assignment.expression
Expression[]	ArrayInitializer.expressions
Expression	AbstractVariableDeclaration.initialization
Expression	BinaryExpression.left
Expression	Assignment.lhs
Expression[]	StringLiteralConcatenation.literals
Expression	SingleMemberAnnotation.memberValue
Expression	ArrayReference.position
Expression	ExplicitConstructorCall.qualification
Expression	MessageSend.receiver
Expression	FieldReference.receiver
Expression	ArrayReference.receiver
Expression	BinaryExpression.right
Expression[]	Javadoc.seeReferences
Expression	CastExpression.type
Expression	MemberValuePair.value
Expression	ConditionalExpression.valueIfFalse
Expression	ConditionalExpression.valueIfTrue

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

Expression	QualifiedAllocationExpression.enclosingInstance()
Expression	AllocationExpression.enclosingInstance()
Expression	CastExpression.innermostCastedExpression()
Expression	Expression.toTypeReference()

Methods in org.eclipse.jdt.internal.compiler.ast with parameters of type Expression

boolean	Expression.checkCastTypesCompatibility(Scope scope, TypeBinding castType, TypeBinding expressionType, Expression expression) Returns false if cast is not legal.
static void	ASTNode.checkInvocationArguments(BlockScope scope, Expression receiver, TypeBinding receiverType, MethodBinding method, Expression[] arguments, TypeBinding[] argumentTypes, boolean argsContainCast, InvocationSite invocationSite)
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, 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.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	Statement.generateArguments(MethodBinding binding, Expression[] arguments, BlockScope currentScope, CodeStream codeStream) Generate invocation arguments, considering varargs methods
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)
static Binding	Assignment.getDirectBinding(Expression someExpression)

Constructors in org.eclipse.jdt.internal.compiler.ast with parameters of type Expression

AND_AND_Expression(Expression left, Expression right, int operator)

ArrayReference(Expression rec, Expression pos)

AssertStatement(Expression exceptionArgument, Expression assertExpression, int startPosition)

AssertStatement(Expression assertExpression, int startPosition)

Assignment(Expression lhs, Expression expression, int sourceEnd)

BinaryExpression(Expression left, Expression right, int operator)

CaseStatement(Expression constantExpression, int sourceEnd, int sourceStart)

CastExpression(Expression expression, Expression type)

CombinedBinaryExpression(Expression left, Expression right, int operator, int arity)
Make a new CombinedBinaryExpression.

CompoundAssignment(Expression lhs, Expression expression, int operator, int sourceEnd)

ConditionalExpression(Expression condition, Expression valueIfTrue, Expression valueIfFalse)

DoStatement(Expression condition, Statement action, int sourceStart, int sourceEnd)

EqualExpression(Expression left, Expression right, int operator)

ForStatement(Statement[] initializations, Expression condition, Statement[] increments, Statement action, boolean neededScope, int s, int e)

IfStatement(Expression condition, Statement thenStatement, int sourceStart, int sourceEnd)

IfStatement(Expression condition, Statement thenStatement, Statement elseStatement, int sourceStart, int sourceEnd)

InstanceOfExpression(Expression expression, TypeReference type)

MemberValuePair(char[] token, int sourceStart, int sourceEnd, Expression value)

OR_OR_Expression(Expression left, Expression right, int operator)

PostfixExpression(Expression lhs, Expression expression, int operator, int pos)

PrefixExpression(Expression lhs, Expression expression, int operator, int pos)
PrefixExpression constructor comment.

ReturnStatement(Expression expression, int sourceStart, int sourceEnd)

SynchronizedStatement(Expression expression, Block statement, int s, int e)

ThrowStatement(Expression exception, int sourceStart, int sourceEnd)

UnaryExpression(Expression expression, int operator)

WhileStatement(Expression condition, Statement action, int s, int e)

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

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

void	CodeStream.generateReturnBytecode(Expression expression)
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.

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

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

void	LoopingFlowContext.recordUsingNullReference(Scope scope, LocalVariableBinding local, Expression reference, int checkType, FlowInfo flowInfo)
void	FlowContext.recordUsingNullReference(Scope scope, LocalVariableBinding local, Expression reference, int checkType, FlowInfo flowInfo) Record a null reference for use by deferred checks.
void	FinallyFlowContext.recordUsingNullReference(Scope scope, LocalVariableBinding local, Expression reference, int checkType, FlowInfo flowInfo)

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

Methods in org.eclipse.jdt.internal.compiler.lookup with parameters of type Expression

static java.lang.Object

ElementValuePair.getValue(Expression expression)

Constructors in org.eclipse.jdt.internal.compiler.lookup with parameters of type Expression

ElementValuePair(char[] name, Expression expression, MethodBinding binding)

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

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

Expression	Parser.parseExpression(char[] source, int offset, int length, CompilationUnitDeclaration unit)
Expression	Parser.parseMemberValue(char[] source, int offset, int length, CompilationUnitDeclaration unit)

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

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

void	ProblemReporter.annotationValueMustBeAnnotation(TypeBinding annotationType, char[] name, Expression value, TypeBinding expectedType)
void	ProblemReporter.annotationValueMustBeArrayInitializer(TypeBinding annotationType, char[] name, Expression value)
void	ProblemReporter.annotationValueMustBeClassLiteral(TypeBinding annotationType, char[] name, Expression value)
void	ProblemReporter.annotationValueMustBeConstant(TypeBinding annotationType, char[] name, Expression value, boolean isEnum)
void	ProblemReporter.attemptToDereferenceNullValue(Expression expression)
void	ProblemReporter.autoboxing(Expression expression, TypeBinding originalType, TypeBinding convertedType)
void	ProblemReporter.cannotAllocateVoidArray(Expression expression)
void	ProblemReporter.caseExpressionMustBeConstant(Expression expression)
void	ProblemReporter.enumConstantsCannotBeSurroundedByParenthesis(Expression expression)
void	ProblemReporter.expressionIsNonExecutable(Expression expression)
void	ProblemReporter.expressionShouldBeAVariable(Expression expression)
void	ProblemReporter.illegalExpressionForSetMembership(Expression expression, LocalDeclaration declaration)
void	ProblemReporter.incorrectSwitchType(Expression expression, TypeBinding testType)
void	ProblemReporter.invalidEnclosingType(Expression expression, TypeBinding type, ReferenceBinding enclosingType)
void	ProblemReporter.invalidExpressionAsStatement(Expression expression)
void	ProblemReporter.invalidNullToSynchronize(Expression expression)
void	ProblemReporter.invalidTypeForCollection(Expression expression)
void	ProblemReporter.invalidTypeReference(Expression expression)
void	ProblemReporter.invalidTypeToSynchronize(Expression expression, TypeBinding type)
void	ProblemReporter.invalidUnaryExpression(Expression expression)
void	ProblemReporter.invalidUsageOfForeachStatements(LocalDeclaration elementVariable, Expression collection)
void	ProblemReporter.missingSemiColon(Expression expression)
void	ProblemReporter.notCompatibleTypesErrorInForeach(Expression expression, TypeBinding leftType, TypeBinding rightType)
void	ProblemReporter.signalNoImplicitStringConversionForCharArrayExpression(Expression expression)
void	ProblemReporter.unhandledWarningToken(Expression token)
void	ProblemReporter.unnecessaryEnclosingInstanceSpecification(Expression expression, ReferenceBinding targetType)
void	ProblemReporter.unsafeTypeConversion(Expression expression, TypeBinding expressionType, TypeBinding expectedType)
void	ProblemReporter.unusedWarningToken(Expression token)

Uses of Expression in org.eclipse.jdt.internal.core

Methods in org.eclipse.jdt.internal.core with parameters of type Expression

void	SourceMapper.exitMethod(int declarationEnd, Expression defaultValue)
void	CompilationUnitStructureRequestor.exitMethod(int declarationEnd, Expression defaultValue)

Uses of Expression in org.eclipse.jdt.internal.core.jdom

Methods in org.eclipse.jdt.internal.core.jdom with parameters of type Expression

void	SimpleDOMBuilder.exitMethod(int declarationEnd, Expression defaultValue) Deprecated.

Uses of Expression in org.eclipse.jdt.internal.core.search.indexing

Methods in org.eclipse.jdt.internal.core.search.indexing with parameters of type Expression

void	SourceIndexerRequestor.exitMethod(int declarationEnd, Expression defaultValue)

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

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

int	VariableLocator.match(Expression node, MatchingNodeSet nodeSet)
int	PatternLocator.match(Expression node, MatchingNodeSet nodeSet)
int	OrLocator.match(Expression node, MatchingNodeSet nodeSet)
int	ConstructorLocator.match(Expression node, MatchingNodeSet nodeSet)
int	AndLocator.match(Expression node, MatchingNodeSet nodeSet)

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

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

Expression	CodeSnippetParsingUtil.parseExpression(char[] source, int offset, int length, java.util.Map settings, boolean recordParsingInformation)
Expression	CodeSnippetParsingUtil.parseExpression(char[] source, java.util.Map settings, boolean recordParsingInformation)

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

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

class	CodeSnippetAllocationExpression
class	CodeSnippetFieldReference
class	CodeSnippetMessageSend
class	CodeSnippetQualifiedNameReference
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)

Methods in org.eclipse.jdt.internal.eval with parameters of type Expression

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)

Constructors in org.eclipse.jdt.internal.eval with parameters of type Expression

CodeSnippetReturnStatement(Expression expr, int s, int e)

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

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

org.eclipse.text.edits.TextEdit

CodeFormatterVisitor.format(java.lang.String string, Expression expression)

Uses of Expression in org.jmlspecs.jml4.ast

Subclasses of Expression in org.jmlspecs.jml4.ast

class	DepricateJmlRangeArrayReference
class	JmlAllocationExpression
class	JmlAllRangeExpression
class	JmlArrayIndexRangeExpression
class	JmlArrayQualifiedTypeReference
class	JmlArrayRangeStoreRef
class	JmlArrayReference
class	JmlArrayTypeReference
class	JmlAssignment
class	JmlCastExpression
class	JmlCastExpressionWithoutType
class	JmlConditionalExpression
class	JmlElemtypeExpression
class	JmlFieldDotStarStoreRef
class	JmlFieldReference
class	JmlFreshExpression
class	JmlInformalExpression Informal expressions are used in predicates but also in store ref lists.
class	JmlKeywordExpression Instances of this class represent various JML keywords that are used in contexts where expressions (predicates or store references) are expected.
class	JmlMessageSend
class	JmlMultiReferenceExpression
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	JmlResultReference
class	JmlSetComprehension
class	JmlSetStatement
class	JmlSingleNameReference
class	JmlSingleTypeReference
class	JmlStoreRefExpression Deprecated.
class	JmlStoreRefListExpression
class	JmlSubtypeExpression
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	JmlWildcard

Fields in org.jmlspecs.jml4.ast declared as Expression

Expression	JmlQuantifiedExpression.body The body expression.
static Expression[]	JmlClause.EMPTY_EXPR_LIST
Expression	JmlClause.expr
Expression[]	JmlStoreRefListExpression.exprList
Expression[]	JmlMapsIntoClause.groupNames
Expression[]	JmlInDataGroupClause.groupNames
Expression	JmlArrayIndexRangeExpression.high
Expression	JmlSubtypeExpression.left The left expression.
Expression	JmlArrayIndexRangeExpression.low
static Expression	JmlClause.NULL_EXPR
Expression	JmlSetComprehension.predicate The main predicate.
Expression	JmlQuantifiedExpression.range The range predicate.
Expression	JmlSubtypeExpression.right The right expression.
Expression	JmlRepresentsClause.storeRef
Expression	JmlSetComprehension.supersetPredicate The superset predicate.

Methods in org.jmlspecs.jml4.ast that return Expression

static Expression	JmlAstUtils.conjoin(java.util.List exprs)
Expression	JmlName.getHighRange()
Expression	JmlTypeDeclaration.getInvariant()
Expression	JmlName.getLowRange()
Expression	JmlName.getPositionExp()
Expression	JmlMethodSpecification.getPostcondition()
Expression	JmlMethodSpecification.getPrecondition()
Expression	JmlQuantifiedExpression.rangeExprWhenNotSpecified(int quantSourceStart) Returns a TRUE Expressions AST node that can be used as a range when the range is not explicitly given.

Methods in org.jmlspecs.jml4.ast with parameters of type Expression

static JmlUnaryExpression	JmlUnaryExpression.factory(Expression expr, int op)
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.

Constructors in org.jmlspecs.jml4.ast with parameters of type Expression

DepricateJmlRangeArrayReference(Expression rec, Expression lo, Expression hi)

DepricateJmlRangeArrayReference(Expression rec, JmlAllRangeExpression are)

JmlArrayIndexRangeExpression(Expression lo, Expression hi)

JmlArrayReference(Expression rec, Expression pos)

JmlAssertOrAssumeStatement(java.lang.String lexeme, Expression exceptionArgument, Expression assertExpression, int startPosition)

JmlAssertOrAssumeStatement(java.lang.String lexeme, Expression assertExpression, int startPosition)

JmlAssertStatement(java.lang.String lexeme, Expression exceptionArgument, Expression assertExpression, int startPosition)

JmlAssertStatement(java.lang.String lexeme, Expression assertExpression, int startPosition)

JmlAssignableClause(JmlIdentifier keyword, Expression expr)

JmlAssignment(Expression lhs, Expression expression, int sourceEnd)

JmlAssumeStatement(java.lang.String lexeme, Expression exceptionArgument, Expression assertExpression, int startPosition)

JmlAssumeStatement(java.lang.String lexeme, Expression assertExpression, int startPosition)

JmlCastExpression(Expression expression, Expression type, boolean isExplicitNonNull)

JmlCastExpressionWithoutType(Expression expression, boolean isExplicitNonNull)

JmlConditionalExpression(Expression condition, Expression valueIfTrue, Expression valueIfFalse)

JmlConstraintClause(JmlIdentifier clauseKeyword, Expression pred)

JmlDivergesClause(JmlIdentifier keyword, Expression predOrKeyword)

JmlDoStatement(JmlLoopAnnotations annotations, Expression condition, Statement action, int sourceStart, int sourceEnd)

JmlElemtypeExpression(Expression expression, int operator)

JmlEnsuresClause(JmlIdentifier keyword, Expression predOrKeyword)

JmlFieldDotStarStoreRef(Expression receiver)

JmlForStatement(JmlLoopAnnotations annotations, Statement[] initializations, Expression condition, Statement[] increments, Statement action, boolean neededScope, int s, int e)

JmlFreshExpression(Expression[] arguments)

JmlInDataGroupClause(JmlIdentifier clauseKeyword, Expression[] groupNames)

JmlInitiallyClause(JmlIdentifier clauseKeyword, Expression expr)

JmlInvariantForType(JmlIdentifier clauseKeyword, Expression pred)

JmlLoopInvariant(JmlIdentifier keyword, Expression pred)

JmlLoopVariant(JmlIdentifier keyword, Expression expr)

JmlMapsIntoClause(JmlIdentifier clauseKeyword, Expression mapstoExprRef, Expression[] groupNames)

JmlMapsIntoClause(JmlIdentifier clauseKeyword, Expression mapstoExprRef, Expression[] groupNames)

JmlName(Expression low, Expression hi, int sourceStart, int sourceEnd)

JmlName(Expression pos, int sourceStart, int sourceEnd)

JmlOldExpression(Expression expression, int operator)

JmlOldExpression(Expression expression, int operator, char[] label)

JmlOperationOverStoreRefList(Expression argument, int operator)

JmlQuantifiedExpression(java.lang.String lexeme, Expression range, Expression body, LocalDeclaration[] boundVariables, int sourceStart)
Constructs a JmlQuantifiedExpression with the specified parameters.

JmlRepresentsClause(JmlIdentifier clauseKeyword, Expression storeRef, Expression expr)

JmlRequiresClause(JmlIdentifier keyword, Expression predOrKeyword)

JmlReturnStatement(Expression expression, int sourceStart, int sourceEnd)

JmlSetComprehension(LocalDeclaration boundVariable, Expression supersetPredicate, Expression predicate)
Constructs a JmlSetComprehension with the specified parameters.

JmlSignalsClause(JmlIdentifier clauseKeyword, Argument arg, Expression predOrKeyword)

JmlStoreRefListExpression(Expression[] exprList)

JmlSubtypeExpression(Expression left, Expression right)
Constructs a JmlSubtypeExpression with the specified parameters.

JmlTypeBodyDeclaration(JmlIdentifier clauseKeyword, Expression pred)

JmlTypeofExpression(Expression expression, int operator)

JmlUnaryExpression(Expression expression, int operator)

JmlWhileStatement(JmlLoopAnnotations annotations, Expression condition, Statement action, int s, int e)

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

Methods in org.jmlspecs.jml4.esc.gc with parameters of type Expression

SugaredExpression

Ast2SugaredVisitor.getInvariant(Expression invariant)

Uses of Expression in org.jmlspecs.jml4.nonnull

Methods in org.jmlspecs.jml4.nonnull with parameters of type Expression

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 Expression in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac with parameters of type Expression

CodeBuffer	ExpressionTranslator.embedSpecCase(Expression e, SourceTypeBinding sourceTypeBinding, RacResult result, java.lang.String var, VariableGenerator varGen, CompilationResult compilationResult, RacConstants.Condition condition)
static java.lang.String	NonExecutableException.throwException(Expression expr)
java.lang.String	ExpressionTranslator.translate(Expression expression)
java.lang.String	ExpressionTranslator.translate(Expression expression, RacResult result)
java.lang.String	ExpressionTranslator.translate(Expression expression, SourceTypeBinding type, RacResult result) Translates the given expression of the given type.
java.lang.String	PostStateExpressionTranslator.translate(Expression expr, TypeBinding type, boolean isStaticExpr, VariableGenerator vgen, RacResult result) Translates the given expression of the given type.
java.lang.String	PreconditionTranslator.translate(Expression expression, TypeBinding type, RacResult result) Translates the given expression of the given type.
java.lang.String	PostconditionTranslator.translate(Expression expression, TypeBinding type, RacResult result) Translates the given expression of the given type.
java.lang.String	ExpressionTranslator.translate(Expression expression, TypeDeclaration type, RacResult result) Translates the given expression of the given type.
java.lang.String	ExpressionTranslator.translate(JmlQuantifiedExpression quantiExp, Expression expr, SourceTypeBinding typeBinding, RacResult racResult)

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

Constructors in org.jmlspecs.jml4.rac.quantifiedexpression with parameters of type Expression

QInterval(Expression expr, java.lang.String var, java.util.Collection xvars, TypeBinding type, RacResult racResult, SourceTypeBinding typeBinding)
Construct a QInterval object representing the quantifed interval for a (quantified) variable var with respect to the expression expr.