next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: FilePosition

FilePosition -- the class of all file positions


FilePosition -- 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.

For the programmer

The object FilePosition is a type, with ancestor classes BasicList < Thing.