- a -

• argument : tesla::AutomatonDescription , tesla::FunctionEvent
• assertion : tesla::Automaton
• automaton : tesla::ManifestFile

- b -

• base : tesla::StructField
• beginning : tesla::Usage
• booleanExpr : tesla::Expression

- c -

• Call : tesla::PtrAnnotation
• Callee : tesla::FunctionEvent
• Caller : tesla::FunctionEvent
• CCall : tesla::FunctionEvent::CallKind
• classes : tesla_store
• Cleanup : tesla::Transition
• constantMatch : tesla::Argument
• context : tesla::AutomatonDescription , tesla::FunctionEvent
• counter : tesla::Location

- d -

• Dir : tesla::FnInstrumentation
• direction : tesla::FunctionEvent

- e -

• end : tesla::Usage
• expectedReturnValue : tesla::FunctionEvent
• expression : tesla::BooleanExpr , tesla::AutomatonDescription , tesla::Sequence

- f -

• field : tesla::FieldAssignment , tesla::Argument
• fieldAssign : tesla::Expression
• filename : tesla::Location
• Filename : tesla::PtrAnnotation
• flags : tesla_transition
• from : tesla_transition
• From : tesla::Transition
• from_mask : tesla_transition
• function : tesla::Expression , tesla::FunctionEvent

- i -

• ID : tesla::AssertionSiteInstrumenter , tesla::FnCalleeInstrumenter , tesla::FieldReferenceInstrumenter
• id : tesla::Automaton
• ID : tesla::FnCallerInstrumenter
• identifier : tesla::Usage , tesla::AutomatonDescription
• index : tesla::StructField , tesla::Argument
• indirection : tesla::Argument
• Init : tesla::Transition
• InstrFn : tesla::FnInstrumentation

- k -

• kind : tesla::FunctionEvent

- l -

• length : tesla_transitions , tesla_store
• line : tesla::Location
• Line : tesla::PtrAnnotation
• location : tesla::NowEvent , tesla::Identifier

- m -

• M : tesla::FnInstrumentation , tesla::Instrumenter

- n -

• name : tesla::Automaton , tesla::Identifier
• Name : tesla::PtrAnnotation
• name : tesla::Argument , tesla::StructField , tesla::FunctionRef
• now : tesla::Expression

- o -

• ObjCClassMessage : tesla::FunctionEvent::CallKind
• ObjCInstanceMessage : tesla::FunctionEvent::CallKind
• ObjCSuperMessage : tesla::FunctionEvent::CallKind
• operation : tesla::BooleanExpr , tesla::FieldAssignment
• OutOfScope : tesla::Transition

- p -

• PtrArg : tesla::PtrAnnotation

- r -

• receiver : tesla::FunctionEvent
• root : tesla::ManifestFile

- s -

• sequence : tesla::Expression
• States : tesla::Automaton
• strict : tesla::FieldAssignment , tesla::FunctionEvent
• subAutomaton : tesla::Expression
• SuppressDebugInstr : tesla::Instrumenter

- t -

• TargetFn : tesla::FnInstrumentation
• tc_context : tesla_class
• tc_description : tesla_class
• tc_free : tesla_class
• tc_instances : tesla_class
• tc_limit : tesla_class
• tc_lock : tesla_class
• tc_name : tesla_class
• teh_accept : tesla_event_handlers
• teh_bad_transition : tesla_event_handlers
• teh_clone : tesla_event_handlers
• teh_err : tesla_event_handlers
• teh_fail_no_instance : tesla_event_handlers
• teh_ignored : tesla_event_handlers
• teh_init : tesla_event_handlers
• teh_transition : tesla_event_handlers
• tem_handlers : tesla_event_metahandler
• tem_length : tesla_event_metahandler
• tem_mask : tesla_event_metahandler
• ti_key : tesla_instance
• ti_state : tesla_instance
• tk_keys : tesla_key
• tk_mask : tesla_key
• To : tesla::Transition
• to : tesla_transition
• to_mask : tesla_transition
• Transitions : tesla::Automaton
• transitions : tesla_transitions
• type : tesla::Argument , tesla::StructField , tesla::Expression

- u -

• use : tesla::Automaton

- v -

• value : tesla::FieldAssignment , tesla::Argument