aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/info.boot (renamed from src/interp/info.boot.pamphlet)75
-rw-r--r--src/interp/iterator.boot (renamed from src/interp/iterator.boot.pamphlet)28
-rw-r--r--src/interp/modemap.boot (renamed from src/interp/modemap.boot.pamphlet)28
-rw-r--r--src/interp/msgdb.boot (renamed from src/interp/msgdb.boot.pamphlet)116
4 files changed, 76 insertions, 171 deletions
diff --git a/src/interp/info.boot.pamphlet b/src/interp/info.boot
index ba2ef824..4506c676 100644
--- a/src/interp/info.boot.pamphlet
+++ b/src/interp/info.boot
@@ -1,45 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/info.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\begin{verbatim}
-ADDINFORMATION CODE
-This code adds various items to the special value of $Information,
-in order to keep track of all the compiler's information about
-various categories and similar objects
-An actual piece of (unconditional) information can have one of 3 forms:
- (ATTRIBUTE domainname attribute)
- --These are only stored here
- (SIGNATURE domainname operator signature)
- --These are also stored as 'modemap' properties
- (has domainname categoryexpression)
- --These are also stored as 'value' properties
-Conditional attributes are of the form
- (COND
- (condition info info ...)
- ... )
-where the condition looks like a 'has' clause, or the 'and' of several
-'has' clauses:
- (has name categoryexpression)
- (has name (ATTRIBUTE attribute))
- (has name (SIGNATURE operator signature))
-The use of two representations is admitted to be clumsy
-
-\end{verbatim}
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
+-- 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
@@ -69,9 +31,30 @@ The use of two representations is admitted to be clumsy
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
+
+
+--% ADDINFORMATION CODE
+--% This code adds various items to the special value of $Information,
+--% in order to keep track of all the compiler's information about
+--% various categories and similar objects
+--% An actual piece of (unconditional) information can have one of 3 forms:
+--% (ATTRIBUTE domainname attribute)
+--% --These are only stored here
+--% (SIGNATURE domainname operator signature)
+--% --These are also stored as 'modemap' properties
+--% (has domainname categoryexpression)
+--% --These are also stored as 'value' properties
+--% Conditional attributes are of the form
+--% (COND
+--% (condition info info ...)
+--% ... )
+--% where the condition looks like a 'has' clause, or the 'and' of several
+--% 'has' clauses:
+--% (has name categoryexpression)
+--% (has name (ATTRIBUTE attribute))
+--% (has name (SIGNATURE operator signature))
+--% The use of two representations is admitted to be clumsy
+
import '"g-util"
)package "BOOT"
@@ -300,9 +283,3 @@ GetValue name ==
u:= comp(name,$EmptyMode,$e) => u --name may be a form
systemError [name,'" is not bound in the current environment"]
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/iterator.boot.pamphlet b/src/interp/iterator.boot
index 74eccf2e..af6d6c37 100644
--- a/src/interp/iterator.boot.pamphlet
+++ b/src/interp/iterator.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/iterator.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
+-- 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
@@ -46,9 +31,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
import '"g-util"
)package "BOOT"
@@ -314,9 +296,3 @@ modeIsAggregateOf(ListOrVector,m,e) ==
-- FIXP x and FIXP y => DIFFERENCE(x,y)
-- ["DIFFERENCE",x,y]
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/modemap.boot.pamphlet b/src/interp/modemap.boot
index a493a61f..02c93677 100644
--- a/src/interp/modemap.boot.pamphlet
+++ b/src/interp/modemap.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\$SPAD/src/interp modemap.boot}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
+-- 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
@@ -46,9 +31,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
import '"c-util"
import '"info"
@@ -391,9 +373,3 @@ putDomainsInScope(x,e) ==
$insideCapsuleFunctionIfTrue => ($CapsuleDomainsInScope:= newValue; e)
put("$DomainsInScope","special",newValue,e)
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/msgdb.boot.pamphlet b/src/interp/msgdb.boot
index 842d9e82..8c38b9d1 100644
--- a/src/interp/msgdb.boot.pamphlet
+++ b/src/interp/msgdb.boot
@@ -1,66 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/msgdb.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\begin{verbatim}
-Description of Messages
-
-Axiom messages are read from a flat file database and returned
-as one long string. They are preceded in the database by a key and
-this is how they are referenced from code. For example, one key is
-S2IL0001 which means:
- S2 Scratchpad II designation
- I from the interpreter
- L originally from LISPLIB BOOT
- 0001 a sequence number
-
-Each message may contain formatting codes and and parameter codes.
-The formatting codes are:
- %b turn on bright printing
- %ceoff turn off centering
- %ceon turn on centering
- %d turn off bright printing
- %f user defined printing
- %i start indentation of 3 more spaces
- %l start a new line
- %m math-print an expression
- %rjoff turn off right justification (actually ragged left)
- %rjon turn on right justification (actually ragged left)
- %s pretty-print as an S-expression
- %u unindent 3 spaces
- %x# insert # spaces
-
-The parameter codes look like %1, %2b, %3p, %4m, %5bp, %6s where the
-digit is the parameter number ans the letters following indicate
-additional formatting. You can indicate as many additional formatting
-qualifiers as you like, to the degree they make sense. The "p" code
-means to call prefix2String on the parameter, a standard way of
-printing abbreviated types. The "P" operator maps prefix2String over
-its arguments. The "o" operation formats the argument as an operation
-name. "b" means to print that parameter in
-a bold (bright) font. "c" means to center that parameter on a
-new line. "f" means that the parameter is a list [fn, :args]
-and that "fn" is to be called on "args" to get the text. "r" means
-to right justify (ragged left) the argument.
-
-Look in the file with the name defined in $defaultMsgDatabaseName
-above for examples.
-
-\end{verbatim}
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
+-- 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
@@ -90,9 +31,50 @@ above for examples.
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
+
+--% Description of Messages
+
+--% Axiom messages are read from a flat file database and returned
+--% as one long string. They are preceded in the database by a key and
+--% this is how they are referenced from code. For example, one key is
+--% S2IL0001 which means:
+--% S2 Scratchpad II designation
+--% I from the interpreter
+--% L originally from LISPLIB BOOT
+--% 0001 a sequence number
+
+--% Each message may contain formatting codes and and parameter codes.
+--% The formatting codes are:
+--% %b turn on bright printing
+--% %ceoff turn off centering
+--% %ceon turn on centering
+--% %d turn off bright printing
+--% %f user defined printing
+--% %i start indentation of 3 more spaces
+--% %l start a new line
+--% %m math-print an expression
+--% %rjoff turn off right justification (actually ragged left)
+--% %rjon turn on right justification (actually ragged left)
+--% %s pretty-print as an S-expression
+--% %u unindent 3 spaces
+--% %x# insert # spaces
+
+--% The parameter codes look like %1, %2b, %3p, %4m, %5bp, %6s where the
+--% digit is the parameter number ans the letters following indicate
+--% additional formatting. You can indicate as many additional formatting
+--% qualifiers as you like, to the degree they make sense. The "p" code
+--% means to call prefix2String on the parameter, a standard way of
+--% printing abbreviated types. The "P" operator maps prefix2String over
+--% its arguments. The "o" operation formats the argument as an operation
+--% name. "b" means to print that parameter in
+--% a bold (bright) font. "c" means to center that parameter on a
+--% new line. "f" means that the parameter is a list [fn, :args]
+--% and that "fn" is to be called on "args" to get the text. "r" means
+--% to right justify (ragged left) the argument.
+
+--% Look in the file with the name defined in $defaultMsgDatabaseName
+--% above for examples.
+
import '"g-util"
)package "BOOT"
@@ -1071,9 +1053,3 @@ escapeSpecialChars s ==
dbSpecialDisplayOpChar? c == (c = char '_~)
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}