Class ThrowExpression
java.lang.Object
org.jboss.byteman.rule.RuleElement
org.jboss.byteman.rule.expression.Expression
org.jboss.byteman.rule.expression.ThrowExpression
Expression which implements a throw from a rule action but only where the thrown exception is
declared by the trigger method or is a runtime exception which does nto need ot be declared
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionclass
class
class
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
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 possibleprivate void
check that it is legitimate to throw an exception of the type computed for this expression from the trtiggering method.void
compile
(org.objectweb.asm.MethodVisitor mv, CompileContext compileContext) Class<?>[]
createParamTypes
(String descriptor, ClassLoader loader) getCandidateArgClass
(List<Constructor> candidates, int argIdx) private String
interpret
(HelperAdapter helper) evaluate the expression by interpreting the expression treepruneCandidates
(List<Constructor> candidates, int argIdx, Class argClazz) 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
getBindings, getTypeGroup, rebox, toString
-
Field Details
-
typeName
-
arguments
-
argumentTypes
-
paramTypes
-
constructor
-
-
Constructor Details
-
ThrowExpression
-
-
Method Details
-
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- Specified by:
bind
in classExpression
- Throws:
TypeException
- if any variable is missing or has the wrong type
-
typeCheck
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 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
-
pruneCandidates
-
interpret
evaluate the expression by interpreting the expression tree- Specified by:
interpret
in classExpression
- 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 classRuleElement
- Throws:
CompileException
-
getDescriptor
-
writeTo
- Specified by:
writeTo
in classExpression
-
checkThrownTypeIsValid
check that it is legitimate to throw an exception of the type computed for this expression from the trtiggering method. if the computed type is a subtype of runtime exception then it is valid whatever the trigger method. if the computed type or one of its super types is declared by the trigger method as a checked exception then it is valid. if no such declaration is found then a typeexception is raised. However, in the case of an overriding rule whose target class includes a version of the method which does declares the exception a type warning exception is raised as this is not strictly an error. See issue BYTEMAN-156 for an explanation.- Throws:
TypeWarningException
- if it is not legitimate to throw a value of the computed type from the trigger method but it is legitimate to throw a value of this type from the rule target method.TypeException
- if it is otherwise not legitimate to throw a value of the computed type from the trigger method
-
createParamTypes
- Throws:
TypeException
-