spot
1.0
|
Abstract a position. More...
#include <ltlparse/position.hh>
Public Member Functions | |
position () | |
Construct a position. | |
void | initialize (std::string *fn) |
Initialization. | |
Line and Column related manipulators | |
void | lines (int count=1) |
(line related) Advance to the COUNT next lines. | |
void | columns (int count=1) |
(column related) Advance to the COUNT next columns. |
Public Attributes | |
std::string * | filename |
File name to which this position refers. | |
unsigned int | line |
Current line number. | |
unsigned int | column |
Current column number. |
Abstract a position.
|
inline |
Construct a position.
|
inline |
(column related) Advance to the COUNT next columns.
References column.
Referenced by ltlyy::operator+=().
|
inline |
|
inline |
(line related) Advance to the COUNT next lines.
Referenced by ltlyy::location::lines().
unsigned int ltlyy::position::column |
Current column number.
Referenced by columns(), initialize(), lines(), ltlyy::operator<<(), and ltlyy::operator==().
std::string* ltlyy::position::filename |
File name to which this position refers.
Referenced by initialize(), ltlyy::operator<<(), and ltlyy::operator==().
unsigned int ltlyy::position::line |
Current line number.
Referenced by initialize(), lines(), ltlyy::operator<<(), and ltlyy::operator==().