|
ztsdb
|
A point in a source file. More...
#include <location.hh>
Public Types | |
| typedef int | counter_type |
| Type for line and column numbers. | |
Public Member Functions | |
| position (std::string *f=YY_NULLPTR, counter_type l=1, counter_type c=1) | |
| Construct a position. | |
| void | initialize (std::string *fn=YY_NULLPTR, counter_type l=1, counter_type c=1) |
| Initialization. | |
Line and Column related manipulators | |
| void | lines (counter_type count=1) |
| (line related) Advance to the COUNT next lines. | |
| void | columns (counter_type count=1) |
| (column related) Advance to the COUNT next columns. | |
Public Attributes | |
| std::string * | filename |
| File name to which this position refers. | |
| counter_type | line |
| Current line number. | |
| counter_type | column |
| Current column number. | |
A point in a source file.
1.8.17