class documentation
class CallSiteValues(object):
Helper class to access arguments and return value from a `call` transition.
Method | __init__ |
No summary |
Method | arg |
Get the value of the argument, by name. |
Method | arg |
Get the value of the argument, by index. |
Method | args |
Get argument values as a dictionary indexed by argument name |
Method | ret |
No summary |
Instance Variable | _after |
Undocumented |
Instance Variable | _args |
Undocumented |
Instance Variable | _call |
Undocumented |
Instance Variable | _proto |
Undocumented |
def __init__(self, call_tr, proto):
Parameters | |
callTransition | call transition Transition |
proto:Prototype | prototype info Prototype |
def arg(self, name):
Get the value of the argument, by name.
Parameters | |
name:str | name of the argument. |
Returns | |
_Any | value of the argument as given by reven2.trace.Context.read . |
Raises | |
KeyError | if no argument found with given name. |
def arg_n(self, index):
Get the value of the argument, by index.
Parameters | |
index:int | index of the argument, starts at 0 for first argument. |
Returns | |
_Any | value of the argument as given by reven2.trace.Context.read . |
Raises | |
IndexError | if no argument at given index. |
def args(self):
Get argument values as a dictionary indexed by argument name
Arguments without a name use "arg{argument_index}" as a key.
Returns | |
_Dict[ | dictionary of argument name to value |
def ret(self):
Returns | |
_Any | the ret value as given by reven2.trace.Context.read |
Raises | |
RuntimeError | if the `ret` transition is not found. |