Uses of Interface
org.multijava.mjc.CExpressionContextType

Packages that use CExpressionContextType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CExpressionContextType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement CExpressionContextType

class

JmlExpressionContext A class for representing the context in which JML expressions are typechecked.

Methods in org.jmlspecs.checker that return CExpressionContextType

CExpressionContextType	JmlExpressionContext.createExpressionContext_() Create a copy of this context to handle divergent paths, e.g., in conditional expressions
CExpressionContextType	JmlFlowControlContext.createExpressionContext()

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

protected CField	JmlSourceClass.lookupFieldHelper(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed
protected boolean	JmlSourceClass.isFieldRedefined(String ident, CExpressionContextType dummyContext) Returns true iff a field with same name is already defined in a superclass or an implemented interface.
void	CTypeType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
protected CMethod	JmlMethodName.lookupMethod(CType[] argTypes, CExpressionContextType context)
JExpression	JmlExpression.typecheck(CExpressionContextType context)
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	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.
abstract JmlStoreRef	JmlStoreRef.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlInformalStoreRef.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, 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.
void	JmlLoopInvariant.typecheck(CExpressionContextType context)
JExpression	JmlMaxExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JmlName	JmlName.typecheck(CExpressionContextType context) Typechecks the store reference 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.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlSpaceExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
JmlStoreRef	JmlStoreRefExpression.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlStoreRefExpression.typecheck(CExpressionContextType context, long privacy, CType type) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlStoreRefKeyword.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
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.
void	JmlVariantFunction.typecheck(CExpressionContextType context)
JExpression	JmlWorkingSpaceExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
int	JmlAddExpression.compute(int left, int right, CExpressionContextType context) Override of super class method to send the warning if the unsafe operation result in an overflow when folding constants
long	JmlAddExpression.compute(long left, long right, CExpressionContextType context) Override of super class method to send the warning if the unsafe operation result in an overflow when folding constants
CFieldAccessor	JmlContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	JmlContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CType	JmlArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
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	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.
CFieldAccessor	JmlClassContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	JmlClassContext.lookupField(String ident, CExpressionContextType context) lookupField
CFieldAccessor	JmlCompilationUnitContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	JmlCompilationUnitContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding 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.
int	JmlDivideExpression.compute(int left, int right, CExpressionContextType context) Override of super class method to send the warning if the unsafe operation result in an overflow when folding constants
long	JmlDivideExpression.compute(long left, long right, CExpressionContextType context) Override of super class method to send the warning if the unsafe operation result in an overflow when folding constants
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.
int	JmlMinusExpression.compute(int left, int right, CExpressionContextType context) Override of super class method to send the warning if the unsafe operation result in an overflow when folding constants
long	JmlMinusExpression.compute(long left, long right, CExpressionContextType context) Override of super class method to send the warning if the unsafe operation result in an overflow when folding constants
JExpression	JmlModuloExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
int	JmlMultExpression.compute(int left, int right, CExpressionContextType context) Override of super class method to send the warning if the unsafe operation result in an overflow when folding constants
long	JmlMultExpression.compute(long left, long right, CExpressionContextType context) Override of super class method to send the warning if the unsafe operation result in an overflow when folding constants
JExpression	JmlOrdinalLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to another
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

Uses of CExpressionContextType in org.jmlspecs.jmlunit

Methods in org.jmlspecs.jmlunit that return CExpressionContextType

private CExpressionContextType

TestDataClassGenerator.expr_context(CClass selfClass) Compute a context for use in testing whether a method exists in the given class.

Uses of CExpressionContextType in org.multijava.mjc

Classes in org.multijava.mjc that implement CExpressionContextType

class

CExpressionContext This class represents the context for an expression during checking passes (checkInterface, checkInitializers, typecheck).

Fields in org.multijava.mjc declared as CExpressionContextType

private CExpressionContextType	JBlock.cachedExpContext
protected CExpressionContextType	TestCContext.expr

Methods in org.multijava.mjc that return CExpressionContextType

abstract CExpressionContextType	CExpressionContextType.createExpressionContext_()
CExpressionContextType	JBlock.cachedExpContext()
abstract CExpressionContextType	CFlowControlContextType.createExpressionContext()
CExpressionContextType	CFlowControlContext.createExpressionContext()
CExpressionContextType	CExpressionContext.createExpressionContext_() Create a copy of this context to handle divergent paths, e.g., in conditional expressions

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

abstract CFieldAccessor	CContextType.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
abstract CFieldAccessor	CContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CClass.lookupField(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed Creates an appropriate getter or setter method (or both) if necessary for privileged access to the field.
protected CField	CClass.lookupFieldHelper(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed
CField	CClass.lookupSuperField(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed
protected boolean	CClass.isFieldRedefined(String ident, CExpressionContextType dummyContext) Returns true iff a field with same name is already defined in a superclass or an implemented interface.
CFieldAccessorMethod	CClass.getterOrSetterMethodFor(CField field, CExpressionContextType context) Returns a method that allows getting or setting the value of field from context context.
abstract void	CType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	CClassType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
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.
void	JExpression.buildUniverseDynChecks(CExpressionContextType context, JExpression var) Creates the expressions for the dynamic universe typechecks.
JExpression	JMethodCallExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private void	JMethodCallExpression.typecheckUncheckedWarnings(CType[] actuals, CExpressionContextType context) Issues unchecked warnings for the actual parameters which need unchecked conversion (JLS3 5.1.9) to conform to their corresponding formal parameters.
private void	JMethodCallExpression.handlePossibleRawTypeAccess(CExpressionContextType context) If a non-static method is accessed as a member of a raw type, the following actions are performed (see JLS3 4.8): Replace the type of the method return value by its erasure.
private void	JMethodCallExpression.typecheckNullity(CExpressionContextType context)
protected CType[]	JMethodCallExpression.checkArgumentTypes(CExpressionContextType context) Typechecks args and returns an array of the argument types.
protected void	JMethodCallExpression.resolveExternalMethods(CExpressionContextType context) Makes sure any external generic functions that are implicitly imported are actually available in the data structures.
protected CMethod	JMethodCallExpression.lookupMethod(CType[] argTypes, CExpressionContextType context) Returns the apparent target method for this call.
protected void	JMethodCallExpression.handleSuperPrefix(CType[] argTypes, CExpressionContextType context) Handles processing of cases where prefix is a super expression, including various hacks for MultiJava super sends and for super sends to inner and outer classes.
private void	JMethodCallExpression.processExceptions(CExpressionContextType context) Processes the exceptions thrown by the target method and registers them with the context.
private void	JMethodCallExpression.ensurePrefixIsInitialized(CExpressionContextType context) Ensures that, if the target method is not static, then the prefix field contains an appropriate expression that evaluates to the method's receiver.
private void	JMethodCallExpression.typecheckUniverse(CExpressionContextType context) Typecheck the universe properties of the method call.
private CUniverse	JMethodCallExpression.typecheckUniverseNonPureOnPivot(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a non-pure method call that is performed through a pivot, i.e. not on this.
private CUniverse	JMethodCallExpression.typecheckUniversePureOnPivot(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a pure method call that is performed through a pivot, i.e. not on this.
private CUniverse	JMethodCallExpression.typecheckUniverseMethodOnThis(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a method call that is performed on this, the current object, regardless of whether the call is pure or not.
private void	JMethodCallExpression.checkParameterUniverses(CExpressionContextType context, CUniverse prefix_universe, boolean non_pure_through_pivot) Check the universe types of the parameters.
CFieldAccessor	CContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	CContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CClassContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CClassContext.lookupField(String ident, CExpressionContextType context) lookupField
abstract CFieldAccessor	CClassContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
abstract CFieldAccessor	CClassContextType.lookupField(String ident, CExpressionContextType context) lookupField
boolean	JThisExpression.isLValue(CExpressionContextType context)
JExpression	JThisExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
boolean	JLocalVariableExpression.isLValue(CExpressionContextType context) Returns true if this field accept assignment
JExpression	JLocalVariableExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
abstract boolean	CInitializable.isLValue(CExpressionContextType context)
JExpression	JThisExpression.JThisExpression$2.typecheck(CExpressionContextType ctxt)
CType	JBinaryExpression.promote(CExpressionContextType context) Apply binary numeric promotion (JLS 5.6.2)
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	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 (+, -)
JExpression	JTypeNameExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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	JPrefixExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JPostfixExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
boolean	JParenthesedExpression.isLValue(CExpressionContextType context) Delegates to expr.
JExpression	JParenthesedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JNewObjectExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JNewObjectExpression.ArgTypes	JNewObjectExpression.checkTypes(CExpressionContextType context) Resolves and checks the types of the actual parameters to the constructor.
protected JExpression	JNewObjectExpression.checkCall(CExpressionContextType context, JNewObjectExpression.ArgTypes argTypes) Typechecks the invocation of the actual constructor of the object instantiated.
private void	JNewObjectExpression.checkForUncheckedWarnings(JNewObjectExpression.ArgTypes argTypes, CExpressionContextType context) Issues unchecked warnings for the actual parameters which need unchecked conversion (JLS3 5.1.9) to conform to their corresponding formal parameters.
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.
protected JNewObjectExpression.ArgTypes	JNewAnonymousClassExpression.checkTypes(CExpressionContextType context) Resolves and checks the types of the actual parameters to the constructor.
JExpression	JNewArrayExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
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.
int	JAddExpression.compute(int left, int right, CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
long	JAddExpression.compute(long left, long right, CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
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).
int	JDivideExpression.compute(int left, int right, CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
long	JDivideExpression.compute(long left, long right, 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).
int	JMinusExpression.compute(int left, int right, CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
long	JMinusExpression.compute(long left, long right, 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	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).
int	JMultExpression.compute(int left, int right, CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
long	JMultExpression.compute(long left, long right, CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
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	JConditionalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
boolean	JClassFieldExpression.isLValue(CExpressionContextType context) Returns true if this field accepts assignment.
JExpression	JClassFieldExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private void	JClassFieldExpression.findPrefixAndField(CMemberHost localHost, CExpressionContextType context) Finds the type of the prefix as part of typechecking.
private void	JClassFieldExpression.handlePossibleRawTypeAccess(CExpressionContextType context) If a non-static field is accessed as a member of a raw type, the following actions are performed (see JLS3 4.8): Replace the type of the field access expression by its erasure.
private void	JClassFieldExpression.checkAccess(CMemberHost localHost, CExpressionContextType context) Verifies that the field is accessible in this context.
private void	JClassFieldExpression.typecheckUniverse(CExpressionContextType context) Performs all the checks whether the class field expression is valid according to the universe type system.
JExpression	JClassExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.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	JArrayLengthExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayLengthExpression.typecheckNullity(CExpressionContextType context)
boolean	JArrayAccessExpression.isLValue(CExpressionContextType context) Determine whether the array access is a LValue in this context.
JExpression	JArrayAccessExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
boolean	MJWarnExpression.isNonNull(CExpressionContextType context) Returns true iff the value represented by this expression is non-null
JExpression	MJWarnExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private void	MJWarnExpression.partly_desugar(CExpressionContextType context) Requires this.scope_is_one_op.
boolean	MJMathModeExpression.isNonNull(CExpressionContextType context) Returns true iff the value represented by this expression is non-null
JExpression	MJMathModeExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
boolean	JLiteral.isLValue(CExpressionContextType context)
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.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayInitializer.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
CType	JArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
abstract CFieldAccessor	CCompilationUnitContextType.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
abstract CFieldAccessor	CCompilationUnitContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CExtMethodContext.lookupField(String ident, CExpressionContextType context) Searches for a field with the given name in this context.
CFieldAccessor	CExtMethodContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
void	CNumericType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
CFieldAccessor	CBadClass.lookupField(String name, CExpressionContextType context) lookupField search for a field look in parent hierarchy as needed
void	CBooleanType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	CValueType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
CFieldAccessor	CCompilationUnitContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	CCompilationUnitContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
void	CVoidType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
static JExpression	CUniverseRuntimeHelper.getCurrentUniverseOwner(CExpressionContextType context) Get the owner of the current universe.
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	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.
protected CType[]	JResendExpression.checkArgumentTypes(CExpressionContextType context) Typechecks args and returns an array of the argument types.
protected void	JResendExpression.resolveExternalMethods(CExpressionContextType context) Makes sure any external generic functions that are implicitly imported are actually available in the data structures.
protected CMethod	JResendExpression.lookupMethod(CType[] argTypes, CExpressionContextType context) Returns the apparent target method for this call.

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

CExpressionContext(CExpressionContextType parent)