void |
ArrayExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
ArrayInitExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
AssignExpression.bind() |
|
void |
BinaryOperExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
ClassLiteralExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
DollarExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
DollarExpression.bind(boolean isUpdateable) |
|
abstract void |
Expression.bind() |
verify that variables mentioned in this expression are actually available in the rule
bindings list
|
void |
FieldExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
MethodExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
NewExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list
|
void |
NumericLiteral.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
ReturnExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
StaticExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
TernaryOperExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
ThrowExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
UnaryOperExpression.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
void |
Variable.bind() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list and infer/validate the type of this expression or its subexpressions
where possible
|
private boolean |
Variable.bind(boolean isUpdateable) |
|
void |
ArrayExpression.bindAssign() |
|
abstract void |
AssignableExpression.bindAssign() |
bind as an assignable expression.
|
void |
DollarExpression.bindAssign() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list.
|
void |
FieldExpression.bindAssign() |
treat this as a normal bind because an update to a field reference does not update any bindings
|
void |
StaticExpression.bindAssign() |
treat this as a normal bind because an update to a field reference does not update any bindings
|
void |
Variable.bindAssign() |
verify that variables mentioned in this expression are actually available in the supplied
bindings list.
|
private void |
FieldExpression.checkIndirectStatic() |
|
private void |
ThrowExpression.checkThrownTypeIsValid() |
check that it is legitimate to throw an exception of the type computed for this expression from the
trtiggering method.
|
static ArrayInitExpression |
ExpressionHelper.createArrayInitExpression(Rule rule,
Bindings bindings,
ParseNode exprTree,
Type type) |
|
static AssignableExpression |
ExpressionHelper.createAssignableExpression(Rule rule,
Bindings bindings,
ParseNode exprTree,
Type type) |
|
static Expression |
ExpressionHelper.createBinaryExpression(Rule rule,
Bindings bindings,
ParseNode exprTree,
Type type) |
|
static Expression |
ExpressionHelper.createCallExpression(Rule rule,
Bindings bindings,
ParseNode selectorTree,
ParseNode recipientTree,
ParseNode argTree,
Type type) |
|
static ClassLiteralExpression |
ExpressionHelper.createClassLiteralExpression(Rule rule,
Bindings bindings,
ParseNode pathTree,
Type type) |
|
static Expression |
ExpressionHelper.createExpression(Rule rule,
Bindings bindings,
ParseNode exprTree) |
|
static Expression |
ExpressionHelper.createExpression(Rule rule,
Bindings bindings,
ParseNode exprTree,
Type type) |
|
static java.util.List<Expression> |
ExpressionHelper.createExpressionList(Rule rule,
Bindings bindings,
ParseNode exprTree) |
|
static java.util.List<Expression> |
ExpressionHelper.createExpressionList(Rule rule,
Bindings bindings,
ParseNode exprTree,
Type type) |
|
static AssignableExpression |
ExpressionHelper.createFieldExpression(Rule rule,
Bindings bindings,
ParseNode fieldTree,
ParseNode targetTree,
Type type) |
|
static java.util.List<Expression> |
ExpressionHelper.createNewArrayDimsList(Rule rule,
Bindings bindings,
ParseNode exprTree) |
|
static Expression |
ExpressionHelper.createNewExpression(Rule rule,
Bindings bindings,
ParseNode typeNameTree,
ParseNode argTree,
ParseNode arrayDimsTree) |
|
java.lang.Class<?>[] |
ThrowExpression.createParamTypes(java.lang.String descriptor,
java.lang.ClassLoader loader) |
|
static Expression |
ExpressionHelper.createTernaryExpression(Rule rule,
Bindings bindings,
ParseNode exprTree,
Type type) |
|
static Expression |
ExpressionHelper.createThrowExpression(Rule rule,
Bindings bindings,
ParseNode typeNameTree,
ParseNode argTree) |
|
static Expression |
ExpressionHelper.createUnaryExpression(Rule rule,
Bindings bindings,
ParseNode exprTree,
Type type) |
|
private void |
MethodExpression.findMethod(boolean publicOnly,
Type expected) |
find a method to resolve this method call expression.
|
Type |
ArithmeticExpression.typeCheck(Type expected) |
|
Type |
ArrayExpression.typeCheck(Type expected) |
|
Type |
ArrayInitExpression.typeCheck(Type expected) |
|
Type |
AssignExpression.typeCheck(Type expected) |
|
Type |
BitExpression.typeCheck(Type expected) |
|
Type |
BooleanLiteral.typeCheck(Type expected) |
|
Type |
ClassLiteralExpression.typeCheck(Type expected) |
|
Type |
ComparisonExpression.typeCheck(Type expected) |
|
Type |
ConditionalEvalExpression.typeCheck(Type expected) |
|
Type |
DollarExpression.typeCheck(Type expected) |
|
abstract Type |
Expression.typeCheck(Type expected) |
ensure that all type references in the expression and its component expressions
can be resolved, that the type of the expression is well-defined and that it is
compatible with the type expected in the context in which it occurs.
|
Type |
FieldExpression.typeCheck(Type expected) |
|
Type |
InstanceOfExpression.typeCheck(Type expected) |
|
Type |
LogicalExpression.typeCheck(Type expected) |
|
Type |
MethodExpression.typeCheck(Type expected) |
|
Type |
MinusExpression.typeCheck(Type expected) |
|
Type |
NewExpression.typeCheck(Type expected) |
ensure that all type references in the expression and its component expressions
can be resolved, that the type of the expression is well-defined and that it is
compatible with the type expected in the context in which it occurs.
|
Type |
NotExpression.typeCheck(Type expected) |
|
Type |
NullLiteral.typeCheck(Type expected) |
|
Type |
NumericLiteral.typeCheck(Type expected) |
|
Type |
PlusExpression.typeCheck(Type expected) |
|
Type |
ReturnExpression.typeCheck(Type expected) |
ensure that all type references in the expression and its component expressions
can be resolved, that the type of the expression is well-defined and that it is
compatible with the type expected in the context in which it occurs.
|
Type |
ShiftExpression.typeCheck(Type expected) |
|
Type |
StaticExpression.typeCheck(Type expected) |
|
Type |
StringLiteral.typeCheck(Type expected) |
|
Type |
StringPlusExpression.typeCheck(Type expected) |
|
Type |
ThrowExpression.typeCheck(Type expected) |
ensure that all type references in the expression and its component expressions
can be resolved, that the type of the expression is well-defined and that it is
compatible with the type expected in the context in which it occurs.
|
Type |
TwiddleExpression.typeCheck(Type expected) |
|
Type |
Variable.typeCheck(Type expected) |
|
private void |
ArrayExpression.typeCheckAny() |
|
private void |
FieldExpression.typeCheckAny(boolean isAssign) |
|
void |
StaticExpression.typeCheckAny(boolean isAssign) |
|
void |
Variable.typeCheckAny() |
|
Type |
ArrayExpression.typeCheckAssign(Type expected) |
|
abstract Type |
AssignableExpression.typeCheckAssign(Type expected) |
typecheck the expression as an lvalue of an assignment operation
|
Type |
DollarExpression.typeCheckAssign(Type expected) |
|
Type |
FieldExpression.typeCheckAssign(Type expected) |
|
Type |
StaticExpression.typeCheckAssign(Type expected) |
|
Type |
Variable.typeCheckAssign(Type expected) |
|