ScannerStringHandler Class Reference
[SAT Problem]

#include <Scanner.h>

Inheritance diagram for ScannerStringHandler:

[legend]

Collaboration diagram for ScannerStringHandler:

[legend]

List of all members.

---

Detailed Description

Part of parser handling keywords and variable names.

Note:

Design pattern decorator.

Definition at line 181 of file Scanner.h.

Public Member Functions
	ScannerStringHandler (IScanner *scanner, VariableContainer *vc)
virtual	~ScannerStringHandler ()
virtual int	readNext (Token *token)
	Abstract scanner's parsing method.
Classes
struct	Private

---

Constructor & Destructor Documentation

ScannerStringHandler	(	IScanner *	scanner,
		VariableContainer *	vc
	)

Parameters:

	scanner	Pointer to superior IScanner object (token source).
	vc	Pointer to VaribleContainer to store variable names to.

Definition at line 117 of file Scanner.cpp.

References ScannerStringHandler::Private::keyWordMap, ScannerStringHandler::Private::scanner, FastSatSolver::T_AND, FastSatSolver::T_FALSE, FastSatSolver::T_NOT, FastSatSolver::T_OR, FastSatSolver::T_TRUE, FastSatSolver::T_XOR, and ScannerStringHandler::Private::vc.

~ScannerStringHandler

(

)

[virtual]

Definition at line 131 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 134 of file Scanner.cpp.

References VariableContainer::addVariable(), ScannerStringHandler::Private::keyWordMap, Token::m_ext_number, Token::m_ext_text, Token::m_token, IScanner::readNext(), ScannerStringHandler::Private::scanner, FastSatSolver::T_STRING, FastSatSolver::T_VARIABLE, and ScannerStringHandler::Private::vc.

---

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

• Scanner.h
• Scanner.cpp

---