|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jboss.byteman.rule.RuleElement
org.jboss.byteman.rule.expression.Expression
org.jboss.byteman.rule.expression.AssignableExpression
org.jboss.byteman.rule.expression.DollarExpression
public class DollarExpression
an expression which refers either to a builtin variable or to a bound parameter of the triggering method for an ECA rule. builtin variables are written as a dollar sign followed by a leading alpha-underscore, trailing alpha-numeric-underscore string. bound parameters are written as a dollar sign followed by a non-negativeinteger parameter index e.g. if the rule applies to method foo.bar(int baz, Mumble mumble) then an occurrence of $2 appearing as an expression in a rule would have type Mumble and evaluate to the value of mumble at the point when the rule was triggered. At present there are no special variables but we may need to add some later
Field Summary | |
---|---|
static int |
BIND_IDX
index for any variable introduced in a BINDS clause |
private Binding |
binding
|
static int |
HELPER_IDX
index of $$ variable which is bound to the current helper instance |
private int |
index
index is positive or zero if this is a reference to a method param and negative if this is a reference to the current helper, the return value on the stack in an AT EXIT rule or a local or BIND variable |
static int |
INVOKE_PARAM_ARRAY_IDX
index of $@ variable which is bound to an array of the invoked method params in an AT INVOKE rule |
static int |
LOCAL_IDX
index for any local variable which must be further identified via its name |
private java.lang.String |
name
|
static int |
PARAM_ARRAY_IDX
index of $* variable which is bound to an array of the trigger method params |
static int |
PARAM_COUNT_IDX
index of $# variable which is bound to the count of number of trigger method params |
static int |
RETURN_VALUE_IDX
index of $! variable which is bound to the current return value on stack in AT RETURN rule |
static int |
THROWABLE_VALUE_IDX
index of $@ variable which is bound to the current throwable on stack in AT THROW rule |
Fields inherited from class org.jboss.byteman.rule.expression.Expression |
---|
charPos, line, rule, token, type |
Constructor Summary | |
---|---|
DollarExpression(Rule rule,
Type type,
ParseNode token,
int index)
constructor for param bindings or special bindings |
|
DollarExpression(Rule rule,
Type type,
ParseNode token,
java.lang.String name)
constructor for local var bindings |
Method Summary | |
---|---|
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 |
bind(boolean isUpdateable)
|
void |
bindAssign()
verify that variables mentioned in this expression are actually available in the supplied bindings list. |
void |
compile(MethodVisitor mv,
CompileContext compileContext)
|
void |
compileAssign(MethodVisitor mv,
CompileContext compileContext)
compile an assignment to the referenced location using the value on the top of the Java stack. |
java.lang.Object |
interpret(HelperAdapter helper)
evaluate the expression by interpreting the expression tree |
java.lang.Object |
interpretAssign(HelperAdapter helperAdapter,
java.lang.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. |
void |
writeTo(java.io.StringWriter stringWriter)
|
Methods inherited from class org.jboss.byteman.rule.expression.Expression |
---|
getPos, getType |
Methods inherited from class org.jboss.byteman.rule.RuleElement |
---|
compileBooleanConversion, compileBox, compileNumericConversion, compileObjectConversion, compilePrimitiveConversion, compileStringConversion, compileTypeConversion, compileUnbox, getBindings, getTypeGroup, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private java.lang.String name
private int index
private Binding binding
public static final int HELPER_IDX
public static final int BIND_IDX
public static final int LOCAL_IDX
public static final int RETURN_VALUE_IDX
public static final int THROWABLE_VALUE_IDX
public static final int PARAM_COUNT_IDX
public static final int PARAM_ARRAY_IDX
public static final int INVOKE_PARAM_ARRAY_IDX
Constructor Detail |
---|
public DollarExpression(Rule rule, Type type, ParseNode token, int index)
rule
- type
- token
- index
- public DollarExpression(Rule rule, Type type, ParseNode token, java.lang.String name)
rule
- type
- token
- name
- Method Detail |
---|
public void bind() throws TypeException
bind
in class Expression
TypeException
public void bindAssign() throws TypeException
bindAssign
in class AssignableExpression
TypeException
public void bind(boolean isUpdateable) throws TypeException
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 java.lang.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(MethodVisitor mv, CompileContext compileContext) throws CompileException
compile
in class RuleElement
CompileException
public java.lang.Object interpretAssign(HelperAdapter helperAdapter, java.lang.Object value) throws ExecuteException
AssignableExpression
interpretAssign
in class AssignableExpression
helperAdapter
- 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(MethodVisitor mv, CompileContext compileContext) throws CompileException
AssignableExpression
compileAssign
in class AssignableExpression
CompileException
public void writeTo(java.io.StringWriter stringWriter)
writeTo
in class Expression
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |