org.jboss.byteman.rule.expression
Class StaticExpression

java.lang.Object
  org.jboss.byteman.rule.RuleElement
      org.jboss.byteman.rule.expression.Expression
          org.jboss.byteman.rule.expression.AssignableExpression
              org.jboss.byteman.rule.expression.StaticExpression

public class StaticExpression
extends AssignableExpression

an expression which identifies a static field reference

Field Summary

private java.lang.reflect.Field	field
private int	fieldIndex
private java.lang.String	fieldName
private boolean	isPublicField
private Type	ownerType
private java.lang.String	ownerTypeName the list of path components which may include package qualifiers, the class name, the field name and subordinate field references

Fields inherited from class org.jboss.byteman.rule.expression.Expression

charPos, line, rule, token, type

Constructor Summary

StaticExpression(Rule rule, Type type, ParseNode token, java.lang.String fieldName, java.lang.String ownerTypeName)

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	bindAssign() treat this as a normal bind because an update to a field reference does not update any bindings
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
private java.lang.reflect.Field	lookupField(java.lang.Class<?> ownerClazz)
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

ownerTypeName

private java.lang.String ownerTypeName

the list of path components which may include package qualifiers, the class name, the field name and subordinate field references

fieldName

private java.lang.String fieldName

field

private java.lang.reflect.Field field

ownerType

private Type ownerType

isPublicField

private boolean isPublicField

fieldIndex

private int fieldIndex

Constructor Detail

StaticExpression

public StaticExpression(Rule rule,
                        Type type,
                        ParseNode token,
                        java.lang.String fieldName,
                        java.lang.String ownerTypeName)

Method Detail

bind

public void bind()
          throws TypeException

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

Specified by:

bind in class Expression

Throws:

TypeException

bindAssign

public void bindAssign()
                throws TypeException

treat this as a normal bind because an update to a field reference does not update any bindings

Specified by:

bindAssign in class AssignableExpression

Throws:

TypeException

typeCheck

public Type typeCheck(Type expected)
               throws TypeException

Description copied from class: Expression

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.

Specified by:

typeCheck in class Expression

Parameters:

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.

Throws:

TypeException

interpret

public java.lang.Object interpret(HelperAdapter helper)
                           throws ExecuteException

Description copied from class: Expression

evaluate the expression by interpreting the expression tree

Specified by:

interpret in class Expression

Parameters:

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", ...)

Returns:

the result of evaluation as an Object

Throws:

ExecuteException

compile

public void compile(MethodVisitor mv,
                    CompileContext compileContext)
             throws CompileException

Specified by:

compile in class RuleElement

Throws:

CompileException

writeTo

public void writeTo(java.io.StringWriter stringWriter)

Specified by:

writeTo in class Expression

interpretAssign

public java.lang.Object interpretAssign(HelperAdapter helperAdapter,
                                        java.lang.Object value)
                                 throws ExecuteException

Description copied from class: AssignableExpression

execute an assignment to the referenced location by interpretation of the expression, using the object passed in this call

Specified by:

interpretAssign in class AssignableExpression

Parameters:

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", ...)

Returns:

the result of evaluation as an Object

Throws:

ExecuteException

compileAssign

public void compileAssign(MethodVisitor mv,
                          CompileContext compileContext)
                   throws CompileException

Description copied from class: AssignableExpression

compile an assignment to the referenced location using the value on the top of the Java stack.

Specified by:

compileAssign in class AssignableExpression

Throws:

CompileException

lookupField

private java.lang.reflect.Field lookupField(java.lang.Class<?> ownerClazz)
                                     throws java.lang.NoSuchFieldException

Throws:

java.lang.NoSuchFieldException