diff options
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} |