Classes
class	AbstractSlamInterface
	interface for communicating with the SLAM algorithm More...

class	AddEdge

class	AddNode

class	CommandNode

class	Driver

class	FixNode

class	location
	Abstract a location. More...

class	Parser
	A Bison parser. More...

class	ParserInterface
	top-level interface to the parser More...

class	position
	Abstract a position. More...

class	QueryState

class	Scanner

class	SlamContext

class	SlamContextInterface

class	slice
	Present a slice of the top of a stack. More...

class	SolveSate

class	stack

Enumerations
enum	CommandType { CT_ADD_NODE, CT_ADD_EDGE, CT_SOLVE_STATE, CT_QUERY_STATE, CT_FIX }

Functions
const location	operator+ (const location &begin, const location &end)
	Join two location objects to create a location. More...

const location	operator+ (const location &begin, unsigned int width)
	Add two location objects. More...

location &	operator+= (location &res, unsigned int width)
	Add and assign a location. More...

bool	operator== (const location &loc1, const location &loc2)
	Compare two location objects. More...

bool	operator!= (const location &loc1, const location &loc2)
	Compare two location objects. More...

std::ostream &	operator<< (std::ostream &ostr, const location &loc)
	Intercept output stream redirection. More...

const position &	operator+= (position &res, const int width)
	Add and assign a position. More...

const position	operator+ (const position &begin, const int width)
	Add two position objects. More...

const position &	operator-= (position &res, const int width)
	Add and assign a position. More...

const position	operator- (const position &begin, const int width)
	Add two position objects. More...

bool	operator== (const position &pos1, const position &pos2)
	Compare two position objects. More...

bool	operator!= (const position &pos1, const position &pos2)
	Compare two position objects. More...

std::ostream &	operator<< (std::ostream &ostr, const position &pos)
	Intercept output stream redirection. More...

Enumeration Type Documentation

enum SlamParser::CommandType

Enumerator
CT_ADD_NODE
CT_ADD_EDGE
CT_SOLVE_STATE
CT_QUERY_STATE
CT_FIX

Definition at line 35 of file commands.h.

   {
     CT_ADD_NODE,
     CT_ADD_EDGE,
     CT_SOLVE_STATE,
     CT_QUERY_STATE,
     CT_FIX,
   };

Function Documentation

bool SlamParser::operator!=	(	const location &	loc1,
		const location &	loc2
	)

inline

Compare two location objects.

Definition at line 136 of file location.hh.

   {
     return !(loc1 == loc2);
   }

bool SlamParser::operator!=	(	const position &	pos1,
		const position &	pos2
	)

inline

Compare two position objects.

Definition at line 142 of file position.hh.

   {
     return !(pos1 == pos2);
   }

const location SlamParser::operator+	(	const location &	begin,
		const location &	end
	)

inline

Join two location objects to create a location.

Definition at line 105 of file location.hh.

References SlamParser::location::begin, and SlamParser::location::end.

   {
     location res = begin;
     res.end = end.end;
     return res;
   }

const position SlamParser::operator+	(	const position &	begin,
		const int	width
	)

inline

Add two position objects.

Definition at line 110 of file position.hh.

   {
     position res = begin;
     return res += width;
   }

const location SlamParser::operator+	(	const location &	begin,
		unsigned int	width
	)

inline

Add two location objects.

Definition at line 113 of file location.hh.

References SlamParser::location::begin, and SlamParser::location::columns().

   {
     location res = begin;
     res.columns (width);
     return res;
   }

const position& SlamParser::operator+=	(	position &	res,
		const int	width
	)

inline

Add and assign a position.

Definition at line 102 of file position.hh.

   {
     res.columns (width);
     return res;
   }

location& SlamParser::operator+=	(	location &	res,
		unsigned int	width
	)

inline

Add and assign a location.

Definition at line 121 of file location.hh.

References SlamParser::location::columns().

   {
     res.columns (width);
     return res;
   }

const position SlamParser::operator-	(	const position &	begin,
		const int	width
	)

inline

Add two position objects.

Definition at line 125 of file position.hh.

   {
     return begin + -width;
   }

const position& SlamParser::operator-=	(	position &	res,
		const int	width
	)

inline

Add and assign a position.

Definition at line 118 of file position.hh.

   {
     return res += -width;
   }

std::ostream& SlamParser::operator<<	(	std::ostream &	ostr,
		const location &	loc
	)

inline

Intercept output stream redirection.

Parameters

ostr	the destination output stream
loc	a reference to the location to redirect

Avoid duplicate information.

Definition at line 147 of file location.hh.

References SlamParser::location::begin, SlamParser::position::column, SlamParser::location::end, SlamParser::position::filename, and SlamParser::position::line.

   {
     position last = loc.end - 1;
     ostr << loc.begin;
     if (last.filename
   && (!loc.begin.filename
       || *loc.begin.filename != *last.filename))
       ostr << '-' << last;
     else if (loc.begin.line != last.line)
       ostr << '-' << last.line  << '.' << last.column;
     else if (loc.begin.column != last.column)
       ostr << '-' << last.column;
     return ostr;
   }

std::ostream& SlamParser::operator<<	(	std::ostream &	ostr,
		const position &	pos
	)

inline

Intercept output stream redirection.

Parameters

ostr	the destination output stream
pos	a reference to the position to redirect

Definition at line 152 of file position.hh.

   {
     if (pos.filename)
       ostr << *pos.filename << ':';
     return ostr << pos.line << '.' << pos.column;
   }

bool SlamParser::operator==	(	const location &	loc1,
		const location &	loc2
	)

inline

Compare two location objects.

Definition at line 129 of file location.hh.

References SlamParser::location::begin, and SlamParser::location::end.

   {
     return loc1.begin == loc2.begin && loc1.end == loc2.end;
   }

bool SlamParser::operator==	(	const position &	pos1,
		const position &	pos2
	)

inline

Compare two position objects.

Definition at line 132 of file position.hh.

   {
     return
       (pos1.filename == pos2.filename
        || (pos1.filename && pos2.filename && *pos1.filename == *pos2.filename))
       && pos1.line == pos2.line && pos1.column == pos2.column;
   }

Classes

Enumerations

Functions

Enumeration Type Documentation

Function Documentation