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