eldritch horrors
c948b350fb
SourcePath only manipulates path names now. all accesses must go through
a checked path going forward to ensure we don't escape restriction lists
of pure and restricted evaluation. if a directory path is checked it can
safely be assumed that the directory itself is allowed, and its contents
will likewise be safe to access. it is tempting to assumed that contents
will also be fine, but that's only true if the content is not a symlink.
Change-Id: Icec3098d53fe9dce50997954ba958fe4f304d59b
123 lines
3.2 KiB
C++
123 lines
3.2 KiB
C++
#include "lix/libutil/position.hh"
|
|
|
|
namespace nix {
|
|
|
|
Pos::Pos(const Pos * other)
|
|
{
|
|
if (!other) {
|
|
return;
|
|
}
|
|
line = other->line;
|
|
column = other->column;
|
|
origin = std::move(other->origin);
|
|
}
|
|
|
|
Pos::operator std::shared_ptr<Pos>() const
|
|
{
|
|
return std::make_shared<Pos>(&*this);
|
|
}
|
|
|
|
bool Pos::operator<(const Pos &rhs) const
|
|
{
|
|
return std::forward_as_tuple(line, column, origin)
|
|
< std::forward_as_tuple(rhs.line, rhs.column, rhs.origin);
|
|
}
|
|
|
|
std::optional<LinesOfCode> Pos::getCodeLines() const
|
|
{
|
|
if (line == 0)
|
|
return std::nullopt;
|
|
|
|
if (auto source = getSource()) {
|
|
LinesIterator lines(*source), end;
|
|
LinesOfCode loc;
|
|
|
|
if (line > 1)
|
|
std::advance(lines, line - 2);
|
|
if (lines != end && line > 1)
|
|
loc.prevLineOfCode = *lines++;
|
|
if (lines != end)
|
|
loc.errLineOfCode = *lines++;
|
|
if (lines != end)
|
|
loc.nextLineOfCode = *lines++;
|
|
|
|
return loc;
|
|
}
|
|
|
|
return std::nullopt;
|
|
}
|
|
|
|
|
|
std::optional<std::string> Pos::getSource() const
|
|
{
|
|
return std::visit(overloaded {
|
|
[](const std::monostate &) -> std::optional<std::string> {
|
|
return std::nullopt;
|
|
},
|
|
[](const Pos::Stdin & s) -> std::optional<std::string> {
|
|
// Get rid of the null terminators added by the parser.
|
|
return std::string(s.source->c_str());
|
|
},
|
|
[](const Pos::String & s) -> std::optional<std::string> {
|
|
// Get rid of the null terminators added by the parser.
|
|
return std::string(s.source->c_str());
|
|
},
|
|
[](const CheckedSourcePath & path) -> std::optional<std::string> {
|
|
try {
|
|
return path.readFile();
|
|
} catch (Error &) {
|
|
return std::nullopt;
|
|
}
|
|
},
|
|
[](Hidden) -> std::optional<std::string> {
|
|
return std::nullopt;
|
|
}
|
|
}, origin);
|
|
}
|
|
|
|
void Pos::print(std::ostream & out, bool showOrigin) const
|
|
{
|
|
if (showOrigin) {
|
|
std::visit(overloaded {
|
|
[&](const std::monostate &) { out << "«none»"; },
|
|
[&](const Pos::Stdin &) { out << "«stdin»"; },
|
|
[&](const Pos::String & s) { out << "«string»"; },
|
|
[&](const SourcePath & path) { out << path; },
|
|
[&](Hidden) { out << "«internal»"; },
|
|
}, origin);
|
|
out << ":";
|
|
}
|
|
out << line;
|
|
if (column > 0)
|
|
out << ":" << column;
|
|
}
|
|
|
|
std::ostream & operator<<(std::ostream & str, const Pos & pos)
|
|
{
|
|
pos.print(str, true);
|
|
return str;
|
|
}
|
|
|
|
void Pos::LinesIterator::bump(bool atFirst)
|
|
{
|
|
if (!atFirst) {
|
|
pastEnd = input.empty();
|
|
if (!input.empty() && input[0] == '\r')
|
|
input.remove_prefix(1);
|
|
if (!input.empty() && input[0] == '\n')
|
|
input.remove_prefix(1);
|
|
}
|
|
|
|
// nix line endings are not only \n as eg std::getline assumes, but also
|
|
// \r\n **and \r alone**. not treating them all the same causes error
|
|
// reports to not match with line numbers as the parser expects them.
|
|
auto eol = input.find_first_of("\r\n");
|
|
|
|
if (eol > input.size())
|
|
eol = input.size();
|
|
|
|
curLine = input.substr(0, eol);
|
|
input.remove_prefix(eol);
|
|
}
|
|
|
|
}
|