Position -- the class of all file positions

Position -- the class of all file positions

The type Position is a member of the class Type. Each object of class Position is called a position. Each position is also a member of class BasicList.

More general types (whose methods may also apply) :

BasicList -- the class of all basic lists

Position -- a type of list designed to represent a position in a file.

It's implemented as a list whose three elements are the file name, the line number, and the column number.

Methods for using a position :

net Position

toString Position