klee::expr::Parser Class Reference

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

#include <Parser.h>

List of all members.

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 DeclParseTopLevelDecl ()=0

Static Public Member Functions

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

Protected Member Functions

 Parser ()


Detailed Description

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

Definition at line 213 of file Parser.h.


Constructor & Destructor Documentation

Parser::Parser (  )  [protected]

Definition at line 1410 of file Parser.cpp.

Parser::~Parser (  )  [virtual]

Definition at line 1413 of file Parser.cpp.


Member Function Documentation

static Parser* klee::expr::Parser::Create ( const std::string  Name,
const llvm::MemoryBuffer *  MB 
) [static]

CreateParser - Create a parser implementation for the given MemoryBuffer.

  • Name - The name to use in diagnostic messages.

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

GetNumErrors - Return the number of encountered errors.

Referenced by EvaluateInputAST(), 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.

Referenced by EvaluateInputAST(), 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.

Referenced by EvaluateInputAST(), and PrintInputAST().

Here is the caller graph for this function:


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

Generated on Fri Jun 5 03:33:43 2009 for klee by  doxygen 1.5.8