Clingo
Loading...
Searching...
No Matches
CppClingo::Position Class Reference

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.
 

Detailed Description

A point in an input source.


The documentation for this class was generated from the following file: