Uses of Interface
org.multijava.mjc.CExpressionContextType

Packages that use CExpressionContextType

org.multijava.mjc

Implements mjc, a MultiJava compiler.

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_()
abstract CExpressionContextType	CFlowControlContextType.createExpressionContext()
CExpressionContextType	CExpressionContext.createExpressionContext_() Create a copy of this context to handle divergent paths, e.g., in conditional expressions
CExpressionContextType	CFlowControlContext.createExpressionContext()
CExpressionContextType	JBlock.cachedExpContext()

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.
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.
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.
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
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.
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)
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	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.
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.
void	CVoidType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
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
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	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	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.
CType	JBinaryExpression.promote(CExpressionContextType context) Apply binary numeric promotion (JLS 5.6.2)
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	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).
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.
CType	JArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
JExpression	JArrayInitializer.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayLengthExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayLengthExpression.typecheckNullity(CExpressionContextType context)
JExpression	JAssignmentExpression.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	JCastExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JCastExpression.typecheckHelper(CExpressionContextType context)
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	JCheckedExpression.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.
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	JCompoundAssignmentExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JConditionalAndExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JConditionalExpression.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	JExplicitConstructorInvocation.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	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	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	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	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	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	JModuloExpression.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	JInstanceofExpression.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	JOuterLocalVariableExpression.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	JPostfixExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JPrefixExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
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.
JExpression	JSuperExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JTypeNameExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JUnaryPromote.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.

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

CExpressionContext(CExpressionContextType parent)