aboutsummaryrefslogtreecommitdiff
path: root/src/io
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2017-01-16 20:24:27 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2017-01-16 20:24:27 -0800
commit3d58927692b6e6ddffd3c08cbd824aa83c00ccdb (patch)
treefb96b80bec2692e5ff69a664e8b98484a4ec69c9 /src/io
parent49b70a18de895e138e40670c249e0d6166c825a6 (diff)
downloadopen-axiom-3d58927692b6e6ddffd3c08cbd824aa83c00ccdb.tar.gz
Include commentary lines in fragments.
Diffstat (limited to 'src/io')
-rw-r--r--src/io/InputFragment.cxx48
1 files changed, 30 insertions, 18 deletions
diff --git a/src/io/InputFragment.cxx b/src/io/InputFragment.cxx
index e409062d..01970f84 100644
--- a/src/io/InputFragment.cxx
+++ b/src/io/InputFragment.cxx
@@ -68,13 +68,6 @@ namespace OpenAxiom {
line.resize(n);
return line;
}
-
- // Clean up and dress up the line with indentation information.
- static Line& prop_up(Line& line) {
- line.indent = indentation(trim_right(line));
- line.kind = LineKind::Ordinary;
- return line;
- }
// Return true if line is entirely a positive comment, i.e. a description.
static bool positive_comment(const Line& line) {
@@ -89,10 +82,19 @@ namespace OpenAxiom {
return false;
return line[line.indent] == '-' and line[line.indent + 1] == '-';
}
-
- // Return true if line is either empty or a negative comment.
- static bool blank(const Line& line) {
- return line.empty() or negative_comment(line);
+
+ // Clean up and dress up the line with indentation information.
+ static Line& prop_up(Line& line) {
+ line.indent = indentation(trim_right(line));
+ if (negative_comment(line))
+ line.kind = LineKind::Ignorable;
+ else if (positive_comment(line))
+ line.kind = LineKind::Description;
+ else if (line.indent == 0 and not line.empty() and line.front() == ')')
+ line.kind = LineKind::Meta;
+ else
+ line.kind = LineKind::Ordinary;
+ return line;
}
// Decompose the input souce file into fragments, and return one
@@ -101,25 +103,35 @@ namespace OpenAxiom {
Fragment fragment;
std::stack<ColumnIndex> indents;
- if (not line.empty() and line.kind == LineKind::Ordinary) {
- indents.push(line.indent);
+ if (not line.empty()) {
+ if (line.kind == LineKind::Ordinary)
+ indents.push(line.indent);
fragment.push_back(line);
}
while (std::getline(input, line)) {
++line.number;
prop_up(line);
- if (blank(line))
- continue; // Don't bother with ignorable comments.
+ if (line.indent >= line.length())
+ continue; // Don't bother with entirely blank links.
else if (fragment.line_continuation())
- ;
+ ; // Line splicing does not change indentation.
+ else if (line.kind == LineKind::Ignorable)
+ ; // Likewise for ignorable lines.
+ else if (line.kind == LineKind::Meta)
+ ; // Likewise for reader lines.
+ else if (line.kind == LineKind::Description and line.indent == 0)
+ ; // Toplevel descriptions preceed items.
else if (indents.empty()) {
- if (fragment.empty() and line.indent != 0)
+ // Consecutive rows of wisecracks make up a fragment of their own.
+ if (line.indent == 0)
+ break;
+ else if (fragment.empty())
std::cerr << "warning: white space at begining of fragment"
<< " on line " << line.number << '\n';
indents.push(line.indent);
}
- else if (line.indent == 0 and not positive_comment(fragment.back()))
+ else if (line.indent == 0)
break; // A completely new line; save for later.
else if (line.indent > indents.top())
indents.push(line.indent);