org.jboss.byteman.rule.expression

Class MethodExpression

java.lang.Object

org.jboss.byteman.rule.RuleElement

org.jboss.byteman.rule.expression.Expression

org.jboss.byteman.rule.expression.MethodExpression

public class MethodExpression
extends Expression

an expression which identifies a method invocation

Field Summary

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

charPos, line, rule, token, type

Constructor Summary

Constructors

Constructor and Description
MethodExpression(Rule rule, Type type, ParseNode token, Expression recipient, List<Expression> arguments, String[] pathList)

Method Summary

Methods

Modifier and Type	Method and Description
Method	bestMatchCandidate(List<Method> candidates) return the method whose signature is the best fit for the call argument types.
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	compile(org.objectweb.asm.MethodVisitor mv, CompileContext compileContext)
Class	getCandidateArgClass(List<Method> candidates, int argIdx)
String	getPath(int len)
int	getPathCount(String name)
Object	interpret(HelperAdapter helper) evaluate the expression by interpreting the expression tree
List<Method>	pruneCandidates(List<Method> candidates, int argIdx, Class argClazz) prune the candidates list removing all methods whose parameter at index argIdx cannto be assigned to 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(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

MethodExpression

public MethodExpression(Rule rule,
                Type type,
                ParseNode token,
                Expression recipient,
                List<Expression> arguments,
                String[] pathList)

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

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 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(org.objectweb.asm.MethodVisitor mv,
           CompileContext compileContext)
             throws CompileException

Specified by:

compile in class RuleElement

Throws:

CompileException

getCandidateArgClass

public Class getCandidateArgClass(List<Method> candidates,
                         int argIdx)

pruneCandidates

public List<Method> pruneCandidates(List<Method> candidates,
                           int argIdx,
                           Class argClazz)

prune the candidates list removing all methods whose parameter at index argIdx cannto be assigned to class argClazz

Parameters:

candidates -

argIdx -

argClazz -

Returns:

bestMatchCandidate

public Method bestMatchCandidate(List<Method> candidates)

return the method whose signature is the best fit for the call argument types. the selection is made by counting the number of cases where the argument type matches the parameter type exactly and then the number of cases where the argument type matches the parameter type without the need for type coersion (i.e. the parameter tyoe is a supertype of the argument type)

Parameters:

candidates - a list of methods all of whose signatures are assignable from the

Returns:

getPath

public String getPath(int len)

getPathCount

public int getPathCount(String name)

writeTo

public void writeTo(StringWriter stringWriter)

Specified by:

writeTo in class Expression