| Class that stores the line/column position in a file.
The filename is expected to be relative to the current directory or an
absolute path. This is not enforced.
string |
$filename
@public
| name of the file
|
int |
$lnum
@public
| first line is 1
|
int |
$col
@public
| first column is 1
|
string |
$text
@public
| optional text
| |
|
NEW(filename) @public | Create a position for file filename, line 1 column 1.
|
|
NEW(filename, lnum, col) @public | Create a position for file filename, line lnum column col.
|
|
$copy()
Z.Pos @public | Return a copy of this Pos.
|
|
$copy(dest) @public | Copy the values of this Pos to dest.
|
|
$nextLine() @public | Advance this position to the next line, first column.
|
|
$advance(s) @public | Adjust the position for advancing over string s.
|
|
$ToString()
string @public | Return a string with the file name, line and column.
| |
|