Clingo
Loading...
Searching...
No Matches
Source Locations

Data structures and functions to track source locations. More...

Classes

class  CppClingo::Position
 A point in an input source. More...
 
class  CppClingo::Location
 The Location of an expression in an input source. More...
 

Functions

auto CppClingo::operator+ (Position a, Position b) -> Location
 Create a location from the given two positions.
 
template<class T >
requires requires(T const &x) { x.loc(); }
auto CppClingo::location (T const &x) -> Location const &
 Get the location of an expression.
 
template<class... T>
requires requires(T const &...x) { (location(x), ...); }
auto CppClingo::location (std::variant< T... > const &x) -> Location const &
 Get the location of an expression stored in a variant.
 

Detailed Description

Data structures and functions to track source locations.