RawScanner Class Reference
[SAT Problem]

#include <Scanner.h>

Inheritance diagram for RawScanner:

[legend]

Collaboration diagram for RawScanner:

[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:

• Scanner.h
• Scanner.cpp

---