|
spot
1.2.6
|
Abstract a position. More...
#include <kripkeparse/position.hh>

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... | |
Abstract a position.
|
inlineexplicit |
Construct a position.
|
inline |
(column related) Advance to the COUNT next columns.
References column.
|
inline |
Initialization.
References column, filename, and line.
Referenced by kripkeyy::location::initialize().
|
inline |
(line related) Advance to the COUNT next lines.
Referenced by kripkeyy::location::lines().
| unsigned int kripkeyy::position::column |
Current column number.
Referenced by columns(), and initialize().
| std::string* kripkeyy::position::filename |
File name to which this position refers.
Referenced by initialize().
| unsigned int kripkeyy::position::line |
Current line number.
Referenced by initialize().
1.8.4