Clingo
|
A point in an input source. More...
#include <location.hh>
Public Member Functions | |
Position (String file, size_t line, size_t column) | |
Construct a position. | |
auto | file () const -> String const & |
The name of a file/stream/string. | |
auto | line () const -> size_t |
The line number. | |
auto | column () const -> size_t |
The column number. | |
Friends | |
auto | operator== (Position const &a, Position const &b) -> bool=default |
Compare two positions. | |
auto | operator<=> (Position const &a, Position const &b)=default |
Compare two positions. | |
template<class T > | |
auto | operator<< (T &out, Position const &pos) -> T & |
Output the position to the given stream. | |
A point in an input source.