#include <ltlparse/position.hh>
Public Member Functions | |
Ctor & dtor. | |
| position () | |
| Construct a position. | |
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. | |
Ctor & dtor. | |
| position () | |
| Construct a position. | |
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. | |
| std::string * | filename |
| File name to which this position refers. | |
Static Public Attributes | |
| static const unsigned int | initial_column = 0 |
| Initial column number. | |
| static const unsigned int | initial_line = 1 |
| Initial line number. | |
|
|
Construct a position.
|
|
|
Construct a position.
|
|
|
(column related) Advance to the COUNT next columns.
|
|
|
(column related) Advance to the COUNT next columns.
|
|
|
(line related) Advance to the COUNT next lines.
|
|
|
(line related) Advance to the COUNT next lines.
|
|
|
Current column number.
|
|
|
File name to which this position refers.
|
|
|
File name to which this position refers.
|
|
|
Initial column number.
|
|
|
Initial line number.
|
|
|
Current line number.
|
1.4.0