Uses of Class
org.multijava.mjc.JExpression

Packages that use JExpression

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JExpression in org.jmlspecs.checker

Subclasses of JExpression in org.jmlspecs.checker

class	JmlAddExpression This class represents the addition binary expression.
class	JmlBitwiseExpression This class represents the addition binary expression.
class	JmlCastExpression JmlCastExpression.java This class represents a cast expression such as /*@(non_null)* / o /*@(non_null T)* / o (/*@non_null* / T) o
class	JmlDivideExpression This class represents the addition binary expression.
class	JmlDurationExpression JmlDurationExpression.java
class	JmlElemTypeExpression JmlElemTypeExpression.java
class	JmlEqualityExpression This class represents the AST node for the equality operators.
class	JmlExpression JmlExpression.java
class	JmlFreshExpression JmlFreshExpression.java
class	JmlInformalExpression JmlInformalExpression.java
class	JmlInvariantForExpression AST for the JML expression \invariant_for.
class	JmlIsInitializedExpression AST for the JML expression \is_initialized.
class	JmlLabelExpression AST for the JML expressions \lblneg and \lblpos.
class	JmlLockSetExpression AST for the JML expression \lockset.
class	JmlMaxExpression JmlMaxExpression.java
class	JmlMethodNameList An AST node class representing the JML callable clause.
class	JmlMinusExpression This class represents the addition binary expression.
class	JmlModuloExpression This class represents the addition binary expression.
class	JmlMultExpression This class represents the addition binary expression.
class	JmlNonNullElementsExpression JmlNonNullElementsExpression.java
class	JmlNotAssignedExpression JmlNotAssignedExpression.java
class	JmlNotModifiedExpression JmlNotModifiedExpression.java
class	JmlOldExpression JmlOldExpression.java
class	JmlOnlyAccessedExpression JmlOnlyAccessedExpression.java
class	JmlOnlyAssignedExpression JmlOnlyAssignedExpression.java
class	JmlOnlyCalledExpression JmlOnlyCalledExpression.java
class	JmlOnlyCapturedExpression JmlOnlyCapturedExpression.java
class	JmlOrdinalLiteral This class represents jml specific ordinal literals (bigint)
class	JmlPredicate This represents the AST node for a predicate in JML.
class	JmlPredicateKeyword
class	JmlPreExpression JmlPreExpression.java
class	JmlQuotedExpressionWrapper This abstract class is the super class of all JmlExpressions that simply modify a quoted Java expression (e.g.
class	JmlReachExpression An AST node class for the JML reach expressions.
class	JmlRelationalExpression This class represents the JML relational expressions.
class	JmlResultExpression JmlResultExpression.java
class	JmlSetComprehension An AST node class for JML's set comprehension notation.
class	JmlShiftExpression This class represents the addition binary expression.
class	JmlSpaceExpression JmlSpaceExpression.java
class	JmlSpecExpression
class	JmlSpecExpressionWrapper This abstract class is the super class of all JmlExpressions that simply modify a spec-expression (e.g.
class	JmlSpecQuantifiedExpression An AST node class for JML quantified expressions.
class	JmlStoreRefListWrapper JmlStoreRefListWrapper.java
class	JmlTypeExpression JmlTypeExpression.java
class	JmlTypeOfExpression JmlTypeOfExpression.java
class	JmlUnaryExpression This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not).
class	JmlWorkingSpaceExpression JmlWorkingSpaceExpression.java

Fields in org.jmlspecs.checker declared as JExpression

private JExpression	JmlAssertOrAssumeStatement.throwMessage
private JExpression[]	JmlMethodDeclaration.assignedFields
private JExpression[]	JmlMethodDeclaration.accessedFields
private JExpression[]	JmlMethodDeclaration.calledMethods
protected JExpression	JmlMethodName.prefix
protected JExpression[]	JmlMethodName.args Internally used for typechecking
private JExpression	JmlDebugStatement.expression The expression part of the debug statement.
protected JExpression	JmlQuotedExpressionWrapper.expression
private JExpression	JmlMonitorsForVarAssertion.fieldExpr
private JExpression	JmlReadableIfVarAssertion.fieldExpr
private JExpression	JmlWritableIfVarAssertion.fieldExpr
private JExpression	JmlSetComprehension.supersetPred
private JExpression	JmlSetStatement.assignmentExpression
private JExpression	JmlSpecExpression.expression
private JExpression	JmlStoreRefExpression.expression
private JExpression	JmlOwnershipAdmissibilityVisitor.potentiallyNotAdmissible In order to get meaningful error messages, the JExpression where needsRep was set is stored.
(package private) JExpression	JmlOwnershipAdmissibilityVisitor.State.potentiallyNotAdmissible

Methods in org.jmlspecs.checker that return JExpression

JExpression	JmlAssertOrAssumeStatement.throwMessage()
private JExpression	JmlMethodName.defaultValue(CType type) Return the default value for type; used for typechecking.
JExpression	JmlDebugStatement.expression() Returns the expression part of this debug statement.
JExpression	JmlExpression.typecheck(CExpressionContextType context)
JExpression	JmlQuotedExpressionWrapper.expression()
JExpression	JmlDurationExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlElemTypeExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlFieldDeclaration.getInitializer()
JExpression	JmlFreshExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlInformalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlInvariantForExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlIsInitializedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlLabelExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlLockSetExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlMaxExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlNonNullElementsExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlStoreRefListWrapper.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlNotAssignedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlNotModifiedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOnlyAccessedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOnlyAssignedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOnlyCalledExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOnlyCapturedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOldExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlPredicate.typecheck(CExpressionContextType context, long privacy) Typechecks this JML predicate in the context of the given context, context.
JExpression	JmlPredicate.typecheck(CExpressionContextType context) Typechecks this JML predicate in the context of the given context, context.
JExpression	JmlPreExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlReachExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlRelationalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlResultExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlSetComprehension.supersetPred()
JExpression	JmlSetComprehension.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlSetStatement.assignmentExpression() Returns the assignment expression of this set statement.
JExpression	JmlSpaceExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlSpecExpression.expression()
JExpression	JmlSpecExpression.typecheck(CExpressionContextType context) Checks this JML predicate in the given context and return the expression that results.
JExpression	JmlSpecExpression.typecheck(CExpressionContextType context, long privacy) Checks this JML predicate in the given context and return the expression that results.
JExpression	JmlSpecQuantifiedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlStoreRefExpression.expression() Returns an expression object corresponding to this store ref expression.
JExpression	JmlTypeExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlTypeOfExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlWorkingSpaceExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression[]	JmlAccumSubclassingInfo.getAssignedFields()
JExpression[]	JmlAccumSubclassingInfo.getAccessedFields()
JExpression[]	JmlAccumSubclassingInfo.getCalledMethods()
JExpression	JmlAddExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlAddExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JmlAddExpression.constantFolding(CExpressionContextType context) Override of super class method to prevent constant folding (since in general we might not be able to represent as a literal the sum of two \bigint's or \real's.
protected static JExpression	JmlAdmissibilityVisitor.removeParentheses(JExpression expr) If expr is of type JParenthesedExpression, this method returns the first child of expr which is not a JPatenthesedExpression.
JExpression	JmlContext.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
static JExpression[]	JmlBinaryArithmeticExpressionHelper.typecheck(JExpression left, JExpression right, TokenReference where, CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
static JExpression	JmlBinaryArithmeticExpressionHelper.verifyOperation(JExpression expr, CExpressionContextType context, int oper)
JExpression	JmlBitwiseExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlCastExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlClassContext.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
JExpression	JmlCompilationUnitContext.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
JExpression	JmlDivideExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlDivideExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JmlDivideExpression.constantFolding(CExpressionContextType context) Override of super class method to prevent constant folding (since in general we might not be able to represent as a literal the quotient of two \bigint's or \real's.
JExpression	JmlMinusExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlMinusExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JmlMinusExpression.constantFolding(CExpressionContextType context) Override of super class method to prevent constant folding (since in general we might not be able to represent as a literal the difference of two \bigint's or \real's.
JExpression	JmlModuloExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlModuloExpression.constantFolding() Override of super class method to prevent constant folding.
JExpression	JmlMultExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlMultExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JmlMultExpression.constantFolding(CExpressionContextType context) Override of super class method to prevent constant folding (since in general we might not be able to represent as a literal the product of two \bigint's or \real's.
JExpression	JmlOrdinalLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to another
JExpression	JmlParser.jExpression()
JExpression	JmlParser.jmlPrimary()
JExpression	JmlParser.jmlWarnExpression()
JExpression	JmlParser.jmlMathModeExpression()
JExpression	JmlParser.jmlSetComprehension(CType type)
JExpression	JmlParser.jPostfixExpression()
JExpression	JmlParser.jmlSpecInitializer()
JExpression	JmlParser.mjOrJmlUnaryExpressionNotPlusMinus()
JExpression	JmlParser.jUnaryExpression()
JExpression	JmlParser.jUnaryExpressionNotPlusMinus()
JExpression	JmlParser.jAssignmentExpression()
JExpression	JmlParser.jConditionalExpression()
JExpression	JmlParser.jmlEquivalenceExpression()
JExpression	JmlParser.jEqualityExpression()
JExpression	JmlParser.jRelationalExpression()
JExpression	JmlParser.jShiftExpression()
JExpression	JmlParser.jmlImpliesExpression()
JExpression	JmlParser.jLogicalOrExpression()
JExpression	JmlParser.jmlForwardImpliesExpression()
JExpression	JmlParser.jmlBackwardImpliesExpression()
JExpression	JmlParser.jPrimaryExpression()
JExpression	JmlParser.mjPrimaryExpression()
JExpression	JmlParser.jParenthesizedExpression()
JExpression	JmlParser.jParenthesizedExpressionRest(TokenReference sourceRef)
JExpression	JmlParser.jNewExpression(JExpression expr)
JExpression[]	JmlParser.jArgList()
JExpression[]	JmlParser.jNewArrayDeclarator()
JExpression	JmlParser.jVarInitializer()
JExpression	JmlParser.jInitializer()
JExpression	JmlParser.jForCond()
JExpression[]	JmlParser.jExpressionList()
JExpression	JmlParser.jLogicalAndExpression()
JExpression	JmlParser.jInclusiveOrExpression()
JExpression	JmlParser.jExclusiveOrExpression()
JExpression	JmlParser.jAndExpression()
JExpression	JmlParser.jAdditiveExpression()
JExpression	JmlParser.jMultiplicativeExpression()
JExpression	JmlParser.jSuperSuffix(JSuperExpression supExpr)
JExpression	JmlParser.mjResendSuffix(JExpression prefix)
JExpression	JmlParser.jConstant()
JExpression	JmlParser.mjWarnExpression()
JExpression	JmlShiftExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlUnaryExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JmlUnaryExpression.noFolding(JExpression expr, CExpressionContextType context) Override of super class method to issue warning if needed
protected JExpression	JmlUnaryExpression.plusMinusConstantFolding(CExpressionContextType context) Override of super class method to prevent constant folding
private JExpression	TestJmlParser.expressionFrom(JmlCompilationUnit unit)

Methods in org.jmlspecs.checker with parameters of type JExpression

void	JmlFieldDeclaration.setInitializer(JExpression expr) Sets the initialization expression for this field.
JmlSourceField	JmlDataGroupClause.checkDataGroup(CFlowControlContextType context, JExpression groupNameExpr, String ident, long privacy)
static boolean	JmlAssignmentStatement.isGhostFieldReference(JExpression expr) Returns true if the given expression, expr is a reference to a ghost field.
static boolean	JmlSetStatement.isGhostFieldReference(JExpression expr) Returns true if the given expression, expr is a reference to a ghost field.
void	JmlSpecExpression.setExpr(JExpression expr)
protected void	JmlAccumSubclassingInfo.visitArgs(JExpression[] args)
JExpression	JmlAddExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
protected static boolean	JmlAdmissibilityVisitor.checkAdmissibility(JExpression expr, JmlExpressionContext ectx, CFieldAccessor modelField) Admissibility checks a JExpression.
protected static JExpression	JmlAdmissibilityVisitor.removeParentheses(JExpression expr) If expr is of type JParenthesedExpression, this method returns the first child of expr which is not a JPatenthesedExpression.
protected static boolean	JmlAdmissibilityVisitor.isThisAfterCasts(JExpression expr) Whether the expr, after removing casts (JCastExpression, JUnaryPromote) is of type JThisExpression.
protected void	JmlAdmissibilityVisitor.warn(JExpression expr, MessageDescription desc) Emits a warning.
protected void	JmlAdmissibilityVisitor.visit(JExpression expr) This method calls the accept(MjcVisitor) method of expr.
protected void	JmlOwnershipAdmissibilityVisitor.visit(JExpression expr)
static JExpression[]	JmlBinaryArithmeticExpressionHelper.typecheck(JExpression left, JExpression right, TokenReference where, CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
static JExpression	JmlBinaryArithmeticExpressionHelper.verifyOperation(JExpression expr, CExpressionContextType context, int oper)
static void	JmlBinaryArithmeticExpressionHelper.compute(JExpression expr, int left, int right, CExpressionContextType context, int oper)
static void	JmlBinaryArithmeticExpressionHelper.compute(JExpression expr, long left, long right, CExpressionContextType context, int oper)
JExpression	JmlDivideExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
static void	JmlExpressionChecker.perform(CContextType ctx, long privacy, JExpression expr, boolean checkPurity) Checks visibility (and purity) of the given expression, expr, in the specification context of visibility, privacy.
static void	JmlExpressionChecker.perform(CContextType ctx, long privacy, JExpression expr) Checks visibility (and purity) of the given expression, expr, in the specification context of visibility, privacy.
static void	JmlExpressionChecker.perform(CContextType ctx, JExpression expr) Checks purity of the given expression, expr.
static void	JmlExpressionChecker.performSideEffectOk(CContextType ctx, JExpression expr) Checks the given expression allowing side effects.
protected void	JmlExpressionChecker.visitExpressions(JExpression[] exprs) Checks visibility (and purity) of the given expressions, expr.
private int	JmlExpressionChecker.methodPureness(CMethod meth, JExpression prefix) Returns 1 if the given method, meth, is a pure method.
private static boolean	JmlExpressionChecker.isModelFieldReference(JExpression expr) Returns true if the given expression, expr is a reference to a model field.
JUnaryExpression	JmlExpressionFactory.createUnaryExpression(antlr.Token op, TokenReference where, int oper, JExpression expr)
JAddExpression	JmlExpressionFactory.createAddExpression(antlr.Token tok, TokenReference where, JExpression left, JExpression right)
JMinusExpression	JmlExpressionFactory.createMinusExpression(antlr.Token tok, TokenReference where, JExpression left, JExpression right)
JMultExpression	JmlExpressionFactory.createMultExpression(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JDivideExpression	JmlExpressionFactory.createDivideExpression(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JExpression	JmlMinusExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JmlMultExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JmlParser.jNewExpression(JExpression expr)
JExpression	JmlParser.mjResendSuffix(JExpression prefix)
protected JExpression	JmlUnaryExpression.noFolding(JExpression expr, CExpressionContextType context) Override of super class method to issue warning if needed
static void	NonNullStatistics.checkExpression(JExpression j, JmlContext context, String fn, int clause, boolean ifNot, boolean ifInvStatic)

Constructors in org.jmlspecs.checker with parameters of type JExpression

JmlAssertOrAssumeStatement(TokenReference where, boolean isRedundantly, JmlPredicate predicate, JExpression throwMessage, JavaStyleComment[] comments)

JmlAssertStatement(TokenReference where, boolean isRedundantly, JmlPredicate predicate, JExpression throwMessage, JavaStyleComment[] comments)

JmlAssumeStatement(TokenReference where, boolean isRedundantly, JmlPredicate predicate, JExpression throwMessage, JavaStyleComment[] comments)

JmlDebugStatement(TokenReference where, JExpression expression, JavaStyleComment[] comments)

JmlQuotedExpressionWrapper(TokenReference where, JExpression expression)

JmlDurationExpression(TokenReference where, JExpression expression)

JmlMaxExpression(TokenReference where, JExpression expression)

JmlRelationalExpression(TokenReference where, int oper, JExpression left, JExpression right)

JmlSetComprehension(TokenReference where, long modifiers, CType type, CType memberType, String ident, JExpression supersetPred, JmlPredicate predicate)

JmlSetStatement(TokenReference where, JExpression assignmentExpression, JavaStyleComment[] comments)

JmlSpecExpression(JExpression expression)

JmlVariableDefinition(TokenReference where, long modifiers, CType type, String ident, JExpression initializer)
Construct a node in the parsing tree.

JmlWorkingSpaceExpression(TokenReference where, JExpression expression)

JmlAddExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree.

JmlArrayDimsAndInits(TokenReference where, CUniverse array_univ, JExpression[] dims, JArrayInitializer init, long mods)
Constructs an array dimension and initializer node in the AST

JmlBitwiseExpression(TokenReference where, int oper, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JmlCastExpression(TokenReference where, JExpression expr, CType dest)
Constructs a node in the parsing tree.

JmlCastExpression(TokenReference where, JExpression expr, CType dest, boolean isExplicitNonNull)
Constructs a node in the parsing tree.

JmlCastExpression(TokenReference where, JExpression expr, boolean isExplicitNonNull)
Constructs a node in the parsing tree.

JmlDivideExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree.

JmlEqualityExpression(TokenReference where, int oper, JExpression left, JExpression right)
Constructs a node in the parsing tree.

JmlMinusExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree.

JmlModuloExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree.

JmlMultExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree.

JmlShiftExpression(TokenReference where, int oper, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JmlUnaryExpression(TokenReference where, int oper, JExpression expr)
Construct a node in the parsing tree.

Uses of JExpression in org.jmlspecs.jmlrac

Subclasses of JExpression in org.jmlspecs.jmlrac

class	RacPredicate An AST node class for RAC-specific predicates.
(package private) class	TransInvariant.CallExpr
(package private) class	TransInvariant.CallExpr2

Fields in org.jmlspecs.jmlrac declared as JExpression

protected JExpression	TransExpression.expression Expression to translate.
protected JExpression	TransExpression2.expression Expression to translate.

Methods in org.jmlspecs.jmlrac that return JExpression

private JExpression	TransMethod.preNonNullAnnotationsDefaultToTrueExpr()
protected JExpression	TransMethod.preNonNullAnnotations() Composes the (implicit or explicit) non_null annotations of formal parameters, if any, into a JML expression and return it.
protected JExpression	TransMethod.postNonNullAnnotation() Returns an expression conjoinable to the normal postcondition, that checks the non_null annotation of the method declaration.
private JExpression	TransMethodBody.conjoinInvariants(JmlLoopInvariant[] invs) Conjoins the given loop invariants and returns the result.
abstract JExpression	TransMethod.SpecCase.precondition() Returns the precondition of this spec case.
JExpression	TransMethod.SpecCase.postcondition() Returns the normal postcondition of this spec case.
protected static JExpression	TransMethod.SpecCase.conjoin(List clauses) Returns a new conjoined expression made out of predicates of the given specification clauses.
JExpression	TransMethod.GeneralSpecCase.precondition() Returns the precondition of this spec case.

Methods in org.jmlspecs.jmlrac with parameters of type JExpression

private JBlock	ConstructorWrapper.buildWrapperBody(JExpression explicitSuper) Returns a body for the constructor wrapper being built.
protected void	RacPrettyPrinter.applyBinaryExpression(JExpression left, JExpression right, String oper) prints a binary expression with the given operator and binary exps.
private JmlMethodDeclaration	TransType.modelFieldAccessor(JmlSourceField field, JExpression expr) Returns a model accessor method for a model field with the given expression (of the represents clause).
protected TransPostcondition	TransMethod.createPostconditionTranslator(VarGenerator postVarGen, RacContext ctx, VarGenerator preVarGen, boolean isStatic, JExpression pred, String var) Creates an appropriate postcondition translator.
private RacNode	TransConstraint.constraintMethod(boolean forStatic, int cnt, JExpression pred, JmlMethodName[] names) Returns a constraint check method that checks the given predicate, pred as a hisotry constraint.
private TransExpression.StringAndNodePair	TransExpression.argumentsForStaticCall(JExpression[] args, String demvar, String angvar) Returns a pair of String and RacNode that is the translation of the given argument, args.
protected RacNode	TransExpression.transPrefix(JExpression prefix, String format) Translates a prefix of a field or method call expression, build a RacNode using the given format, and return the result.
protected RacNode	TransExpression.transPrefixSpec(JExpression prefix, String format, boolean addDelegee)
private TransExpression.DynamicCallArg	TransExpression.argumentsForDynamicCall(JExpression[] args, CSpecializedType[] ptypes) Returns an object that contains information about translating arugments, args to a method call for making a dynamic call.
private RacNode	TransExpression.receiverForDynamicCall(JExpression expr) Returns the receiver for executing the given expression, expr using a dynamic call.
private String	TransExpression2.receiverForDynamicCall(JExpression expr) Returns the receiver for executing the given expression, expr using a dynamic call.
private RacNode	TransExpressionSideEffect.assignStmt(JExpression expr, String var) Generates a statement that assigns the value of var to expr.
boolean	TransPostcondition.QVarChecker.hasQVar(JExpression expr) Returns true if the expression expr contains any references to quantified variables.
boolean	TransPostExpression2.QVarChecker.hasQVar(JExpression expr) Returns true if the expression expr contains any references to quantified variables.

Constructors in org.jmlspecs.jmlrac with parameters of type JExpression

TransInvariant.CallExpr(TokenReference ref, JExpression expr, CType type)

TransInvariant.CallExpr2(TokenReference ref, JExpression expr, CType type)

RacPredicate(JExpression expression)
Constructs a new RAC predicate with the given expression.

RacPredicate(JExpression expression, String message)
Constructs a new RAC predicate with the given expression and associated message.

TransExpression(VarGenerator varGen, RacContext ctx, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Constructs an instance and translates the given expression.

TransExpression2(VarGenerator varGen, RacContext ctx, JExpression expr, String resultVar, JTypeDeclarationType typeDecl, String errorType)
Constructs an instance and translates the given expression.

TransExpressionSideEffect(VarGenerator varGen, RacContext ctx, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Constructs an instance and translates the given expression.

TransExpressionSideEffect(VarGenerator varGen, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Constructs an instance and translates the given expression.

TransPredicate(VarGenerator varGen, RacContext ctx, JExpression pred, String resultVar, JTypeDeclarationType typeDecl)
Constructs a new instance.

TransPostcondition(VarGenerator varGen, RacContext ctx, VarGenerator oldVarGen, boolean forStatic, JExpression pred, String resultVar, JTypeDeclarationType typeDecl)
Constructs a new instance and translates the given postcondition, pred.

TransOldExpression(VarGenerator varGen, RacContext ctx, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Construct an object of TransOldExpression.

TransPostExpression2(VarGenerator varGen, RacContext ctx, VarGenerator oldVarGen, boolean forStatic, JExpression pred, String resultVar, JTypeDeclarationType typeDecl, String errorType)
Constructs a new instance and translates the given post-expression.

Uses of JExpression in org.jmlspecs.jmlrac.qexpr

Fields in org.jmlspecs.jmlrac.qexpr declared as JExpression

JExpression	QInterval.Bound.expr bound expression, e.g, 10 in x > 10
private JExpression	QSet.Leaf.expression JML expression for the qset.

Methods in org.jmlspecs.jmlrac.qexpr that return JExpression

private JExpression	StaticAnalysis.rangePredicate() Returns the range predicate of the quantified expression.
private static JExpression	StaticAnalysis.unwrapJmlExpression(JExpression expr) Unwraps a given JML expression if it is an instance of JmlPredicate or JmlSpecExpression.

Methods in org.jmlspecs.jmlrac.qexpr with parameters of type JExpression

protected void	AbstractExpressionVisitor.visitExpressions(JExpression[] exprs) Visits the given expressions, exprs.
private void	QInterval.calculate(JExpression expr) Calculate the quantified interval with respect to the given expression.
private static boolean	QInterval.isLocalVariable(JExpression expr, String var) Is the expression expr a local variable expression consisting of variable named var?
static QInterval.Bound	QInterval.Bound.fromLeftExpression(int oper, JExpression expr, CType type) Returns a bound built from a bound expression with the bound value, expr, on the left-hand side, e.g., in 10 > x.
static QInterval.Bound	QInterval.Bound.fromRightExpression(int oper, JExpression expr, CType type) Returns a bound built from a bound expression with the bound value, expr, on the right-hand side, e.g., in x > 10.
boolean	QInterval.CheckRecursion.isRecursive(JExpression expr, Collection xvars) Returns true if the expression expr contains any references to local variables in xvars.
static QSet	QSet.build(JExpression expr, String var) Returns a new qset built from a JML expression and a quantified variable.
private static QSet	QSet.calculate(JExpression expr, String var) Returns the qset of an expression expr with respect to the quantified variable var.
protected RacNode	Translator.transExpression(JExpression expr, String var) Returns code for evaluating expression expr and storing the result to the variable var.
private static JExpression	StaticAnalysis.unwrapJmlExpression(JExpression expr) Unwraps a given JML expression if it is an instance of JmlPredicate or JmlSpecExpression.
protected abstract RacNode	StaticAnalysis.generateLoop(JVariableDefinition varDef, JExpression qexpr, String cond, RacNode result) Returns a loop code evaluating the body of the quantified predicate.
protected RacNode	StaticAnalysis.SetBased.generateLoop(JVariableDefinition varDef, JExpression qexpr, String cond, RacNode result) Returns Java source code for evaluating quantified expressions using the QSet-based translation.
protected RacNode	StaticAnalysis.IntervalBased.generateLoop(JVariableDefinition varDef, JExpression pred, String cond, RacNode result) Returns a loop code for evaluating quantified expressions using the interval-based analysis.
protected RacNode	StaticAnalysis.EnumerationBased.generateLoop(JVariableDefinition varDef, JExpression qexpr, String cond, RacNode result) Returns Java source code for evaluating quantified expressions using the QSet-based translation.

Constructors in org.jmlspecs.jmlrac.qexpr with parameters of type JExpression

QInterval(JExpression expr, String var, Collection xvars, CType type)
Construct a QInterval object representing the quantifed interval for a (quantified) variable var with respect to the expression expr.

QInterval.Bound(int oper, JExpression expr, CType type)
Constructs a Bound object

QSet.Leaf(JExpression expr)
Constructs a new Leaf object.

Uses of JExpression in org.multijava.mjc

Subclasses of JExpression in org.multijava.mjc

class	JAddExpression This class represents the addition binary expression.
class	JArrayAccessExpression This class implements an access to an array.
class	JArrayInitializer This class implements a constant list of expressions used in array initialisation.
class	JArrayLengthExpression This class represents an array length expression in the AST.
class	JAssignmentExpression This class implements the assignment operation
class	JBinaryArithmeticExpression This class is an abstract root class for binary expressions.
class	JBinaryExpression This class is an abstract root class for binary expressions Here are conversion method following JLS 5.6.2
class	JBitwiseExpression This class represents the bitwise AND, OR, and XOR binary expressions.
class	JBooleanLiteral Root class for all expressions
class	JCastExpression This class represents a cast expression '((byte)2)'
class	JCharLiteral A simple character constant
class	JCheckedExpression This AST node is used to add a portion of already checked code into code that needs to be checked.
class	JClassExpression This class represents an AST node for a class literal expression, e.g., int.class and String.class.
class	JClassFieldExpression This class represents the AST node for a field access, e.g.
class	JCompoundAssignmentExpression This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST.
class	JConditionalAndExpression This class implements the conditional and operation
class	JConditionalExpression This class implements expressions using the conditional operator.
class	JConditionalOrExpression This class implements the conditional or operation
class	JDivideExpression This class represents the division binary expression.
class	JEqualityExpression This class represents the AST node for the equality operators.
class	JExplicitConstructorInvocation This class represents a explicit call to a super or self constructor.
class	JInstanceofExpression This class represents an instanceof expression.
class	JLiteral Root class for all literals expression
class	JLocalVariableExpression This class represents the AST node for local variable references.
class	JMethodCallExpression This class represents method calls methodname( e1, e2, ..., en )
class	JMinusExpression This class represents the subtraction binary expression.
class	JModuloExpression This class represents the modulo binary expression.
class	JMultExpression This class represents the multiplication binary expression.
class	JNameExpression This class represents a name within an expression.
class	JNewAnonymousClassExpression This class represents a new anonymous class allocation expression.
class	JNewArrayExpression This class represents a new array allocation expression 'new type[...]'
class	JNewObjectExpression This class represents an object instantiation expression 'new type(...)'
class	JNullLiteral A simple character constant
class	JNumberLiteral Root class for all number literals
class	JOrdinalLiteral This class represents literals of primitive integral types (byte, short, int, long).
class	JOuterLocalVariableExpression This class is an AST node and represents a reference to a variable of a surrounding lexical context from within an inner class.
class	JParenthesedExpression This class represents expression within parentheses.
class	JPostfixExpression This class represents postfix increment and decrement expressions.
class	JPrefixExpression This class represents prefix increment and decrement expressions.
class	JRealLiteral This class represents real-valued literals (float, double)
class	JRelationalExpression This class represents the AST node for the relational operators, <, >, etc.
class	JResendExpression This class represents a MultiJava resend expression, for invoking a directly overridden method of the caller's generic function.
class	JShiftExpression This class represents the shift (left, right, boolean-right) binary expressions.
class	JStringLiteral A simple character constant
class	JSuperExpression This class represents a "super" primary expression in an AST.
class	JThisExpression A 'this' expression
(package private) class	JThisExpression.JThisExpression$2
class	JTypeNameExpression This class represents the AST node for a type name expression like Object
class	JUnaryExpression This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not).
class	JUnaryPromote This class promotes an arithmetic expression to a new type.
class	MJMathModeExpression This AST node is used to change the arithmetic mode for a given expression.
class	MJWarnExpression This AST node is used to enable or disable the compile-time and run-time checking of integral arithmetic overflow.

Fields in org.multijava.mjc declared as JExpression

protected JExpression	JLocalVariable.expr
static JExpression[]	JExpression.EMPTY
protected JExpression	JMethodCallExpression.prefix
protected JExpression[]	JMethodCallExpression.args
private JExpression	JMethodCallExpression.repObject
private JExpression	JThisExpression.prefix
private JExpression	CField.value
protected JExpression	JBinaryExpression.left
protected JExpression	JBinaryExpression.right
private JExpression	JWhileStatement.cond
private JExpression	JThrowStatement.expr
private JExpression	JSynchronizedStatement.cond
private JExpression	JSwitchStatement.expr
protected JExpression	JAssertStatement.predicate
protected JExpression	JAssertStatement.throwMessage
protected JExpression	JReturnStatement.expr
private JExpression	JIfStatement.cond
private JExpression	JForStatement.cond
private JExpression	JExpressionStatement.expr
private JExpression[]	JExpressionListStatement.exprs
private JExpression	JDoStatement.cond
protected JExpression	JUnaryExpression.expr
private JExpression	JSuperExpression.prefix
protected JExpression	JPrefixExpression.expr
protected JExpression	JPostfixExpression.expr
private JExpression	JParenthesedExpression.expr
protected JExpression	JNewObjectExpression.explicitThis The primary expression qualifying this class instance creation expression, or null if this is an unqualified class instance creation expression.
protected JExpression[]	JNewObjectExpression.params The expressions that, when evaluated, yield the actual parameters for the constructor invocation.
protected JExpression	JNewObjectExpression.outerThisParam Stores the expression to generate a possible synthetic outer this parameter to the constructor call.
private JExpression	JNameExpression.prefix
private JExpression	JNameExpression.sourcePrefix The prefix as appeared in the source code; note that prefix may be changed as the result of typechecking.
private JExpression	JInstanceofExpression.expr
private JExpression	JConditionalExpression.cond
private JExpression	JConditionalExpression.left
private JExpression	JConditionalExpression.right
private JExpression	JClassFieldExpression.prefix
protected JExpression	JCastExpression.expr
private JExpression	JUnaryPromote.expr
private JExpression	JArrayLengthExpression.prefix
private JExpression	JArrayAccessExpression.prefix
private JExpression	JArrayAccessExpression.accessor
private JExpression	MJWarnExpression.operand
private JExpression	MJMathModeExpression.operand
private JExpression	JSwitchLabel.expr
private JExpression	JExplicitConstructorInvocation.prefix
private JExpression[]	JExplicitConstructorInvocation.args
private JExpression[]	JExplicitConstructorInvocation.syntheticSuperParms Stores the expressions needed to push outer local variables onto the call stack when invoking a superclass constructor.
private JExpression[]	JArrayInitializer.elems
private JExpression[]	JArrayDimsAndInits.dims
protected JExpression	CValueType.dispatchExpr
protected JExpression	CValueType.dispatchValue
private JExpression	JCheckedExpression.checked

Methods in org.multijava.mjc that return JExpression

abstract JExpression	CContextType.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
JExpression[]	CClass.getSyntheticParamsForExplicitSuper(CSourceClass callerClass, CMethod caller) For an explicit super class constructor invocation, returns the expressions that must be evaluated in the body of the constructor caller of the class callerClass to add the outer local variable values required by this to the stack.
JExpression[]	CSourceClass.getSyntheticParamsForExplicitSuper(CSourceClass callerClass, CMethod caller) For an explicit super class constructor invocation, returns the expressions that must be evaluated in the body of the constructor caller of the class callerClass to add the outer local variable values required by this to the stack.
JExpression	CSourceClass.getOuterLocalAccess(TokenReference ref, JLocalVariable var, CMethod constructor) Returns an expression that evaluates to the value of the outer local variable var.
JExpression	CType.getValue()
JExpression	JLocalVariable.getValue()
JExpression	JLocalVariable.expr()
abstract JExpression	JExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JExpression.typecheck(CExpressionContextType context, boolean isIncDec, boolean isLeftSide, boolean discardValue) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JExpression.convertType(CType dest, CExpressionContextType context) Changes the type of this expression to the given type.
JExpression	JExpression.unParenthesize() Returns this with outer parentheses removed.
JExpression	JMethodCallExpression.prefix()
JExpression[]	JMethodCallExpression.args()
JExpression	JMethodCallExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	CContext.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
JExpression	CClassContext.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
abstract JExpression	CClassContextType.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
JExpression	JThisExpression.prefix()
JExpression	JThisExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private JExpression	JThisExpression.makeThisVariableReference(CContextType context) Generates a synthetic variable reference to a local variable that will resolve to "this" at run time.
JExpression	JLocalVariableExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JThisExpression.JThisExpression$2.typecheck(CExpressionContextType ctxt)
JExpression	JFieldDeclaration.getInitializer()
JExpression	CField.getValue()
abstract JExpression	CFieldAccessor.getValue()
JExpression	JBinaryExpression.left()
JExpression	JBinaryExpression.right()
JExpression	JRelationalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JRelationalExpression.typecheck_helper(CExpressionContextType context) This is just used by subclasses to call super class type checking when the arguments are already typechecked.
JExpression	JRelationalExpression.constantFolding(JNumberLiteral left, JNumberLiteral right) Computes the result of the operation at compile-time (JLS 15.27).
JExpression	JWhileStatement.cond()
JExpression	JThrowStatement.expr()
JExpression	JSynchronizedStatement.cond()
JExpression	JSwitchStatement.expr()
JExpression	JAssertStatement.predicate()
JExpression	JAssertStatement.throwMessage()
JExpression	JReturnStatement.expr()
JExpression	JIfStatement.cond()
JExpression	JForStatement.cond()
JExpression	JExpressionStatement.getExpression()
JExpression	JExpressionStatement.expr()
JExpression[]	JExpressionListStatement.getExpressions() Returns an array of expression
JExpression[]	JExpressionListStatement.exprs()
JExpression	JDoStatement.cond()
JExpression	JUnaryExpression.expr()
JExpression	JUnaryExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JUnaryExpression.noFolding(JExpression expr, CExpressionContextType context) No Constant Folding (to be overridden in JML)
protected JExpression	JUnaryExpression.plusMinusConstantFolding(CExpressionContextType context) Constant Folding (+, -)
protected JExpression	JUnaryExpression.binaryNotConstantFolding() Constant Folding (~)
protected JExpression	JUnaryExpression.logicalNotConstantFolding() Constant Folding (!)
JExpression	JTypeNameExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JSuperExpression.prefix()
JExpression	JSuperExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JBinaryArithmeticExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
abstract JExpression	JBinaryArithmeticExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JShiftExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JShiftExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JShiftExpression.constantFolding() Converts two constant expressions into a single literal that is the result of applying this operation to the expressions.
JExpression	JPrefixExpression.expr()
JExpression	JPrefixExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JPostfixExpression.expr()
JExpression	JPostfixExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JParenthesedExpression.expr()
JExpression	JParenthesedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JParenthesedExpression.unParenthesize() Returns this with outer parentheses removed, i.e., returns the results of recursively calling unParenthesize on the JExpression passed to the constructor of this.
JExpression[]	JNewObjectExpression.params()
JExpression	JNewObjectExpression.thisExpr() Returns the JExpression that is the explicit-this portion of the new Object construct.
JExpression	JNewObjectExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JNewObjectExpression.checkCall(CExpressionContextType context, JNewObjectExpression.ArgTypes argTypes) Typechecks the invocation of the actual constructor of the object instantiated.
JExpression	JNewArrayExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JNameExpression.getPrefix()
JExpression	JNameExpression.sourcePrefix()
JExpression	JNameExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private JExpression	JNameExpression.convertToPackageName(CExpressionContextType context) Called if the prefix doesn't typecheck, this tries to use the prefix as a package name to be prepended to the identifier hopefully yielding a fully qualified name.
JExpression	JAddExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JAddExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JAddExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JAddExpression.constantFolding(CExpressionContextType context) Converts two constant expressions into a single literal that is the result of applying this operation to the expressions.
JExpression	JConditionalAndExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JConditionalOrExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JDivideExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JDivideExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JDivideExpression.constantFolding(CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
JExpression	JMinusExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JMinusExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JMinusExpression.constantFolding(CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
JExpression	JModuloExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JModuloExpression.constantFolding() Computes the result of the operation at compile-time (JLS 15.27).
JExpression	JMultExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JMultExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JMultExpression.constantFolding(CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
JExpression	JInstanceofExpression.expr()
JExpression	JInstanceofExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JEqualityExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JEqualityExpression.typecheckHelper(CExpressionContextType context, CType leftType, CType rightType)
JExpression	JEqualityExpression.constantFolding(JLiteral left, JLiteral right) Calculates the boolean literal that is the result of comparing the two given literals for equality (or inequality, depending on oper)
JExpression	JConditionalExpression.cond()
JExpression	JConditionalExpression.left()
JExpression	JConditionalExpression.right()
JExpression	JConditionalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
static JExpression	JAssignmentExpression.create(TokenReference where, int oper, JExpression left, JExpression right) Factory method creates an assignment expression or a compound assignment expression (like x += 3) depending on the assignment operator.
JExpression	JAssignmentExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JCompoundAssignmentExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JClassFieldExpression.prefix()
JExpression	JClassFieldExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JClassExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JCastExpression.expr()
JExpression	JCastExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JCastExpression.typecheckHelper(CExpressionContextType context)
JExpression	JUnaryPromote.expr()
JExpression	JUnaryPromote.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JBitwiseExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JBitwiseExpression.constantFolding() Computes the result of the operation at compile-time (JLS 15.27).
JExpression	JArrayLengthExpression.prefix()
JExpression	JArrayLengthExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayLengthExpression.typecheckNullity(CExpressionContextType context)
JExpression	JArrayAccessExpression.prefix()
JExpression	JArrayAccessExpression.accessor()
JExpression	JArrayAccessExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	MJWarnExpression.expr()
JExpression	MJWarnExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private JExpression	MJWarnExpression.wrap(JExpression e)
JExpression	MJMathModeExpression.expr()
JExpression	MJMathModeExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JSwitchLabel.expr()
JExpression	JLiteral.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JOrdinalLiteral.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JOrdinalLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to another
JExpression	JCharLiteral.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JCharLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to an other
JExpression	JRealLiteral.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JRealLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to an other
JExpression	JExplicitConstructorInvocation.prefix()
JExpression[]	JExplicitConstructorInvocation.params()
JExpression	JExplicitConstructorInvocation.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression[]	JArrayInitializer.elems()
JExpression	JArrayInitializer.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression[]	JArrayDimsAndInits.dims()
abstract JExpression	CCompilationUnitContextType.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
JExpression	CExtMethodContext.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
JExpression	JExpressionFactory.createAdditiveExpr(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JExpression	JExpressionFactory.createMultiplicativeExpr(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JExpression	CValueType.getValue()
JExpression	CFieldAccessorMethod.getValue()
JExpression	CCompilationUnitContext.lookupOuterLocalVariable(TokenReference ref, String ident) Finds a local variable with the given name that appears outside the current lexical contour.
static JExpression	CUniverseRuntimeHelper.getCurrentUniverseOwner(CExpressionContextType context) Get the owner of the current universe.
static JExpression	CUniverseRuntimeHelper.getOwnerTest(CExpressionContextType context, CType dest, JExpression testObject, JExpression expr) Get the owner test that tests if testObject is compatible (can be casted to) the type described by dest.
JExpression	JCheckedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JOuterLocalVariableExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	MjcParser.jVarInitializer()
JExpression	MjcParser.jInitializer()
JExpression	MjcParser.jExpression()
JExpression	MjcParser.jForCond()
JExpression[]	MjcParser.jExpressionList()
JExpression	MjcParser.jAssignmentExpression()
JExpression	MjcParser.jConditionalExpression()
JExpression	MjcParser.jLogicalOrExpression()
JExpression	MjcParser.jLogicalAndExpression()
JExpression	MjcParser.jInclusiveOrExpression()
JExpression	MjcParser.jExclusiveOrExpression()
JExpression	MjcParser.jAndExpression()
JExpression	MjcParser.jEqualityExpression()
JExpression	MjcParser.jRelationalExpression()
JExpression	MjcParser.jShiftExpression()
JExpression	MjcParser.jAdditiveExpression()
JExpression	MjcParser.jMultiplicativeExpression()
JExpression	MjcParser.jUnaryExpression()
JExpression	MjcParser.jUnaryExpressionNotPlusMinus()
JExpression	MjcParser.mjOrJmlUnaryExpressionNotPlusMinus()
JExpression	MjcParser.jPostfixExpression()
JExpression	MjcParser.jPrimaryExpression()
JExpression[]	MjcParser.jArgList()
JExpression	MjcParser.jSuperSuffix(JSuperExpression supExpr)
JExpression	MjcParser.jNewExpression(JExpression expr) object instantiation.
JExpression	MjcParser.mjResendSuffix(JExpression prefix)
JExpression	MjcParser.mjPrimaryExpression()
JExpression	MjcParser.jParenthesizedExpression()
JExpression	MjcParser.jConstant()
JExpression	MjcParser.mjWarnExpression()
JExpression[]	MjcParser.jNewArrayDeclarator()

Methods in org.multijava.mjc with parameters of type JExpression

void	JLocalVariable.setValue(JExpression expr) Sets the initialization expression for this local variable.
void	JExpression.buildUniverseDynChecks(CExpressionContextType context, JExpression var) Creates the expressions for the dynamic universe typechecks.
void	JMethodCallExpression.setPrefix(JExpression expr)
(package private) static boolean	JMethodCallExpression.isInnerThis(JExpression expr)
void	JFieldDeclaration.setInitializer(JExpression expr) Sets the initialization expression for this field.
void	CField.setValue(JExpression value)
void	JBinaryExpression.setLeft(JExpression e)
void	JBinaryExpression.setRight(JExpression e)
protected void	JBinaryExpression.genBranch(JExpression left, JExpression right, boolean cond, CodeSequence code, CodeLabel label) Optimize a bi-conditional expression
protected void	JRelationalExpression.genBranch(JExpression left, JExpression right, boolean cond, CodeSequence code, CodeLabel label) Optimize a bi-conditional expression
void	JUnaryExpression.setExpr(JExpression e)
protected JExpression	JUnaryExpression.noFolding(JExpression expr, CExpressionContextType context) No Constant Folding (to be overridden in JML)
void	JNewObjectExpression.buildUniverseDynChecks(CExpressionContextType context, JExpression var) Creates the expressions for the dynamic universe typechecks.
private static JMethodCallExpression[]	JNewObjectExpression.buildNewObjectUniverseDynChecks(CExpressionContextType context, CClassType type, JExpression var) Creates the expressions for the dynamic universe typechecks.
void	JNewArrayExpression.buildUniverseDynChecks(CExpressionContextType context, JExpression var) Creates the expressions for the dynamic universe typechecks.
private static JMethodCallExpression	JNewArrayExpression.buildNewArrayUniverseDynChecks(CExpressionContextType context, CArrayType type, JExpression var) Creates the method call for the dynamic universe typechecks.
protected JClassFieldExpression	JNameExpression.createClassField(TokenReference ref, JExpression prefix, String ident) Since class field may be overloaded in sub compiler, this method allow you to specifie the type of class field without needed to touch the huge method above !
JExpression	JAddExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
private void	JAddExpression.appendToStringBuffer(CodeSequence code, JExpression expr) Generates a sequence of bytecodes
protected void	JConditionalAndExpression.genBranch(JExpression left, JExpression right, boolean cond, CodeSequence code, CodeLabel label) Optimize a bi-conditional expression
protected void	JConditionalOrExpression.genBranch(JExpression left, JExpression right, boolean cond, CodeSequence code, CodeLabel label) Optimize a bi-conditional expression
JExpression	JDivideExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JMinusExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
JExpression	JMultExpression.verifyOperation(JExpression expr, CExpressionContextType context) Verify the operation.
protected void	JEqualityExpression.genBranch(JExpression left, JExpression right, boolean cond, CodeSequence code, CodeLabel label) Optimize a bi-conditional expression
static JExpression	JAssignmentExpression.create(TokenReference where, int oper, JExpression left, JExpression right) Factory method creates an assignment expression or a compound assignment expression (like x += 3) depending on the assignment operator.
void	JCastExpression.setExpr(JExpression e)
private JExpression	MJWarnExpression.wrap(JExpression e)
static void	JArrayDimsAndInits.allocArray(CodeSequence code, CArrayType type, JExpression[] dims) Generates a sequence of bytecodes
JUnaryExpression	JExpressionFactory.createUnaryExpression(antlr.Token op, TokenReference where, int oper, JExpression expr)
JExpression	JExpressionFactory.createAdditiveExpr(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JAddExpression	JExpressionFactory.createAddExpression(antlr.Token tok, TokenReference where, JExpression left, JExpression right)
JMinusExpression	JExpressionFactory.createMinusExpression(antlr.Token tok, TokenReference where, JExpression left, JExpression right)
JExpression	JExpressionFactory.createMultiplicativeExpr(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JMultExpression	JExpressionFactory.createMultExpression(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JDivideExpression	JExpressionFactory.createDivideExpression(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JModuloExpression	JExpressionFactory.createModuloExpression(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JShiftExpression	JExpressionFactory.createShiftExpression(TokenReference where, int oper, JExpression left, JExpression right)
JBitwiseExpression	JExpressionFactory.createBitwiseExpression(TokenReference where, int oper, JExpression left, JExpression right)
protected void	MjcPrettyPrinter.visitArgs(JExpression[] args) prints a list of arguments
static boolean	CTypeNullity.isAssignable(JLocalVariable left, JExpression right, CContextType context) Returns true if the nullity of left and right would allow the assignment left=right.
static boolean	CTypeNullity.isAssignable(JMethodDeclaration left, JExpression right, CContextType context)
static boolean	CTypeNullity.isAssignable(JExpression left, JExpression right, CContextType context)
private static boolean	CTypeNullity.isAssignable(boolean leftIsDeclaredNonNull, JExpression right, CType leftType, CContextType context)
private static boolean	CTypeNullity.isArrayExpression(JExpression expr)
static JLocalVariable	CUniverseRuntimeHelper.getTmpVariable(CExpressionContextType context, JExpression currentNode, CType type) Get a reference to a temporary variable to store expressions that are used more than once, but should not be evaluated more than once of course.
static JExpression	CUniverseRuntimeHelper.getOwnerTest(CExpressionContextType context, CType dest, JExpression testObject, JExpression expr) Get the owner test that tests if testObject is compatible (can be casted to) the type described by dest.
JExpression	MjcParser.jNewExpression(JExpression expr) object instantiation.
JExpression	MjcParser.mjResendSuffix(JExpression prefix)

Constructors in org.multijava.mjc with parameters of type JExpression

JLocalVariable(TokenReference where, long modifiers, int desc, CType type, String name, JExpression expr)
Constructs a local variable definition AST node.

JMethodCallExpression(TokenReference where, JExpression prefix, JExpression[] args)
Construct a node in the parsing tree This method is directly called by the parser

JMethodCallExpression(TokenReference where, JExpression prefix, String ident, JExpression[] args)
Constructs a method call node of an AST.

JMethodCallExpression(TokenReference where, JExpression prefix, String ident, JExpression[] args, boolean doSetContext)
Constructs a method call node of an AST.

JGeneratedLocalVariable(TokenReference where, long modifiers, CType type, String name, JExpression value)
Constructs a local variable definition

JThisExpression(TokenReference where, JExpression prefix)
Construct a qualified "this" expression node in the parsing tree, where only the qualifying expression is known, not its type.

JVariableDefinition(TokenReference where, long modifiers, CType type, String ident, JExpression initializer)
Construct a node in the parsing tree.

JBinaryExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JRelationalExpression(TokenReference where, int oper, JExpression left, JExpression right)
Construct a node in the parsing tree.

JWhileStatement(TokenReference where, JExpression cond, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree

JThrowStatement(TokenReference where, JExpression expr, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JSynchronizedStatement(TokenReference where, JExpression cond, JBlock body, JavaStyleComment[] comments)
Construct a node in the parsing tree

JSwitchStatement(TokenReference where, JExpression expr, JSwitchGroup[] groups, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JAssertStatement(TokenReference where, JExpression predicate, JavaStyleComment[] comments)

JAssertStatement(TokenReference where, JExpression predicate, JExpression throwMessage, JavaStyleComment[] comments)

JReturnStatement(TokenReference where, JExpression expr, JavaStyleComment[] comments)
Construct a node in the parsing tree

JIfStatement(TokenReference where, JExpression cond, JStatement thenClause, JStatement elseClause, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JForStatement(TokenReference where, JStatement init, JExpression cond, JStatement incr, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree

JExpressionStatement(TokenReference where, JExpression expr, JavaStyleComment[] comments)
Construct a node in the parsing tree

JExpressionListStatement(TokenReference where, JExpression[] exprs, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JDoStatement(TokenReference where, JExpression cond, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JUnaryExpression(TokenReference where, int oper, JExpression expr)
Construct a node in the parsing tree.

JSuperExpression(TokenReference where, JExpression prefix)
Construct a qualified "super" expression node in the AST, where only the qualifying expression is known, not its type.

JBinaryArithmeticExpression(TokenReference where, JExpression left, JExpression right)
Constructs a node in the parsing tree.

JShiftExpression(TokenReference where, int oper, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JPrefixExpression(TokenReference where, int oper, JExpression expr)
Construct a node in the parsing tree

JPostfixExpression(TokenReference where, int oper, JExpression expr)
Construct a node in the parsing tree

JParenthesedExpression(TokenReference where, JExpression expr)
Construct a node in the parsing tree.

JNewObjectExpression(TokenReference where, CClassType objectType, JExpression explicitThis, JExpression[] params)
Construct a node in the parsing tree.

JNewAnonymousClassExpression(TokenReference where, CClassType objectType, JExpression explicitThis, JExpression[] params, JClassDeclarationType decl)
Construct a node in the parsing tree.

JNameExpression(TokenReference where, JExpression prefix, String ident)
Constructs a node in the parsing tree.

JNameExpression(TokenReference where, JExpression prefix, String ident, CUniverse univ)
Constructs a node in the parsing tree.

JAddExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree.

JConditionalAndExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JConditionalOrExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JDivideExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree.

JMinusExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JModuloExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JMultExpression(TokenReference where, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JInstanceofExpression(TokenReference where, JExpression expr, CType dest)
Construct a node in the parsing tree.

JEqualityExpression(TokenReference where, int oper, JExpression left, JExpression right)
Constructs a node in the parsing tree.

JConditionalExpression(TokenReference where, JExpression cond, JExpression left, JExpression right)
Construct a node in the parsing tree.

JAssignmentExpression(TokenReference where, JExpression left, JExpression right)
Constructs a node in the parsing tree.

JCompoundAssignmentExpression(TokenReference where, int oper, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JClassFieldExpression(TokenReference where, JExpression prefix, String ident, JNameExpression sourceName)
Construct a node in the parsing tree.

JClassFieldExpression(TokenReference where, JExpression prefix, String ident)
Construct a node in the parsing tree.

JClassExpression(TokenReference where, JExpression expr, int bounds)
Construct a node in the parsing tree.

JCastExpression(TokenReference where, JExpression expr, CType dest)
Constructs a node in the parsing tree.

JCastExpression(TokenReference where, JExpression expr, CType dest, boolean isSynthetic)
Constructs a node in the parsing tree.

JUnaryPromote(JExpression expr, CType type)
Constructs a promotion of the given expression to the given type.

JBitwiseExpression(TokenReference where, int oper, JExpression left, JExpression right)
Construct a node in the parsing tree This method is directly called by the parser

JArrayLengthExpression(TokenReference where, JExpression prefix)
Construct a node in the parsing tree

JArrayAccessExpression(TokenReference where, JExpression prefix, JExpression accessor)
Construct a node in the parsing tree This method is directly called by the parser

MJWarnExpression(TokenReference where, String operatorName, JExpression operand, boolean enable_safe_math)
Construct a node in the parsing tree.

MJWarnExpression(TokenReference where, String operatorName, JExpression operand, boolean enable_safe_math, boolean scope_is_one_op)
Construct a node in the parsing tree.

MJMathModeExpression(TokenReference where, String operatorName, JExpression operand, byte mode)
Construct a node in the parsing tree.

JSwitchLabel(TokenReference where, JExpression expr)
Construct a node in the parsing tree.

JExplicitConstructorInvocation(TokenReference where, JExpression prefix, String ident, JExpression[] args)
Construct a node in the parsing tree.

JExplicitConstructorInvocation(TokenReference where, String ident, JExpression[] args)
Construct an AST node for an explicit constructor invocation.

JArrayInitializer(TokenReference where, JExpression[] elems)
Constructs a node in the parsing tree.

JArrayDimsAndInits(TokenReference where, CUniverse array_univ, JExpression[] dims, JArrayInitializer init)
Constructs an array dimension and initializer node in the AST

CValueType(CType staticType, JExpression dispatchExpr)
Constructor

CBooleanValueType(JExpression dispatchExpr)
Constructor

COrdinalValueType(CType staticType, JExpression dispatchExpr)
Constructor

CRealValueType(CType staticType, JExpression dispatchExpr)
Constructor

CStringValueType(JExpression dispatchExpr)
Constructor

JCheckedExpression(TokenReference where, JExpression checked)
Construct a node in the parsing tree.

JResendExpression(TokenReference where, JExpression prefix, JExpression[] args)