aboutsummaryrefslogtreecommitdiff
path: root/src/interp/incl.boot.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-08-14 05:14:52 +0000
committerdos-reis <gdr@axiomatics.org>2007-08-14 05:14:52 +0000
commitab8cc85adde879fb963c94d15675783f2cf4b183 (patch)
treec202482327f474583b750b2c45dedfc4e4312b1d /src/interp/incl.boot.pamphlet
downloadopen-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz
Initial population.
Diffstat (limited to 'src/interp/incl.boot.pamphlet')
-rw-r--r--src/interp/incl.boot.pamphlet447
1 files changed, 447 insertions, 0 deletions
diff --git a/src/interp/incl.boot.pamphlet b/src/interp/incl.boot.pamphlet
new file mode 100644
index 00000000..5f729bb7
--- /dev/null
+++ b/src/interp/incl.boot.pamphlet
@@ -0,0 +1,447 @@
+\documentclass{article}
+\usepackage{axiom}
+
+\title{\File{src/interp/incl.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.
+--
+-- 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.
+
+@
+<<*>>=
+<<license>>
+
+)package "BOOT"
+
+incStringStream s==
+ incRenumber incLude(0,incRgen s,0,['"strings"] ,[Top])
+
+incFile fn==
+ incRenumber incLude(0,incRgen OPEN fn,0,[fn],[Top])
+
+incStream(st, fn) ==
+ incRenumber incLude(0,incRgen st,0,[fn],[Top])
+
+incFileInput fn == incRgen MAKE_-INSTREAM fn
+incConsoleInput () == incRgen MAKE_-INSTREAM 0
+
+incLine(eb, str, gno, lno, ufo) ==
+ ln := lnCreate(eb,str,gno,lno,ufo)
+ CONS(CONS(ln,1), str)
+
+incPos f == CAR f
+
+incRenumberItem(f, i) ==
+ l := CAAR f
+ lnSetGlobalNum(l, i)
+ f
+
+incRenumberLine(xl, gno) ==
+ l := incRenumberItem(xl.0, gno)
+ incHandleMessage xl
+ l
+
+incRenumber ssx == incZip (function incRenumberLine, ssx, incIgen 0)
+
+incPrefix?(prefix, start, whole) ==
+ #prefix > #whole-start => false
+ good:=true
+ for i in 0..#prefix-1 for j in start.. while good repeat
+ good:= prefix.i = whole.j
+ good
+
+incCommand?(s) == #s > 0 and s.0 = char ")"
+
+incCommands :=
+ ['"say" , _
+ '"include", _
+ '"console", _
+ '"fin" , _
+ '"assert" , _
+ '"if" , _
+ '"elseif" , _
+ '"else" , _
+ '"endif" ]
+
+incClassify(s) ==
+ not incCommand? s => [false,0, '""]
+ i := 1; n := #s
+ while i < n and s.i = char " " repeat i := i + 1
+ i >= n => [true,0,'"other"]
+ eb := (i = 1 => 0; i)
+ bad:=true
+ for p in incCommands while bad repeat
+ incPrefix?(p, i, s) =>
+ bad:=false
+ p1 :=p
+ if bad then [true,0,'"other"] else [true,eb,p1]
+
+incCommandTail(s, info) ==
+ start := (info.1 = 0 => 1; info.1)
+ incDrop(start+#info.2+1, s)
+
+incDrop(n, b) ==
+ n >= #b => ""
+ SUBSTRING(b,n,nil)
+
+
+inclFname(s, info) == incFileName incCommandTail(s, info)
+
+incBiteOff x ==
+ n:=STRPOSL('" ",x,0,true)-- first nonspace
+ if null n
+ then false -- all spaces
+ else
+ n1:=STRPOSL ('" ",x,n,nil)
+ if null n1 -- all nonspaces
+ then [SUBSTRING(x,n,nil),'""]
+ else [SUBSTRING(x,n,n1-n),SUBSTRING(x,n1,nil)]
+
+incTrunc (n,x)==
+ if #x>n
+ then SUBSTRING(x,0,n)
+ else x
+
+incFileName x == first incBiteOff x
+
+fileNameStrings fn==[PNAME(fn.0),PNAME(fn.1),PNAME(fn.2)]
+
+ifCond(s, info) ==
+ word := MakeSymbol StringTrim(incCommandTail(s, info), WhiteSpaceCset)
+ ListMemberQ?(word, $inclAssertions)
+
+assertCond(s, info) ==
+ word := MakeSymbol StringTrim(incCommandTail(s, info), WhiteSpaceCset)
+ if not ListMemberQ?(word, $inclAssertions) then
+ $inclAssertions := [word, :$inclAssertions]
+
+
+incActive?(fn,ufos)==member(fn,ufos)
+
+incNConsoles ufos==
+ a:=member('"console",ufos)
+ if a then 1+incNConsoles CDR a else 0
+
+Top := 01
+IfSkipToEnd := 10
+IfKeepPart := 11
+IfSkipPart := 12
+ElseifSkipToEnd:= 20
+ElseifKeepPart := 21
+ElseifSkipPart := 22
+ElseSkipToEnd := 30
+ElseKeepPart := 31
+
+Top? (st) == QUOTIENT(st,10) = 0
+If? (st) == QUOTIENT(st,10) = 1
+Elseif? (st) == QUOTIENT(st,10) = 2
+Else? (st) == QUOTIENT(st,10) = 3
+SkipEnd? (st) == REMAINDER(st,10) = 0
+KeepPart?(st) == REMAINDER(st,10) = 1
+SkipPart?(st) == REMAINDER(st,10) = 2
+Skipping?(st) == not KeepPart? st
+
+ --% Message Handling
+incHandleMessage(xl) ==
+ xl.1.1 = "none" =>
+ 0
+ xl.1.1 = "error" =>
+ inclHandleError(incPos xl.0, xl.1.0)
+ xl.1.1 = "warning" =>
+ inclHandleWarning(incPos xl.0, xl.1.0)
+ xl.1.1 = "say" =>
+ inclHandleSay(incPos xl.0, xl.1.0)
+ inclHandleBug(incPos xl.0, xl.1.0)
+
+xlOK(eb, str, lno, ufo) ==
+ [incLine(eb, str, -1, lno, ufo), [NIL, "none"]]
+
+xlOK1(eb, str,str1, lno, ufo) ==
+ [incLine1(eb, str,str1, -1, lno, ufo), [NIL, "none"]]
+
+incLine1(eb, str,str1, gno, lno, ufo) ==
+ ln := lnCreate(eb,str,gno,lno,ufo)
+ CONS(CONS(ln,1), str1)
+xlSkip(eb, str, lno, ufo) ==
+ str := CONCAT('"-- Omitting:", str)
+ [incLine(eb, str, -1, lno, ufo), [NIL, "none"]]
+
+xlMsg(eb, str, lno, ufo, mess) ==
+ [incLine(eb, str, -1, lno, ufo), mess]
+
+xlPrematureEOF(eb, str, lno, ufos) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgPrematureEOF(ufos.0),"error"])
+
+xlPrematureFin(eb, str, lno, ufos) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgPrematureFin(ufos.0),"error"])
+
+xlFileCycle(eb, str, lno, ufos, fn) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgFileCycle(ufos,fn),"error"])
+
+xlNoSuchFile(eb, str, lno, ufos, fn) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgNoSuchFile(fn), "error"])
+
+xlCannotRead(eb, str, lno, ufos, fn) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgCannotRead(fn), "error"])
+
+xlConsole(eb, str, lno, ufos) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgConsole(),"say"])
+
+xlConActive(eb, str, lno, ufos, n) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgConActive(n),"warning"])
+
+xlConStill(eb, str, lno, ufos, n) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgConStill(n), "say"])
+
+xlSkippingFin(eb, str, lno, ufos) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgFinSkipped(),"warning"])
+
+xlIfBug(eb, str, lno, ufos) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgIfBug(), "bug"])
+
+xlCmdBug(eb, str, lno, ufos) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgCmdBug(), "bug"])
+
+xlSay(eb, str, lno, ufos, x) ==
+ xlMsg(eb, str, lno,ufos.0,
+ [inclmsgSay(x), "say"])
+
+xlIfSyntax(eb, str, lno,ufos,info,sts) ==
+ st := sts.0
+ found := info.2
+ context :=
+ Top? st => "not in an )if...)endif"
+ Else? st => "after an )else"
+ "but can't figure out where"
+ xlMsg(eb, str, lno, ufos.0,
+ [inclmsgIfSyntax(ufos.0,found,context), "error"])
+
+ --% This is it
+
+incLude(eb, ss, ln, ufos, states) ==
+ Delay(function incLude1,[eb, ss, ln, ufos, states])
+
+Rest s==>incLude (eb,CDR ss,lno,ufos,states)
+
+incLude1 (:z) ==
+ [eb, ss, ln, ufos, states]:=z
+ lno := ln+1
+ state := states.0
+
+ StreamNull ss =>
+ not Top? state =>
+ cons(xlPrematureEOF(eb,
+ '")--premature end", lno,ufos), StreamNil)
+ StreamNil
+
+ str := EXPAND_-TABS CAR ss
+ info := incClassify str
+
+ not info.0 =>
+ Skipping? state => cons(xlSkip(eb,str,lno,ufos.0), Rest s)
+ cons(xlOK(eb, str, lno, ufos.0),Rest s)
+
+ info.2 = '"other" =>
+ Skipping? state => cons(xlSkip(eb,str,lno,ufos.0), Rest s)
+ cons(xlOK1(eb, str,CONCAT('")command",str), lno, ufos.0),
+ Rest s)
+
+ info.2 = '"say" =>
+ Skipping? state => cons(xlSkip(eb,str,lno,ufos.0), Rest s)
+ str := incCommandTail(str, info)
+ cons(xlSay(eb, str, lno, ufos, str),
+ cons(xlOK(eb,str,lno,ufos.0), Rest s))
+
+ info.2 = '"include" =>
+ Skipping? state =>
+ cons(xlSkip(eb,str,lno,ufos.0), Rest s)
+ fn1 := inclFname(str, info)
+ not fn1 =>
+ cons(xlNoSuchFile(eb, str, lno,ufos,fn),Rest s)
+ not PROBE_-FILE fn1 =>
+ cons(xlCannotRead(eb, str, lno,ufos,fn1),Rest s)
+ incActive?(fn1,ufos) =>
+ cons(xlFileCycle (eb, str, lno,ufos,fn1),Rest s)
+ Includee :=
+ incLude(eb+info.1,incFileInput fn1,0,
+ cons(fn1,ufos), cons(Top,states))
+ cons(
+ xlOK(eb,str,lno,ufos.0),
+ incAppend(Includee, Rest s))
+
+ info.2 = '"console" =>
+ Skipping? state => cons(xlSkip(eb,str,lno,ufos.0), Rest s)
+ Head :=
+ incLude(eb+info.1,incConsoleInput(),0,
+ cons('"console",ufos),cons(Top,states) )
+ Tail := Rest s
+
+ n := incNConsoles ufos
+ if n > 0 then
+ Head := cons(xlConActive(eb, str, lno,ufos,n),Head)
+ Tail :=
+ cons(xlConStill (eb, str, lno,ufos,n),Tail)
+
+ Head := cons (xlConsole(eb, str, lno,ufos), Head)
+ cons(xlOK(eb,str,lno,ufos.0),incAppend(Head,Tail))
+
+ info.2 = '"fin" =>
+ Skipping? state =>
+ cons(xlSkippingFin(eb, str, lno,ufos), Rest s)
+ not Top? state =>
+ cons(xlPrematureFin(eb, str, lno,ufos), StreamNil)
+ cons(xlOK(eb,str,lno,ufos.0), StreamNil)
+
+ info.2 = '"assert" =>
+ Skipping? state =>
+ cons(xlSkippingFin(eb, str, lno,ufos), Rest s)
+ assertCond(str, info)
+ cons(xlOK(eb,str,lno,ufos.0), incAppend(Includee, Rest s))
+
+ info.2 = '"if" =>
+ s1 :=
+ Skipping? state => IfSkipToEnd
+ if ifCond(str,info) then IfKeepPart else IfSkipPart
+ cons(xlOK(eb,str,lno,ufos.0),
+ incLude(eb,CDR ss,lno,ufos,cons(s1,states)))
+ info.2 = '"elseif" =>
+ not If? state and not Elseif? state =>
+ cons(xlIfSyntax(eb, str,lno,ufos,info,states),
+ StreamNil)
+
+ if SkipEnd? state or KeepPart? state or SkipPart? state
+ then
+ s1:=if SkipPart? state
+ then
+ pred := ifCond(str,info)
+ if pred
+ then ElseifKeepPart
+ else ElseifSkipPart
+ else ElseifSkipToEnd
+ cons(xlOK(eb,str,lno,ufos.0),
+ incLude(eb,CDR ss,lno,ufos,cons(s1,rest states)))
+ else
+ cons(xlIfBug(eb, str, lno,ufos), StreamNil)
+
+ info.2 = '"else" =>
+ not If? state and not Elseif? state =>
+ cons(xlIfSyntax(eb, str,lno,ufos,info,states),
+ StreamNil)
+ if SkipEnd? state or KeepPart? state or SkipPart? state
+ then
+ s1 :=if SkipPart? state
+ then ElseKeepPart
+ else ElseSkipToEnd
+ cons(xlOK(eb,str,lno,ufos.0),
+ incLude(eb,CDR ss,lno,ufos,cons(s1,rest states)))
+ else
+ cons(xlIfBug(eb, str, lno,ufos), StreamNil)
+
+ info.2 = '"endif" =>
+ Top? state =>
+ cons(xlIfSyntax(eb, str,lno,ufos,info,states),
+ StreamNil)
+ cons(xlOK(eb,str,lno,ufos.0),
+ incLude(eb,CDR ss,lno,ufos,rest states))
+
+ cons(xlCmdBug(eb, str, lno,ufos), StreamNil)
+
+--% Message handling for the source includer
+-- SMW June 88
+
+inclHandleError(pos, [key, args]) ==
+ ncSoftError(pos, key, args)
+inclHandleWarning(pos, [key, args]) ==
+ ncSoftError(pos, key,args)
+inclHandleBug(pos, [key, args]) ==
+ ncBug(key, args)
+inclHandleSay(pos, [key, args]) ==
+ ncSoftError(pos, key, args)
+
+inclmsgSay str ==
+ ['S2CI0001, [%id str]]
+inclmsgPrematureEOF ufo ==
+ ['S2CI0002, [%origin ufo]]
+inclmsgPrematureFin ufo ==
+ ['S2CI0003, [%origin ufo]]
+inclmsgFileCycle(ufos,fn) ==
+ flist := [porigin n for n in reverse ufos]
+ f1 := porigin fn
+ cycle := [:[:[n,'"==>"] for n in flist], f1]
+ ['S2CI0004, [%id cycle, %id f1]]
+inclmsgConsole () ==
+ ['S2CI0005, []]
+inclmsgConActive n ==
+ ['S2CI0006, [%id n]]
+inclmsgConStill n ==
+ ['S2CI0007, [%id n]]
+inclmsgFinSkipped() ==
+ ['S2CI0008, []]
+inclmsgIfSyntax(ufo,found,context) ==
+ found := CONCAT('")", found)
+ ['S2CI0009, [%id found, %id context, %origin ufo]]
+inclmsgNoSuchFile fn ==
+ ['S2CI0010, [%fname fn]]
+inclmsgCannotRead fn ==
+ ['S2CI0011, [%fname fn]]
+inclmsgIfBug() ==
+ ['S2CB0002, []]
+inclmsgCmdBug() ==
+ ['S2CB0003, []]
+
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}