#include <Parser.h>
Public Member Functions | |
| virtual | ~Parser () |
| virtual void | SetMaxErrors (unsigned N)=0 |
| SetMaxErrors - Suppress anything beyond the first N errors. | |
| virtual unsigned | GetNumErrors () const =0 |
| GetNumErrors - Return the number of encountered errors. | |
| virtual Decl * | ParseTopLevelDecl ()=0 |
Static Public Member Functions | |
| static Parser * | Create (const std::string Name, const llvm::MemoryBuffer *MB) |
Protected Member Functions | |
| Parser () | |
Definition at line 213 of file Parser.h.
| Parser::Parser | ( | ) | [protected] |
Definition at line 1410 of file Parser.cpp.
| Parser::~Parser | ( | ) | [virtual] |
Definition at line 1413 of file Parser.cpp.
| static Parser* klee::expr::Parser::Create | ( | const std::string | Name, | |
| const llvm::MemoryBuffer * | MB | |||
| ) | [static] |
CreateParser - Create a parser implementation for the given MemoryBuffer.
| virtual unsigned klee::expr::Parser::GetNumErrors | ( | ) | const [pure virtual] |
GetNumErrors - Return the number of encountered errors.
Referenced by EvaluateInputAST(), and PrintInputAST().

| virtual Decl* klee::expr::Parser::ParseTopLevelDecl | ( | ) | [pure virtual] |
ParseTopLevelDecl - Parse and return a top level declaration, which the caller assumes ownership of.
Referenced by EvaluateInputAST(), and PrintInputAST().

| virtual void klee::expr::Parser::SetMaxErrors | ( | unsigned | N | ) | [pure virtual] |
SetMaxErrors - Suppress anything beyond the first N errors.
Referenced by EvaluateInputAST(), and PrintInputAST().

1.5.8