aboutsummaryrefslogtreecommitdiff
path: root/src/syntax
diff options
context:
space:
mode:
Diffstat (limited to 'src/syntax')
-rw-r--r--src/syntax/Parser.cxx134
-rw-r--r--src/syntax/token.cxx (renamed from src/syntax/token.cc)0
2 files changed, 134 insertions, 0 deletions
diff --git a/src/syntax/Parser.cxx b/src/syntax/Parser.cxx
new file mode 100644
index 00000000..e8759d2b
--- /dev/null
+++ b/src/syntax/Parser.cxx
@@ -0,0 +1,134 @@
+// -*- C++ -*-
+// Copyright (C) 2014-2017, 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 <iostream>
+#include <fstream>
+#include <vector>
+#include <string>
+#include <stack>
+#include <iterator>
+#include <ctype.h>
+
+#include <open-axiom/diagnostics>
+#include <open-axiom/InputFragment>
+#include <open-axiom/SourceInput>
+#include <open-axiom/Parser>
+
+namespace {
+ using namespace OpenAxiom;
+
+ using TokenSequence = TokenStream<Token>;
+
+ // Simple wrapper around standard file streams, along with the pathname
+ // to the file.
+ template<typename T>
+ struct FileAs {
+ const char* path;
+ T stream;
+ FileAs(const char* p, std::ios_base::openmode flags)
+ : path{ p }, stream{ p, flags }
+ {
+ if (!stream)
+ throw Error::CannotOpenFile{ path };
+ }
+ };
+
+ using InputFile = FileAs<std::ifstream>;
+ using OutputFile = FileAs<std::ofstream>;
+
+ // Helper function for streaming out details of tokens.
+ std::ostream& operator<<(std::ostream& os, const Token& t) {
+ os << t.category << '{' << t.start << '-' << t.end << '}';
+ return os;
+ }
+
+ // FIXME: This is just a stub to get a native parsing entry point
+ // into the bootsys and interpsys images.
+ void transpile_boot_to_lisp(InputFile& in, OutputFile& out) {
+ SourceInput src { in.stream };
+ while (auto f = src.get()) {
+ out.stream << "================================================\n";
+ out.stream << f;
+ try {
+ TokenSequence ts { f, Language::Boot };
+ for (auto& t : ts) {
+ out.stream << '\t' << t;
+ switch (t.category) {
+ case TokenCategory::Junk:
+ case TokenCategory::Unclassified:
+ out.stream //<< f[t.start.line].sub_string(t.start.column, t.end.column)
+ << " in file " << in.path
+ << " at line " << t.start.line
+ << ", column " << t.start.column;
+ break;
+ default:
+ break;
+ }
+ out.stream << '\n';
+ }
+ }
+ catch(const EndOfStringUnseen& e) {
+ std::cerr << in.path << ": syntax error: "
+ << "premature end of line before matching quote "
+ << "of string literal on line " << e.line
+ << " at column " << e.column
+ << std::endl;
+ }
+ catch (const MissingExponent& e) {
+ std::cerr << in.path << ": syntax error: "
+ << "missing exponent of floating point constant "
+ << "on line " << e.line
+ << ", column " << e.column
+ << std::endl;
+ }
+ out.stream << "================================================\n";
+ }
+ out.stream << std::flush;
+ }
+}
+
+namespace OpenAxiom {
+
+ int boot_to_lisp(const char* boot_path, const char* lisp_path) try {
+ InputFile in { boot_path, std::ios_base::binary };
+ OutputFile out { lisp_path, std::ios_base::binary };
+ transpile_boot_to_lisp(in, out);
+ return 0;
+ }
+ catch (const Error::CannotOpenFile& e) {
+ Diagnostics::StandardStream diagnostics { };
+ diagnostics.error() << "error: could not open file `"
+ << e.path << "'\n";
+ return -1;
+ }
+}
diff --git a/src/syntax/token.cc b/src/syntax/token.cxx
index 74b58fa2..74b58fa2 100644
--- a/src/syntax/token.cc
+++ b/src/syntax/token.cxx