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