true
if the method returned due to a ("void"|a|i|l|f|d)return
instruction.
true
if the method returned due to a ("void"|a|i|l|f|d)return
instruction.
This method may only be called after the abstract interpretation of a method has completed.
Adapts and returns the returned value.
Adapts and returns the returned value.
This method may only be called after the abstract interpretation of a method has completed.
,This method is only defined if the method returned normally. In this case
None
is returned if the method's return type is void
;
Some(DomainValue)
is returned otherwise.
Maps the returned value back to the original operand value if possible.
Maps the returned value back to the original operand value if possible.
This method may only be called after the abstract interpretation of a method has completed.
,This method is only defined if the method returned normally. In this case
None
is returned if the method's return type is void
;
Some(DomainValue)
is returned otherwise.
Adapts and returns the exceptions that are thrown by the called method.
Adapts and returns the exceptions that are thrown by the called method.
In general, for each type of exception there should be at most one
ExceptionValue
.
This method may only be called after the abstract interpretation of a method has completed.
Trait that can be mixed in if information is needed about all returned values and the thrown exceptions. This information is, however, only available after the evaluation of a method has completed.