#include "Parser.h"
Public Types | |
typedef std::vector< const clang::ValueDecl * > | RefVector |
Variables referenced by an automaton. More... | |
Public Member Functions | |
bool | Parse (llvm::OwningPtr< AutomatonDescription > &Descrip, llvm::OwningPtr< Usage > &Usage) |
Parse the automaton and its usage. More... | |
Static Public Member Functions | |
static Parser * | AssertionParser (clang::CallExpr *, clang::ASTContext &) |
Create a Parser for an inline assertion. More... | |
static Parser * | AutomatonParser (clang::FunctionDecl *, clang::ASTContext &) |
Create a Parser for an automaton description. More... | |
static Parser * | MappingParser (clang::FunctionDecl *, clang::ASTContext &) |
Create a Parser for a struct-automaton mapping. More... | |
typedef std::vector<const clang::ValueDecl*> tesla::Parser::RefVector |
|
static |
Create a Parser for an inline assertion.
Definition at line 51 of file Parser.cpp.
References tesla::INLINE_ASSERTION, and tesla::TeslaContext().
Referenced by tesla::TeslaVisitor::VisitCallExpr().
|
static |
Create a Parser for an automaton description.
Definition at line 89 of file Parser.cpp.
Referenced by tesla::TeslaVisitor::VisitFunctionDecl().
|
static |
Create a Parser for a struct-automaton mapping.
Definition at line 124 of file Parser.cpp.
References tesla::AUTOMATON_USES.
Referenced by tesla::TeslaVisitor::VisitFunctionDecl().
bool tesla::Parser::Parse | ( | llvm::OwningPtr< AutomatonDescription > & | Descrip, |
llvm::OwningPtr< Usage > & | Usage | ||
) |
Parse the automaton and its usage.
[out] | Descrip | the automaton description will be stored here |
[out] | Usage | the usage of the automaton will be stored here |