  clang | |
| llvm | |
 tesla | |
 internal | |
 NFAParser | |
| NFAStateHash | |
 DFABuilder | |
| TeslaConsumer | |
| TeslaAction | |
| TeslaActionFactory | |
| Parser | A parser for TESLA automata descriptions |
| TeslaVisitor | |
| Automaton | An automata representation of a TESLA assertion |
| NFA | A non-deterministic automaton that represents a TESLA assertion |
| DFA | A DFA description of a TESLA assertion |
| Manifest | A description of TESLA instrumentation to perform |
| State | A state in a TESLA DFA |
| Builder | |
| ManifestFile | A file that describes TESLA automata |
| Usage | How an automaton is used for instrumentation |
| AutomatonDescription | An inline assertion describing the temporal behaviour of software |
| Identifier | Something that uniquely identifies an automaton |
| Location | An identifier for an automaton based on where it was defined |
| Expression | A temporal expression |
| BooleanExpr | A boolean combination of expressions (with equal precedence) |
| Sequence | A sequence of temporal events |
| NowEvent | Execution has reached the point in the instrumented code where an inline assertion was defined |
| FunctionEvent | A function has been called or has returned |
| CallKind | |
| FunctionRef | A function that can be instrumented |
| FieldAssignment | Assignment to a field in a structure |
| StructField | A field within a structure |
| Argument | An argument to a function |
| Transition | A transition from one TESLA state to another |
| NullTransition | An unconditional (and unrealisable) transition |
| NowTransition | The "now" event transition |
| FnTransition | A function-related transition |
| FieldAssignTransition | A field assignment transition |
| SubAutomatonTransition | A sub-automaton |
| PtrAnnotation | An annotation applied by LLVM to a pointer |
| FieldAnnotation | An annotation applied by Clang/TESLA to a structure field access |
| AssertionSiteInstrumenter | Converts calls to TESLA pseudo-assertions into instrumentation sites |
| FnCalleeInstrumenter | Instruments function calls in the callee context |
| CalleeInstr | Function instrumentation (callee context) |
| FnCallerInstrumenter | Instruments function calls in the caller context |
| CallerInstrumentation | Function instrumentation (caller context) |
| FieldInstrumentation | Instrumentation for a struct field assignment |
| FieldReferenceInstrumenter | Converts calls to TESLA pseudo-assertions into instrumentation sites |
| FnInstrumentation | Instrumentation for a function event |
| InstInstrumentation | Instrumentation on a single instruction that does not change control flow |
| Instrumenter | Base class for TESLA instrumenters |
| __tesla_event | The basic TESLA type is a pointer to a TESLA Basic TESLA types (magic for the compiler to munge) |
| __tesla_locality | |
| FrontendActionFactory | |
| tesla_class | |
| tesla_event_handlers | A vector of event handlers |
| tesla_event_metahandler | A 'meta-handler' that wraps a number of event handling vectors |
| tesla_instance | A single instance of an automaton: a name (ti_key) and a state |
| tesla_key | A TESLA instance can be identified by a tesla_class and a tesla_key |
| tesla_store | |
| tesla_transition | A single allowable transition in a TESLA automaton |
| tesla_transitions | A set of permissible state transitions for an automata instance |
