A function has been called or has returned.
Definition at line 145 of file tesla.proto.
Collaboration diagram for tesla::FunctionEvent:Classes | |
| struct | CallKind |
Public Types | |
| enum | Direction { Entry = 1, Exit = 2 } |
Public Attributes | |
| enum tesla::FunctionEvent::Direction | Caller = 1 |
| enum tesla::FunctionEvent::Direction | Callee = 2 |
| struct enum tesla::FunctionEvent::CallKind | function = 1 |
| The function to be instrumented. More... | |
| optional Direction | direction = 2 |
| We can instrument call, return or both. More... | |
| optional CallContext | context = 3 |
| We can instrument at call sites, within called functions or both. More... | |
| repeated Argument | argument = 4 |
| Argument values that we care about. More... | |
| optional Argument | expectedReturnValue = 5 |
| If set, the return value that we expect / care about. More... | |
| optional bool | strict = 6 [ default = true ] |
| If set, this event should only occur as described by the automaton. More... | |
| optional CallKind | kind = 7 [ default = CCall ] |
| If set, specifies the kind of call-like operation that this describes. More... | |
| struct optional Argument | receiver = 8 |
| struct tesla::FunctionEvent::CallKind |
| repeated Argument tesla::FunctionEvent::argument = 4 |
Argument values that we care about.
Definition at line 163 of file tesla.proto.
Referenced by tesla::FnInstrumentation::AppendInstrumentation(), and tesla::operator==().
| enum tesla::FunctionEvent::Direction tesla::FunctionEvent::Callee = 2 |
| enum tesla::FunctionEvent::Direction tesla::FunctionEvent::Caller = 1 |
| optional CallContext tesla::FunctionEvent::context = 3 |
We can instrument at call sites, within called functions or both.
Definition at line 160 of file tesla.proto.
Referenced by tesla::operator==().
We can instrument call, return or both.
Definition at line 157 of file tesla.proto.
Referenced by tesla::FnInstrumentation::AppendInstrumentation(), and tesla::operator==().
If set, the return value that we expect / care about.
Definition at line 166 of file tesla.proto.
| struct enum tesla::FunctionEvent::CallKind tesla::FunctionEvent::function = 1 |
The function to be instrumented.
This contains the selector name for Objective-C
Referenced by tesla::FnInstrumentation::AppendInstrumentation(), and tesla::operator==().
If set, specifies the kind of call-like operation that this describes.
Definition at line 172 of file tesla.proto.
Definition at line 176 of file tesla.proto.
| optional bool tesla::FunctionEvent::strict = 6 [ default = true ] |
If set, this event should only occur as described by the automaton.
Definition at line 169 of file tesla.proto.
Referenced by tesla::FnTransition::IsStrict().
