aboutsummaryrefslogtreecommitdiff
path: root/src/include
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2017-01-16 18:28:08 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2017-01-16 18:28:08 -0800
commit49b70a18de895e138e40670c249e0d6166c825a6 (patch)
treec8989445bc0505a0127166e651e87577f013d4f8 /src/include
parent550b22dd50ec1a394d33f63dbf493dff46e3ccb7 (diff)
downloadopen-axiom-49b70a18de895e138e40670c249e0d6166c825a6.tar.gz
Remove Fragment::last_indent.
Diffstat (limited to 'src/include')
-rw-r--r--src/include/open-axiom/InputFragment4
-rw-r--r--src/include/open-axiom/SourceInput2
2 files changed, 1 insertions, 5 deletions
diff --git a/src/include/open-axiom/InputFragment b/src/include/open-axiom/InputFragment
index 41661c67..e55cd0a6 100644
--- a/src/include/open-axiom/InputFragment
+++ b/src/include/open-axiom/InputFragment
@@ -61,10 +61,6 @@ namespace OpenAxiom {
bool line_continuation() const {
return not empty() and back().back() == '_';
}
- // Return the indentation of the last physical line of this fragment.
- ColumnIndex last_indent() const {
- return empty() ? 0 : back().indent;
- }
using std::vector<Line>::operator[];
// Reference a line given by a position into this fragment.
const Line& operator()(const OpenAxiom::FragmentCursor& pos) const {
diff --git a/src/include/open-axiom/SourceInput b/src/include/open-axiom/SourceInput
index efb4ab8b..ee7fd384 100644
--- a/src/include/open-axiom/SourceInput
+++ b/src/include/open-axiom/SourceInput
@@ -41,7 +41,7 @@ namespace OpenAxiom {
// -- A source input transform a character stream into a program fragment
// -- stream, delivering a fragment one at a time.
struct SourceInput {
- SourceInput(std::istream& is) : input(is) { }
+ SourceInput(std::istream& is) : input(is), line{ } { }
// Return the next program fragment from this input source.
Fragment get();