diff options
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/Constructor.H | 80 | ||||
| -rw-r--r-- | src/include/Database.H | 54 | ||||
| -rw-r--r-- | src/include/Lisp.H | 3 | ||||
| -rw-r--r-- | src/include/sexpr.H | 1 |
4 files changed, 138 insertions, 0 deletions
diff --git a/src/include/Constructor.H b/src/include/Constructor.H new file mode 100644 index 00000000..bfab3940 --- /dev/null +++ b/src/include/Constructor.H @@ -0,0 +1,80 @@ +// 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. + +#ifndef OPENAXIOM_CONSTRUCTOR_included +#define OPENAXIOM_CONSTRUCTOR_included + +#include <open-axiom/string-pool> + +namespace OpenAxiom { + namespace VM { + // -- identifier + using Identifier = String; + + // -- A constructor kind. + enum class ConstructorKind { category, domain, package }; + + // -- Data structure for a constructor. + struct Constructor { + Identifier name; + Identifier abbrev; + String source_file; + String object_file; + ConstructorKind kind; + }; + } +} + +// -- specialize helper function objects +namespace std { + template<> + struct hash<OpenAxiom::VM::Constructor> { + using H = hash<OpenAxiom::VM::Identifier>; + H::result_type operator()(const Constructor& c) const { + return h(c.name); + } + + H h; + }; + + template<> + struct equal_to<OpenAxiom::VM::Constructor> { + using E = equal_to<OpenAxiom::VM::Identifier>; + using arg_type = OpenAxiom::VM::Constructor; + bool operator()(const arg_type& x, const arg_type& y) const { + return e(x.name, y.name); + } + E e; + }; +} + +#endif // OPENAXIOM_CONSTRUCTOR_included diff --git a/src/include/Database.H b/src/include/Database.H new file mode 100644 index 00000000..cea082c8 --- /dev/null +++ b/src/include/Database.H @@ -0,0 +1,54 @@ +// 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. + +#ifndef OPENAXIOM_DATABASE_included +#define OPENAXIOM_DATABASE_included + +#include <open-axiom/FileMapping> +#include <open-axiom/sexpr> +#include <open-axiom/Lisp> + +namespace OpenAxiom { + namespace VM { + struct Database { + explicit Database(const std::string&); + Value find_with(Value, Lisp::Evaluator&); + private: + Memory::FileMapping file; + Sexpr::Reader reader; + Pair toc; + std::map<Value, Value> dict; + }; + } +} + +#endif // OPENAXIOM_DATABASE_included diff --git a/src/include/Lisp.H b/src/include/Lisp.H index cfd79f38..e10aeaf6 100644 --- a/src/include/Lisp.H +++ b/src/include/Lisp.H @@ -109,6 +109,9 @@ namespace OpenAxiom { Fixnum retract_to_fixnum(Value); Pair retract_to_pair(Value); Symbol* retract_to_symbol(Value); + + // -- Alist functions + Value assoc(Value, Pair); } } diff --git a/src/include/sexpr.H b/src/include/sexpr.H index aa4cfc09..d425b6d8 100644 --- a/src/include/sexpr.H +++ b/src/include/sexpr.H @@ -382,6 +382,7 @@ namespace OpenAxiom { Reader(const Byte*, const Byte*); const Byte* position(Ordinal); + bool at_start() const { return st.cur == st.start; } const Syntax* read(); private: State st; |