RawScanner Class Reference
[SAT Problem]

#include <Scanner.h>

Inheritance diagram for RawScanner:

Inheritance graph
[legend]
Collaboration diagram for RawScanner:

Collaboration graph
[legend]

List of all members.


Detailed Description

Low-level scanner parses lexical units from opened file.

Note:
Design pattern decorator.

Definition at line 159 of file Scanner.h.


Public Member Functions

 RawScanner (FILE *fd)
virtual ~RawScanner ()
virtual int readNext (Token *token)
 Abstract scanner's parsing method.

Classes

struct  Private

Constructor & Destructor Documentation

RawScanner ( FILE *  fd  ) 

Parameters:
fd opened file's descriptor

Definition at line 42 of file Scanner.cpp.

References RawScanner::Private::fd, RawScanner::Private::line, RawScanner::Private::state, and RawScanner::Private::STATE_INIT.

~RawScanner (  )  [virtual]

Definition at line 49 of file Scanner.cpp.


Member Function Documentation

int readNext ( Token token  )  [virtual]

Abstract scanner's parsing method.

Parameters:
token token to parse
Returns:
Returns error code. Zero means success.

Implements IScanner.

Definition at line 52 of file Scanner.cpp.

References RawScanner::Private::fd, RawScanner::Private::line, Token::m_ext_text, Token::m_line, Token::m_token, RawScanner::Private::state, RawScanner::Private::STATE_BUILDING_STRING, RawScanner::Private::STATE_INIT, FastSatSolver::T_AND, FastSatSolver::T_DELIM, FastSatSolver::T_EOF, FastSatSolver::T_ERR_LEX, FastSatSolver::T_FALSE, FastSatSolver::T_LPAR, FastSatSolver::T_NOT, FastSatSolver::T_OR, FastSatSolver::T_RPAR, FastSatSolver::T_STRING, FastSatSolver::T_TRUE, and FastSatSolver::T_XOR.


The documentation for this class was generated from the following files:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4