diff options
Diffstat (limited to 'src/io/Input.cc')
-rw-r--r-- | src/io/Input.cc | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/src/io/Input.cc b/src/io/Input.cc new file mode 100644 index 00000000..5fff2cfd --- /dev/null +++ b/src/io/Input.cc @@ -0,0 +1,55 @@ +// -*- C++ -*- +// Copyright (C) 2013, Gabriel Dos Reis. +// All rights reserved. +// Written by Gabriel Dos Reis. +// +// Redistribution and use in source and binary forms, with or without +// modification, are permitted provided that the following conditions are +// met: +// +// - Redistributions of source code must retain the above copyright +// notice, this list of conditions and the following disclaimer. +// +// - Redistributions in binary form must reproduce the above copyright +// notice, this list of conditions and the following disclaimer in +// the documentation and/or other materials provided with the +// distribution. +// +// - Neither the name of OpenAxiom, nor the names of its contributors may +// be used to endorse or promote products derived from this software +// without specific prior written permission. +// +// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS +// IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED +// TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A +// PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER +// OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, +// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR +// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF +// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING +// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +#include <open-axiom/Input> + +namespace OpenAxiom { + // -- Input::NonEmptyText -- + Input::NonEmptyLine::NonEmptyLine(Ordinal n, const Text& t) + : structure::binary<Ordinal, Text>(n, t) + { } + + // -- Input::Line -- + const Input::NonEmptyLine& + Input::Line::get() const { + return source()->at(index()); + } + + // -- Input::Source -- + Input::Line + Input::Source::line(LineNumber n, const Text& t) { + Index idx = size(); + emplace_back(n, t); + return { this, idx }; + } +} |