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.