#include "AST.h"
Public Member Functions | |
TeslaConsumer (llvm::StringRef InFilename, llvm::StringRef OutFilename) | |
void | HandleTranslationUnit (clang::ASTContext &Context) |
tesla::TeslaConsumer::TeslaConsumer | ( | llvm::StringRef | InFilename, |
llvm::StringRef | OutFilename | ||
) |
void tesla::TeslaConsumer::HandleTranslationUnit | ( | clang::ASTContext & | Context | ) |
Definition at line 58 of file AST.cpp.
References tesla::TeslaVisitor::GetAutomata(), tesla::panic(), and tesla::TeslaVisitor::RootAutomata().