org.jboss.byteman.rule.expression
Class NewExpression

java.lang.Object
  extended by org.jboss.byteman.rule.RuleElement
      extended by org.jboss.byteman.rule.expression.Expression
          extended by org.jboss.byteman.rule.expression.NewExpression

public class NewExpression
extends Expression

Expression which implements a new operation.


Field Summary
private  java.util.List<Expression> arguments
           
private  java.util.List<Type> argumentTypes
           
private  int arrayDimCount
           
private  int arrayDimDefinedCount
           
private  java.util.List<Expression> arrayDims
           
private  java.lang.reflect.Constructor constructor
           
private  java.util.List<Type> paramTypes
           
private  java.lang.String typeName
           
 
Fields inherited from class org.jboss.byteman.rule.expression.Expression
charPos, line, rule, token, type
 
Constructor Summary
NewExpression(Rule rule, ParseNode token, java.util.List<Expression> arguments, java.util.List<Expression> arraySizes)
           
 
Method Summary
 void bind()
          verify that variables mentioned in this expression are actually available in the supplied bindings list
 void compile(MethodVisitor mv, CompileContext compileContext)
           
 java.lang.Class getCandidateArgClass(java.util.List<java.lang.reflect.Constructor> candidates, int argIdx)
           
private  java.lang.String getDescriptor()
           
 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
 

Field Detail

typeName

private java.lang.String typeName

arguments

private java.util.List<Expression> arguments

arrayDims

private java.util.List<Expression> arrayDims

argumentTypes

private java.util.List<Type> argumentTypes

paramTypes

private java.util.List<Type> paramTypes

constructor

private java.lang.reflect.Constructor constructor

arrayDimCount

private int arrayDimCount

arrayDimDefinedCount

private int arrayDimDefinedCount
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

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:
Throws:
TypeException

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

compile

public void compile(MethodVisitor mv,
                    CompileContext compileContext)
             throws CompileException
Specified by:
compile in class RuleElement
Throws:
CompileException

getDescriptor

private java.lang.String getDescriptor()

writeTo

public void writeTo(java.io.StringWriter stringWriter)
Specified by:
writeTo in class Expression