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>
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" |