spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Public Attributes | List of all members
ltlyy::position Class Reference

Abstract a position. More...

#include <ltlparse/position.hh>

Collaboration diagram for ltlyy::position:
Collaboration graph

Public Member Functions

 position (std::string *f=YY_NULL, unsigned int l=1u, unsigned int c=1u)
 Construct a position. More...
 
void initialize (std::string *fn=YY_NULL, unsigned int l=1u, unsigned int c=1u)
 Initialization. More...
 
Line and Column related manipulators
void lines (int count=1)
 (line related) Advance to the COUNT next lines. More...
 
void columns (int count=1)
 (column related) Advance to the COUNT next columns. More...
 

Public Attributes

std::string * filename
 File name to which this position refers. More...
 
unsigned int line
 Current line number. More...
 
unsigned int column
 Current column number. More...
 

Detailed Description

Abstract a position.

Constructor & Destructor Documentation

ltlyy::position::position ( std::string *  f = YY_NULL,
unsigned int  l = 1u,
unsigned int  c = 1u 
)
inlineexplicit

Construct a position.

Member Function Documentation

void ltlyy::position::columns ( int  count = 1)
inline

(column related) Advance to the COUNT next columns.

References column.

void ltlyy::position::initialize ( std::string *  fn = YY_NULL,
unsigned int  l = 1u,
unsigned int  c = 1u 
)
inline

Initialization.

References column, filename, and line.

Referenced by ltlyy::location::initialize().

void ltlyy::position::lines ( int  count = 1)
inline

(line related) Advance to the COUNT next lines.

Referenced by ltlyy::location::lines().

Member Data Documentation

unsigned int ltlyy::position::column

Current column number.

Referenced by columns(), and initialize().

std::string* ltlyy::position::filename

File name to which this position refers.

Referenced by initialize().

unsigned int ltlyy::position::line

Current line number.

Referenced by initialize().


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by doxygen 1.8.4