org.jboss.byteman.rule.expression

Class NewExpression

java.lang.Object

org.jboss.byteman.rule.RuleElement

org.jboss.byteman.rule.expression.Expression

org.jboss.byteman.rule.expression.NewExpression

public class NewExpression
extends Expression

Expression which implements a new operation.

Field Summary

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

charPos, line, rule, token, type

Constructor Summary

Constructors

Constructor and Description
NewExpression(Rule rule, ParseNode token, java.util.List<Expression> arguments, java.util.List<Expression> arraySizes)

Method Summary

Modifier and Type	Method and Description
void	bind() verify that variables mentioned in this expression are actually available in the supplied bindings list
void	compile(org.objectweb.asm.MethodVisitor mv, CompileContext compileContext)
java.lang.Class	getCandidateArgClass(java.util.List<java.lang.reflect.Constructor> candidates, int argIdx)
java.lang.Object	interpret(HelperAdapter helper) evaluate the expression by interpreting the expression tree
java.util.List<java.lang.reflect.Constructor>	pruneCandidates(java.util.List<java.lang.reflect.Constructor> candidates, int argIdx, java.lang.Class argClazz)
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

Constructor Detail

NewExpression

public NewExpression(Rule rule,
                     ParseNode token,
                     java.util.List<Expression> arguments,
                     java.util.List<Expression> arraySizes)

Method Detail

bind

public void bind()
          throws TypeException

verify that variables mentioned in this expression are actually available in the supplied bindings list

Specified by:

bind in class Expression

Throws:

TypeException - if any variable is missing or has the wrong type

typeCheck

public Type typeCheck(Type expected)
               throws TypeException

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 contxt in which it occurs. this may be void but shoudl not be undefined at the point where type checking is performed.

Returns:

the expression type

Throws:

TypeException - if type checking fails

getCandidateArgClass

public java.lang.Class getCandidateArgClass(java.util.List<java.lang.reflect.Constructor> candidates,
                                            int argIdx)

pruneCandidates

public java.util.List<java.lang.reflect.Constructor> pruneCandidates(java.util.List<java.lang.reflect.Constructor> candidates,
                                                                     int argIdx,
                                                                     java.lang.Class argClazz)

interpret

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

evaluate the expression by interpreting the expression tree

Specified by:

interpret in class Expression

Parameters:

helper - an execution context associated with the rule whcih contains a map of current bindings for rule variables and another map of their declared types both of which are indexed by varoable 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 class RuleElement

Throws:

CompileException

writeTo

public void writeTo(java.io.StringWriter stringWriter)

Specified by:

writeTo in class Expression