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
Fields Modifier and Type Field Description 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
-
Constructor Summary
Constructors Constructor Description StaticExpression(Rule rule, Type type, ParseNode token, java.lang.String fieldName, java.lang.String ownerTypeName)
-
Method Summary
All Methods Instance Methods Concrete Methods 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 possiblevoid
bindAssign()
treat this as a normal bind because an update to a field reference does not update any bindingsvoid
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.java.lang.Object
interpret(HelperAdapter helper)
evaluate the expression by interpreting the expression treejava.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 callprivate java.lang.reflect.Field
lookupField(java.lang.Class<?> ownerClazz, boolean isAssign)
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
typeCheckAny(boolean isAssign)
Type
typeCheckAssign(Type expected)
typecheck the expression as an lvalue of an assignment operationvoid
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
getBindings, getTypeGroup, rebox, toString
-
-
-
-
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
-
-
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 classExpression
- Throws:
TypeException
- if any variable is missing or has the wrong type
-
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 classAssignableExpression
- Throws:
TypeException
- if any variable is missing or has the wrong type
-
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 classExpression
- 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.- Returns:
- the type of the expression
- Throws:
TypeException
- if a type check failure occurs
-
typeCheckAssign
public Type typeCheckAssign(Type expected) throws TypeException
Description copied from class:AssignableExpression
typecheck the expression as an lvalue of an assignment operation- Specified by:
typeCheckAssign
in classAssignableExpression
- Parameters:
expected
- the expected type for the expression- Returns:
- the expression type
- Throws:
TypeException
- if a type check error occurs
-
typeCheckAny
public void typeCheckAny(boolean isAssign) throws TypeException
- 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 classExpression
- 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
- if an error occurs during execution
-
compile
public void compile(org.objectweb.asm.MethodVisitor mv, CompileContext compileContext) throws CompileException
- Specified by:
compile
in classRuleElement
- Throws:
CompileException
-
writeTo
public void writeTo(java.io.StringWriter stringWriter)
- Specified by:
writeTo
in classExpression
-
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 classAssignableExpression
- 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", ...)value
- the value to be assigned to this object- Returns:
- the result of evaluation as an Object
- Throws:
ExecuteException
- if an error occurs during execution
-
compileAssign
public void compileAssign(org.objectweb.asm.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 classAssignableExpression
- Parameters:
mv
- the current method visitorcompileContext
- the current compile context- Throws:
CompileException
- if a compile error occurs
-
lookupField
private java.lang.reflect.Field lookupField(java.lang.Class<?> ownerClazz, boolean isAssign) throws java.lang.NoSuchFieldException
- Throws:
java.lang.NoSuchFieldException
-
-