public class ArrayExpression extends AssignableExpression
Constructor and Description |
---|
ArrayExpression(Rule rule,
Type type,
ParseNode token,
Expression arrayRef,
List<Expression> idxList) |
Modifier and Type | Method and Description |
---|---|
void |
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 |
bindAssign()
bind as an assignable expression.
|
void |
compile(org.objectweb.asm.MethodVisitor mv,
CompileContext compileContext) |
void |
compileAssign(org.objectweb.asm.MethodVisitor mv,
CompileContext compileContext)
compile an assignment to the referenced location using the value on the top of the
Java stack.
|
Object |
interpret(HelperAdapter helper)
evaluate the expression by interpreting the expression tree
|
Object |
interpretAssign(HelperAdapter helper,
Object value)
execute an assignment to the referenced location by interpretation of the expression,
using the object passed in this call
|
Type |
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 |
typeCheckAssign(Type expected)
typecheck the expression as an lvalue of an assignment operation
|
void |
writeTo(StringWriter stringWriter) |
getPos, getType
compileBooleanConversion, compileBox, compileNumericConversion, compileObjectConversion, compilePrimitiveConversion, compileStringConversion, compileTypeConversion, compileUnbox, getBindings, getTypeGroup, toString
public ArrayExpression(Rule rule, Type type, ParseNode token, Expression arrayRef, List<Expression> idxList)
public void bind() throws TypeException
bind
in class Expression
TypeException
public Type typeCheck(Type expected) throws TypeException
Expression
typeCheck
in class Expression
expected
- the type expected for the expression in the contxet in which it occurs. this
may be void but should not be undefined at the point where type checking is performed.TypeException
public Type typeCheckAssign(Type expected) throws TypeException
AssignableExpression
typeCheckAssign
in class AssignableExpression
TypeException
public Object interpret(HelperAdapter helper) throws ExecuteException
Expression
interpret
in class Expression
helper
- an execution context associated with the rule which contains a map of
current bindings for rule variables and another map of their declared types both of which
are indexed by variable name. This includes entries for the helper (name "-1"), the
recipient if the trigger method is not static (name "0") and the trigger method arguments
(names "1", ...)ExecuteException
public void compile(org.objectweb.asm.MethodVisitor mv, CompileContext compileContext) throws CompileException
compile
in class RuleElement
CompileException
public void writeTo(StringWriter stringWriter)
writeTo
in class Expression
public Object interpretAssign(HelperAdapter helper, Object value) throws ExecuteException
AssignableExpression
interpretAssign
in class AssignableExpression
helper
- an execution context associated with the rule which contains a map of
current bindings for rule variables and another map of their declared types both of which
are indexed by variable name. This includes entries for the helper (name "-1"), the
recipient if the trigger method is not static (name "0") and the trigger method arguments
(names "1", ...)ExecuteException
public void compileAssign(org.objectweb.asm.MethodVisitor mv, CompileContext compileContext) throws CompileException
AssignableExpression
compileAssign
in class AssignableExpression
CompileException
public void bindAssign() throws TypeException
AssignableExpression
bindAssign
in class AssignableExpression
TypeException
Copyright © 2014. All rights reserved.