File List

Here is a list of all files with brief descriptions:

[detail level 1234]

include
libtesla.h
tesla-macros.h	Macros to prettify TESLA names
tesla.h
libtesla
src
tesla_class.c
tesla_class_global.c
tesla_class_perthread.c
tesla_debug.c	Debugging helpers for TESLA state
tesla_dtrace.c
tesla_internal.h
tesla_key.c
tesla_notification.c
tesla_store.c	Implementation of tesla_store
tesla_strnlen.h
tesla_update.c
tesla_util.c
tesla
analyser
AST.cpp	Definition of tesla::TeslaAction, tesla::TeslaConsumer
AST.h	Declaration of tesla::TeslaAction, tesla::TeslaConsumer
Parser.cpp	Definition of tesla::Parser
Parser.h	Declaration of tesla::Parser
Tool.cpp
Visitor.cpp	Definition of tesla::TeslaVisitor
Visitor.h	Declaration of tesla::TeslaVisitor
common
Automaton.cpp	Definition of tesla::Automaton
Automaton.h	Declaration of tesla::Automaton
Debug.cpp	Debugging helpers
Debug.h	Debugging helpers
Manifest.cpp	Definition of tesla::Manifest
Manifest.h	Declaration of tesla::Manifest
Names.cpp	Implementation of TESLA name helpers
Names.h	Names of TESLA instrumentation points
Protocol.h	Declaration of protocol buffer helper functions
State.cpp	Definition of tesla::State
State.h	Declaration of tesla::State
tesla.proto	TESLA intermediate representation (Protocol Buffers)
Transition.cpp	Definition of tesla::Transition, subclasses
Transition.h	Declaration of tesla::Transition and subclasses
Types.h
instrumenter
Annotations.cpp
Annotations.h	Declarations of LLVM annotation parsers
Assertion.cpp	Code for instrumenting TESLA assertion sites
Assertion.h
Callee.cpp	Code for instrumenting function calls (callee context)
Callee.h
Caller.cpp	Code for instrumenting function calls (caller context)
Caller.h
FieldReference.cpp
FieldReference.h
instrument.cpp
Instrumentation.cpp	Miscellaneous instrumentation helpers
Instrumentation.h	Declaration of instrumentation helpers
Instrumenter.h	Declaration of tesla::Instrumenter
tools
cat
cat.cpp
get-triple
get-triple.cpp	Retrieve the host system's default LLVM triple
graph
graph.cpp	Tool for graphing TESLA manifests
read
read.cpp	Tool for reading TESLA manifests