aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/script-parser.spad
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-17 05:27:37 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-17 05:27:37 +0000
commit6d045b14a250fecdf63018c3bb55f36a8539194d (patch)
tree2498dde9d23d49014987e84f2e9e77de89162420 /src/algebra/script-parser.spad
parentc773f40fecf4755ea2a45e4e79ee37e0a1b45d54 (diff)
downloadopen-axiom-6d045b14a250fecdf63018c3bb55f36a8539194d.tar.gz
Consolidate parsers in one pamphlet.
Diffstat (limited to 'src/algebra/script-parser.spad')
-rw-r--r--src/algebra/script-parser.spad50
1 files changed, 0 insertions, 50 deletions
diff --git a/src/algebra/script-parser.spad b/src/algebra/script-parser.spad
deleted file mode 100644
index 404a7c00..00000000
--- a/src/algebra/script-parser.spad
+++ /dev/null
@@ -1,50 +0,0 @@
---Copyright (C) 2007, Gabriel Dos Reis.
---All rights reserved.
---
---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 The Numerical Algorithms Group Ltd. 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.
-
-
-)abbrev package PARSER Parser
-++ Author: Gabriel Dos Reis
-++ Date Created: December 02, 2007
-++ Date Last Updated: December 02, 2007
-++ Description: This package provides a simple Spad script parser.
-++ Related Constructors: Syntax.
-++ See Also: Syntax.
-Parser(): Public == Private where
- Public ==> with
- getSyntaxFormsFromFile: String -> List Syntax
- ++ getSyntaxFormsFromFile(f) parses the source file f (supposedly
- ++ containing Spad scripts) and returns a List Syntax. The
- ++ filename f is supposed to have the proper extension. Note that
- ++ source location information is not part of result.
-
- Private ==> add
- getSyntaxFormsFromFile f ==
- getParseFormsFromFile(f)$Lisp : List(Syntax)