public class ArrayExpression extends AssignableExpression
Constructor | Description |
---|---|
ArrayExpression(Rule rule,
Type type,
ParseNode token,
Expression arrayRef,
List<Expression> idxList) |
Modifier and Type | Method | 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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getBindings, getTypeGroup, rebox, toString
public ArrayExpression(Rule rule, Type type, ParseNode token, Expression arrayRef, List<Expression> idxList)
public void bind() throws TypeException
bind
in class Expression
TypeException
- if any variable is missing or has the wrong typepublic 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
- if a type check failure occurspublic Type typeCheckAssign(Type expected) throws TypeException
AssignableExpression
typeCheckAssign
in class AssignableExpression
expected
- the expected type for the expressionTypeException
- if a type check error occurspublic 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
- if an error occurs during executionpublic 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", ...)value
- the value to be assigned to this objectExecuteException
- if an error occurs during executionpublic void compileAssign(org.objectweb.asm.MethodVisitor mv, CompileContext compileContext) throws CompileException
AssignableExpression
compileAssign
in class AssignableExpression
mv
- the current method visitorcompileContext
- the current compile contextCompileException
- if a compile error occurspublic void bindAssign() throws TypeException
AssignableExpression
bindAssign
in class AssignableExpression
TypeException
- if the expression contains an invalid or
unassignable referenceCopyright © 2018. All rights reserved.