diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-16 18:28:08 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-16 18:28:08 -0800 |
commit | 49b70a18de895e138e40670c249e0d6166c825a6 (patch) | |
tree | c8989445bc0505a0127166e651e87577f013d4f8 /src/include | |
parent | 550b22dd50ec1a394d33f63dbf493dff46e3ccb7 (diff) | |
download | open-axiom-49b70a18de895e138e40670c249e0d6166c825a6.tar.gz |
Remove Fragment::last_indent.
Diffstat (limited to 'src/include')
-rw-r--r-- | src/include/open-axiom/InputFragment | 4 | ||||
-rw-r--r-- | src/include/open-axiom/SourceInput | 2 |
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(); |