8 if (pos.
col)
return os << pos.
row <<
':' << pos.
col;
11 return os <<
"<unknown position>";
16 os << (loc.
path ? loc.
path->string() :
"<unknown file>") <<
':' << loc.
begin;
20 return os <<
"<unknown location>";
23void Pos::dump()
const { std::cout << *
this << std::endl; }
24void Loc::dump()
const { std::cout << *
this << std::endl; }
std::ostream & operator<<(std::ostream &os, Pos pos)
Pos finis
It's called finis because it refers to the last character within this Location.
const std::filesystem::path * path
Position in a source file; pass around as value.