An area in a source file, from start to end.
The start point is the point right before the starting character.
The end point is the point right after the last character.
An empty position will have coinciding points.
Consider a file with one line, containing text "HELLO".
The Position of such text will be Position(Point(1, 0), Point(1, 5)).
An area in a source file, from start to end. The start point is the point right before the starting character. The end point is the point right after the last character. An empty position will have coinciding points.
Consider a file with one line, containing text "HELLO". The Position of such text will be Position(Point(1, 0), Point(1, 5)).