Clingo
|
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. | |
Data structures and functions to track source locations.