#include "Visitor.h"
Public Member Functions | |
TeslaVisitor (llvm::StringRef Filename, clang::ASTContext *Context) | |
~TeslaVisitor () | |
bool | VisitCallExpr (clang::CallExpr *) |
bool | VisitFunctionDecl (clang::FunctionDecl *) |
Visit a function declaration, looking for TESLA automata descriptions. More... | |
const llvm::ArrayRef < AutomatonDescription * > | GetAutomata () const |
const llvm::ArrayRef< const Usage * > | RootAutomata () const |
tesla::TeslaVisitor::TeslaVisitor | ( | llvm::StringRef | Filename, |
clang::ASTContext * | Context | ||
) |
Definition at line 54 of file Visitor.cpp.
tesla::TeslaVisitor::~TeslaVisitor | ( | ) |
Definition at line 59 of file Visitor.cpp.
|
inline |
Definition at line 55 of file Visitor.h.
Referenced by tesla::TeslaConsumer::HandleTranslationUnit().
|
inline |
Definition at line 59 of file Visitor.h.
Referenced by tesla::TeslaConsumer::HandleTranslationUnit().
bool tesla::TeslaVisitor::VisitCallExpr | ( | clang::CallExpr * | ) |
Definition at line 67 of file Visitor.cpp.
References tesla::Parser::AssertionParser(), tesla::INLINE_ASSERTION, and tesla::TESLA_BASE.
bool tesla::TeslaVisitor::VisitFunctionDecl | ( | clang::FunctionDecl * | ) |
Visit a function declaration, looking for TESLA automata descriptions.
Definition at line 94 of file Visitor.cpp.
References tesla::AUTOMATON_DESC, tesla::AUTOMATON_USAGE, tesla::AUTOMATON_USES, tesla::Parser::AutomatonParser(), and tesla::Parser::MappingParser().