Names of TESLA instrumentation points.
Definition in file Names.h.
#include "Protocol.h"#include <llvm/ADT/ArrayRef.h>#include <llvm/ADT/StringRef.h>#include <string>
Include dependency graph for Names.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Namespaces | |
| namespace | tesla |
Typedefs | |
| typedef llvm::ArrayRef< const Argument * > | tesla::ReferenceVector |
Functions | |
| std::string | tesla::ArgString (const Argument *) |
| Convert an Argument into something human-readable. More... | |
| std::string | tesla::ShortName (const Argument *) |
| Convert an Argument into a very short, human-readable name. More... | |
| std::string | tesla::DotName (const Argument *) |
| Convert an Argument into a very short name for GraphViz's dot. More... | |
| std::string | tesla::ShortName (const Identifier &) |
| Convert an Identifier into a short, human-readable name. More... | |
| std::string | tesla::ShortName (const Location &) |
| Convert an Location into a short, human-readable name. More... | |
| std::string | tesla::InstanceName (const ReferenceVector &, bool PlainAscii) |
| Convert the name of an automata instance. More... | |
Variables | |
| const std::string | tesla::LLVM_PTR_ANNOTATION = "llvm.ptr.annotation" |
| const std::string | tesla::TESLA_BASE = "__tesla_" |
| const std::string | tesla::AUTOMATON = TESLA_BASE + "automaton_" |
| const std::string | tesla::AUTOMATON_DESC = AUTOMATON + "description" |
| const std::string | tesla::AUTOMATON_MAPPING = AUTOMATON + "mapping" |
| const std::string | tesla::AUTOMATON_USAGE = AUTOMATON + "usage" |
| const std::string | tesla::AUTOMATON_USES = TESLA_BASE + "struct_uses_automaton" |
| const std::string | tesla::GLOBAL = TESLA_BASE + "global" |
| const std::string | tesla::PERTHREAD = TESLA_BASE + "perthread" |
| const std::string | tesla::ANY = TESLA_BASE + "any" |
| const std::string | tesla::EVENT = TESLA_BASE + "event" |
| const std::string | tesla::IGNORE = TESLA_BASE + "ignore" |
| const std::string | tesla::NOW = TESLA_BASE + "now" |
| const std::string | tesla::OPTIONAL = TESLA_BASE + "optional" |
| const std::string | tesla::SEQUENCE = TESLA_BASE + "sequence" |
| const std::string | tesla::INLINE_ASSERTION = TESLA_BASE + "inline_assertion" |
| const std::string | tesla::INSTR_BASE = TESLA_BASE + "instrumentation_" |
| const std::string | tesla::STRUCT_INSTR = INSTR_BASE + "struct_field_" |
| const std::string | tesla::LOAD = "load_" |
| const std::string | tesla::STORE = "store_" |
| const std::string | tesla::CALL = INSTR_BASE + "call" |
| const std::string | tesla::RETURN = INSTR_BASE + "return" |
| const std::string | tesla::CALLEE = "callee_" |
| const std::string | tesla::CALLER = "caller_" |
| const std::string | tesla::ENTER = "enter_" |
| const std::string | tesla::EXIT = "return_" |
| const std::string | tesla::FLAGS = TESLA_BASE + "flags" |
| const std::string | tesla::MASK = TESLA_BASE + "mask" |
| const std::string | tesla::ASSERTION_REACHED = INSTR_BASE + "assertion_reached" |