klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::expr::Parser Class Referenceabstract

Parser - Public interface for parsing a .pc language file. More...

#include <Parser.h>

Inheritance diagram for klee::expr::Parser:

Public Member Functions

virtual ~Parser ()
 
virtual void SetMaxErrors (unsigned N)=0
 SetMaxErrors - Suppress anything beyond the first N errors. More...
 
virtual unsigned GetNumErrors () const =0
 GetNumErrors - Return the number of encountered errors. More...
 
virtual DeclParseTopLevelDecl ()=0
 

Static Public Member Functions

static ParserCreate (const std::string Name, const llvm::MemoryBuffer *MB, ExprBuilder *Builder)
 

Protected Member Functions

 Parser ()
 

Detailed Description

Parser - Public interface for parsing a .pc language file.

Definition at line 206 of file Parser.h.

Constructor & Destructor Documentation

Parser::Parser ( )
protected

Definition at line 1602 of file Parser.cpp.

Parser::~Parser ( )
virtual

Definition at line 1605 of file Parser.cpp.

Member Function Documentation

Parser * Parser::Create ( const std::string  Name,
const llvm::MemoryBuffer *  MB,
ExprBuilder Builder 
)
static

CreateParser - Create a parser implementation for the given MemoryBuffer.

  • Name - The name to use in diagnostic messages.
  • MB - The input data.
  • Builder - The expression builder to use for constructing expressions.

Definition at line 1608 of file Parser.cpp.

virtual unsigned klee::expr::Parser::GetNumErrors ( ) const
pure virtual

GetNumErrors - Return the number of encountered errors.

Implemented in klee::expr::SMTParser.

Referenced by EvaluateInputAST(), printInputAsSMTLIBv2(), and PrintInputAST().

Here is the caller graph for this function:

virtual Decl* klee::expr::Parser::ParseTopLevelDecl ( )
pure virtual

ParseTopLevelDecl - Parse and return a top level declaration, which the caller assumes ownership of.

Returns
NULL indicates the end of the file has been reached.

Implemented in klee::expr::SMTParser.

Referenced by EvaluateInputAST(), printInputAsSMTLIBv2(), and PrintInputAST().

Here is the caller graph for this function:

virtual void klee::expr::Parser::SetMaxErrors ( unsigned  N)
pure virtual

SetMaxErrors - Suppress anything beyond the first N errors.

Implemented in klee::expr::SMTParser.

Referenced by EvaluateInputAST(), printInputAsSMTLIBv2(), and PrintInputAST().

Here is the caller graph for this function:


The documentation for this class was generated from the following files: