aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/br-con.boot (renamed from src/interp/br-con.boot.pamphlet)30
-rw-r--r--src/interp/br-data.boot (renamed from src/interp/br-data.boot.pamphlet)28
-rw-r--r--src/interp/br-op1.boot (renamed from src/interp/br-op1.boot.pamphlet)28
-rw-r--r--src/interp/br-op2.boot (renamed from src/interp/br-op2.boot.pamphlet)140
-rw-r--r--src/interp/br-saturn.boot (renamed from src/interp/br-saturn.boot.pamphlet)44
-rw-r--r--src/interp/br-search.boot (renamed from src/interp/br-search.boot.pamphlet)30
-rw-r--r--src/interp/br-util.boot (renamed from src/interp/br-util.boot.pamphlet)140
7 files changed, 136 insertions, 304 deletions
diff --git a/src/interp/br-con.boot.pamphlet b/src/interp/br-con.boot
index 6b77350c..6300c40d 100644
--- a/src/interp/br-con.boot.pamphlet
+++ b/src/interp/br-con.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-con.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 '"bc-util"
)package "BOOT"
@@ -1343,7 +1325,7 @@ PUT('Union,'documentation,SUBST(MESSAGE,'MESSAGE,'(
"\spad{u = v} tests if two objects of the union are equal, that is, \spad{u} and \spad{v} are objects of same branch which are equal."))
(case (((Boolean) $ "A")
"\spad{u case a} tests if \spad{u} is of branch \spad{a} of the union.")
- (((Boolean) $ "B")
+ (((Boolean) $ "B")
"\spad{u case b} tests if \spad{u} is of branch \spad{b} of the union."))
(coerce ((A $)
"\spad{coerce(u)} returns \spad{x} of type \spad{A} if \spad{x} is of branch \spad{a} of the union. Error: if \spad{u} is of branch \spad{b} of the union.")
@@ -1403,9 +1385,3 @@ digits2Names s ==
c
CONCAT(str, segment)
str
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-data.boot.pamphlet b/src/interp/br-data.boot
index bb3a1c9a..58c13a83 100644
--- a/src/interp/br-data.boot.pamphlet
+++ b/src/interp/br-data.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-data.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 '"bc-util"
)package "BOOT"
@@ -804,9 +786,3 @@ purgeLocalLibdb() == --used for debugging purposes only
obey '"rm libdb.text"
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-op1.boot.pamphlet b/src/interp/br-op1.boot
index c37a4481..3d8b4ce3 100644
--- a/src/interp/br-op1.boot.pamphlet
+++ b/src/interp/br-op1.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-op1.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 '"bc-util"
)package "BOOT"
@@ -1156,9 +1138,3 @@ evalDomainOpPred(dom,pred) == process(dom,pred) where
systemError '"unknown atomic predicate form"
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-op2.boot.pamphlet b/src/interp/br-op2.boot
index 58056718..d8a4a151 100644
--- a/src/interp/br-op2.boot.pamphlet
+++ b/src/interp/br-op2.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-op2.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 '"br-op1"
)package "BOOT"
@@ -56,24 +38,24 @@ import '"br-op1"
--====================> WAS br-op2.boot <================================
--=======================================================================
--- Operation Description
+-- Operation Description
--=======================================================================
displayDomainOp(htPage,which,origin,op,sig,predicate,
- doc,index,chooseFn,unexposed?,$generalSearch?) ==
+ doc,index,chooseFn,unexposed?,$generalSearch?) ==
-----------------------> OBSELETE
$saturn =>
displayDomainOp1(htPage,which,origin,op,sig,predicate,
- doc,index,chooseFn,unexposed?,$generalSearch?)
- $chooseDownCaseOfType : local := true --see dbGetContrivedForm
+ doc,index,chooseFn,unexposed?,$generalSearch?)
+ $chooseDownCaseOfType : local := true --see dbGetContrivedForm
$whereList : local := nil
$NumberList : local := '(i j k l m n i1 j1 k1 l1 m1 n1 i2 j2 k2 l2 m2 n2 i3 j3 k3 l3 m3 n3 i4 j4 k4 l4 m4 n4 )
$ElementList: local := '(x y z u v w x1 y1 z1 u1 v1 w1 x2 y2 z2 u2 v2 w2 x3 y3 z3 u3 v3 w3 x4 y4 z4 u4 v4 w4 )
$FunctionList:local := '(f g h d e F G H)
- $DomainList: local := '(D R S E T A B C M N P Q U V W)
+ $DomainList: local := '(D R S E T A B C M N P Q U V W)
exactlyOneOpSig := null index
conform := htpProperty(htPage,'domname) or htpProperty(htPage,'conform)
- or origin
+ or origin
if $generalSearch? then $DomainList := rest $DomainList
opform :=
which = '"attribute" =>
@@ -108,7 +90,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
constring := form2HtString conform
conname := first conform
$conkind : local := htpProperty(htPage,'kind) -- a string e.g. "category"
- or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
+ or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
$conlength : local := #constring
$conform : local := conform
$conargs : local := rest conform
@@ -134,11 +116,11 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
htSayStandard '"\tab{2}"
htSay '"{\em Arguments:}"
for a in args for t in rest $sig repeat
- htSayIndentRel(15,true)
- htSay('"{\em ",form2HtString(a),'"}, ")
- htSayValue t
- htSayIndentRel(-15,true)
- htSay('"\newline ")
+ htSayIndentRel(15,true)
+ htSay('"{\em ",form2HtString(a),'"}, ")
+ htSayValue t
+ htSayIndentRel(-15,true)
+ htSay('"\newline ")
if first $sig then
$displayReturnValue := true
htSay('"\newline\tab{2}{\em Returns:}")
@@ -169,8 +151,8 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
htSayStandard '"{\em \$} is "
htSaySaturn '"{\em \%} is "
htSay
- $conkind = '"category" => '"of category "
- '"the domain "
+ $conkind = '"category" => '"of category "
+ '"the domain "
bcConform(conform,true,true)
htSayIndentRel(-15,true)
for [d,key,:t] in $whereList | d ^= "$" repeat
@@ -221,11 +203,11 @@ htSayConstructor(key,u) ==
htSay '"categories "
bcConform(first middle,true)
for x in rest middle repeat
- htSay '", "
- bcConform(x,true)
+ htSay '", "
+ bcConform(x,true)
r is ['CATEGORY,.,:r] =>
- htSay '" and "
- htSayExplicitExports(r)
+ htSay '" and "
+ htSayExplicitExports(r)
htSay '" and "
bcConform(r,true)
htSay '"category "
@@ -270,7 +252,7 @@ htSayValue t ==
t is [op,:.] and MEMQ(op,'(Join CATEGORY)) or constructor? opOf t =>
htSayConstructor(nil,t)
htSay('"an element of domain ")
- htSayArgument t --continue for operations
+ htSayArgument t --continue for operations
htSayArgument t == --called only for operations not for constructors
null $signature => htSay ['"{\em ",t,'"}"]
@@ -321,7 +303,7 @@ dbMakeContrivedForm(op,sig,:options) ==
$NumberList : local := '(i j k l m n i1 j1 k1 l1 m1 n1 i2 j2 k2 l2 m2 n2 i3 j3 k3 l3 m3 n3 i4 j4 k4 l4 m4 n4 )
$ElementList: local := '(x y z u v w x1 y1 z1 u1 v1 w1 x2 y2 z2 u2 v2 w2 x3 y3 z3 u3 v3 w3 x4 y4 z4 u4 v4 w4 )
$FunctionList:local := '(f g h d e F G H)
- $DomainList: local := '(R S D E T A B C M N P Q U V W)
+ $DomainList: local := '(R S D E T A B C M N P Q U V W)
dbGetContrivedForm(op,sig)
dbGetContrivedForm(op,sig) ==
@@ -346,10 +328,10 @@ dbChooseOperandName(typ) ==
x
x :=
$chooseDownCaseOfType =>
- y := DOWNCASE typ
- x :=
- member(y,$ElementList) => y
- first $ElementList
+ y := DOWNCASE typ
+ x :=
+ member(y,$ElementList) => y
+ first $ElementList
first $ElementList
$ElementList := delete(x,$ElementList)
x
@@ -389,12 +371,12 @@ getSubstSignature sig ==
null rest candidates => newsig
count := NUMOFNODES newsig
for x in rest candidates repeat
- trial := fullSubstitute(D,x,sig)
- trialCount := NUMOFNODES trial
- trialCount < count =>
- newsig := trial
- count := trialCount
- winner := x
+ trial := fullSubstitute(D,x,sig)
+ trialCount := NUMOFNODES trial
+ trialCount < count =>
+ newsig := trial
+ count := trialCount
+ winner := x
newsig
addWhereList(D,'is,winner)
newsig
@@ -412,7 +394,7 @@ getSubstInsert(x,candidates) ==
--=======================================================================
--- Who Uses
+-- Who Uses
--=======================================================================
whoUsesOperation(htPage,which,key) == --see dbPresentOps
key = 'filter => koaPageFilterByName(htPage,'whoUsesOperation)
@@ -468,7 +450,7 @@ whoUses(opSigList,conform) ==
hash := MAKE_-HASH_-TABLE()
for name in allConstructors() | MEMQ(name,domList) repeat
$infovec : local := dbInfovec name
- null $infovec => 'skip --category
+ null $infovec => 'skip --category
template := $infovec . 0
found := false
opacc := nil
@@ -483,7 +465,7 @@ whoUses(opSigList,conform) ==
template . whereNumber isnt [= $conname,:.] => 'skip
signumList := dcSig(numvec,index + 1,numOfArgs)
opsig := or/[pair for (pair := [op1,:sig]) in opSigList | op1 = op and whoUsesMatch?(signumList,sig,nil)]
- => opacc := [opsig,:opacc]
+ => opacc := [opsig,:opacc]
if opacc then acc := [[name,:opacc],:acc]
acc
@@ -502,7 +484,7 @@ whoUsesMatch1?(signumList,sig,al) ==
true
--=======================================================================
--- Get Attribute/Operation Alist
+-- Get Attribute/Operation Alist
--=======================================================================
koAttrs(conform,domname) ==
@@ -535,15 +517,15 @@ koOps(conform,domname,:options) == main where
-- if relatives? then
-- relatives := relativesOf(conform,domname)
-- if domname then relatives :=
--- SUBLISLIS([domname,:rest domname],['_$,:rest conform],relatives)
+-- SUBLISLIS([domname,:rest domname],['_$,:rest conform],relatives)
-- --kill all relatives that have a sharp variable remaining in them
-- for x in relatives repeat
--- or/[y for y in CDAR x | isSharpVar y] => 'skip
--- acc := [x,:acc]
+-- or/[y for y in CDAR x | isSharpVar y] => 'skip
+-- acc := [x,:acc]
-- relatives := NREVERSE acc
-- for (pair := [pakform,:.]) in relatives repeat
--- $packageItem := sublisFormal(rest conform,pair)
--- ours := merge(fn(pakform,nil),ours)
+-- $packageItem := sublisFormal(rest conform,pair)
+-- ours := merge(fn(pakform,nil),ours)
listSort(function GLESSEQP,trim ours)
trim u == [pair for pair in u | IFCDR pair]
fn(conform,domname) ==
@@ -553,7 +535,7 @@ koOps(conform,domname,:options) == main where
----------> new <------------------
u := koCatOps(conform,domname) => u
-- 'category = GETDATABASE(conname,'CONSTRUCTORKIND) =>
--- koCatOps(conform,domname)
+-- koCatOps(conform,domname)
asharpConstructorName? opOf conform => nil
----------> new <------------------
$infovec: local := dbInfovec conname--------> removed 94/10/24
@@ -565,15 +547,15 @@ koOps(conform,domname,:options) == main where
op1 := zeroOneConvert op
acc :=
[[op1,:[[sig,npred,:exposureTail] for [sig,slot,pred,key,:.] in sublisFormal(subargs,u) |
- (key ^= 'Subsumed) and (npred := simpHasPred pred)]],:acc]
+ (key ^= 'Subsumed) and (npred := simpHasPred pred)]],:acc]
acc
merge(alist,alist1) == --alist1 takes precedence
for [op,:al] in alist1 repeat
u := LASSOC(op,alist) =>
- for [sig,:item] in al | not LASSOC(sig,u) repeat
- u := insertAlist(sig,item,u)
- alist := insertAlist(op,u,DELASC(op,alist)) --add the merge of two alists
- alist := insertAlist(op,al,alist) --add the whole inner alist
+ for [sig,:item] in al | not LASSOC(sig,u) repeat
+ u := insertAlist(sig,item,u)
+ alist := insertAlist(op,u,DELASC(op,alist)) --add the merge of two alists
+ alist := insertAlist(op,al,alist) --add the whole inner alist
alist
zeroOneConvert x ==
@@ -631,12 +613,12 @@ koCatAttrsAdd(catform,pred) ==
then HPUT($if,name,[[argl,simpHasPred npred],:exists])
--=======================================================================
--- Filter by Category
+-- Filter by Category
--=======================================================================
koaPageFilterByCategory(htPage,calledFrom) ==
opAlist := htpProperty(htPage,'opAlist)
- which := htpProperty(htPage,'which)
+ which := htpProperty(htPage,'which)
page := htInitPageNoScroll(htCopyProplist htPage,
dbHeading(opAlist,which,htpProperty(htPage,'heading)))
htSay('"Select a category ancestor below or ")
@@ -668,7 +650,7 @@ koaPageFilterByCategory1(htPage,i) ==
ancestor := (htpProperty(htPage,'ancestors)) . i
ancestorList := [ancestor,:ASSOCLEFT ancestorsOf(ancestor,nil)]
newOpAlist := nil
- which := htpProperty(htPage,'which)
+ which := htpProperty(htPage,'which)
opAlist := htpProperty(htPage,'opAlist)
domname := htpProperty(htPage,'domname)
conform := htpProperty(htPage,'conform)
@@ -677,15 +659,15 @@ koaPageFilterByCategory1(htPage,i) ==
for [op,:alist] in opAlist repeat
nalist := [[origin,:item] for item in alist | split]
where split() ==
- [sig,pred,:aux] := item
- u := dbGetDocTable(op,sig,docTable,which,aux)
- origin := IFCAR u
- doc := IFCDR u
- true
+ [sig,pred,:aux] := item
+ u := dbGetDocTable(op,sig,docTable,which,aux)
+ origin := IFCAR u
+ doc := IFCDR u
+ true
for [origin,:item] in nalist | origin repeat
member(origin,ancestorList) =>
- newEntry := [item,:LASSOC(op,newOpAlist)]
- newOpAlist := insertAlist(op,newEntry,newOpAlist)
+ newEntry := [item,:LASSOC(op,newOpAlist)]
+ newOpAlist := insertAlist(op,newEntry,newOpAlist)
falist := nil
for [op,:alist] in newOpAlist repeat
falist := [[op,:NREVERSE alist],:falist]
@@ -693,7 +675,7 @@ koaPageFilterByCategory1(htPage,i) ==
dbShowOperationsFromConform(htPage,which,falist)
--=======================================================================
--- New code for search operation alist for exact matches
+-- New code for search operation alist for exact matches
--=======================================================================
opPageFast opAlist == --called by oSearch
@@ -785,9 +767,3 @@ pairlis(u,v) ==
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-saturn.boot.pamphlet b/src/interp/br-saturn.boot
index 212411af..d674f6a0 100644
--- a/src/interp/br-saturn.boot.pamphlet
+++ b/src/interp/br-saturn.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-saturn.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 '"bc-util"
)package "BOOT"
@@ -1225,16 +1207,16 @@ htShowPageStarSaturn() ==
--------------> NEW DEFINITION (see br-op2.boot.pamphlet)
displayDomainOp(htPage,which,origin,op,sig,predicate,
- doc,index,chooseFn,unexposed?,$generalSearch?) ==
- $chooseDownCaseOfType : local := true --see dbGetContrivedForm
+ doc,index,chooseFn,unexposed?,$generalSearch?) ==
+ $chooseDownCaseOfType : local := true --see dbGetContrivedForm
$whereList : local := nil
$NumberList : local := '(i j k l m n i1 j1 k1 l1 m1 n1 i2 j2 k2 l2 m2 n2 i3 j3 k3 l3 m3 n3 i4 j4 k4 l4 m4 n4 )
$ElementList: local := '(x y z u v w x1 y1 z1 u1 v1 w1 x2 y2 z2 u2 v2 w2 x3 y3 z3 u3 v3 w3 x4 y4 z4 u4 v4 w4 )
$FunctionList:local := '(f g h d e F G H)
- $DomainList: local := '(D R S E T A B C M N P Q U V W)
+ $DomainList: local := '(D R S E T A B C M N P Q U V W)
exactlyOneOpSig := null index
conform := htpProperty(htPage,'domname) or htpProperty(htPage,'conform)
- or origin
+ or origin
if $generalSearch? then $DomainList := rest $DomainList
opform :=
which = '"attribute" =>
@@ -1272,7 +1254,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
constring := form2HtString conform
conname := first conform
$conkind : local := htpProperty(htPage,'kind) -- a string e.g. "category"
- or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
+ or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
$conlength : local := #constring
$conform : local := conform
$conargs : local := rest conform
@@ -1317,7 +1299,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
coSig := KDR coSig
htSayValue t
htSayIndentRel(-15,true)
- htSayStandard('"\newline ")
+ htSayStandard('"\newline ")
htSaySaturn '"\\"
if first $sig then
$displayReturnValue := true
@@ -1367,8 +1349,8 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
htSayStandard '"{\em \$} is "
htSaySaturn '"{\em \%} is "
htSay
- $conkind = '"category" => '"of category "
- '"the domain "
+ $conkind = '"category" => '"of category "
+ '"the domain "
bcConform(conform,true,true)
firstTime := false
htSayIndentRel(-15,true)
@@ -1911,9 +1893,3 @@ purgeLocalLibdb() == --called by the user through a clear command?
-- TERSYSCOMMAND()
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-search.boot.pamphlet b/src/interp/br-search.boot
index 22650a14..55d449e5 100644
--- a/src/interp/br-search.boot.pamphlet
+++ b/src/interp/br-search.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-search.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 '"bc-util"
)package "BOOT"
@@ -512,7 +494,7 @@ genSearchSay(pair,summarize,kind,who,fn) ==
htSay('"{\em 1 ",kind,'"} ")
else
htSay('"{\em ",count,'" ",pluralize kind,'"} ")
- short => 'done
+ short => 'done
if uniqueCount ^= 1 then
htSayStandard '"\indent{4}"
htSay '"\newline "
@@ -1036,9 +1018,3 @@ dbUnpatchLines lines == --concatenate long lines together, skip blank lines
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-util.boot.pamphlet b/src/interp/br-util.boot
index 9b31f2b5..7fa3fd8f 100644
--- a/src/interp/br-util.boot.pamphlet
+++ b/src/interp/br-util.boot
@@ -1,22 +1,7 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-util.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 '"bc-util"
)package "BOOT"
@@ -56,7 +38,7 @@ import '"bc-util"
--====================> WAS b-util.boot <================================
--=======================================================================
--- AXIOM Browser
+-- AXIOM Browser
-- Initial entry is from man0.ht page to one of these functions:
-- kSearch (cSearch, dSearch, or pSearch), for constructors
-- oSearch, for operations
@@ -70,27 +52,27 @@ browserAutoloadOnceTrigger() == nil
----------------------> Global Variables <-----------------------
$includeUnexposed? := true --default setting
-$tick := char '_` --field separator for database files
+$tick := char '_` --field separator for database files
$charUnderscore := ('__) --needed because of parser bug
$wild1 := '"[^`]*" --phrase used to convert keys to grep strings
$browseCountThreshold := 10 --the maximum number of names that will display
- --on a general search
+ --on a general search
$opDescriptionThreshold := 4 --if <= 4 operations with unique name, give desc
--otherwise, give signatures
$browseMixedCase := true --distinquish case in the browser?
-$docTable := nil --cache for documentation table
-$conArgstrings := nil --bound by conPage so that kPage
- --will display arguments if given
-$conformsAreDomains := false --are all arguments of a constructor given?
+$docTable := nil --cache for documentation table
+$conArgstrings := nil --bound by conPage so that kPage
+ --will display arguments if given
+$conformsAreDomains := false --are all arguments of a constructor given?
$returnNowhereFromGoGet := false --special branch out for goget for browser
-$dbDataFunctionAlist := nil --set by dbGatherData
-$domain := nil --bound in koOps
-$infovec := nil --bound in koOps
-$predvec := nil --bound in koOps
+$dbDataFunctionAlist := nil --set by dbGatherData
+$domain := nil --bound in koOps
+$infovec := nil --bound in koOps
+$predvec := nil --bound in koOps
$exposedOnlyIfTrue := nil --see repeatSearch, dbShowOps, dbShowCon
-$bcMultipleNames := nil --see bcNameConTable
+$bcMultipleNames := nil --see bcNameConTable
$bcConformBincount := nil --see bcConform1
-$docTableHash := MAKE_-HASHTABLE 'EQUAL --see dbExpandOpAlistIfNecessary
+$docTableHash := MAKE_-HASHTABLE 'EQUAL --see dbExpandOpAlistIfNecessary
$groupChoice := nil --see dbShowOperationsFromConform
------------------> Initial Settings <---------------------
@@ -100,14 +82,14 @@ $dbKindAlist :=
[char 'd,:'"domain"],[char 'p,:'"package"],
[char 'c,:'"category"],[char 'x,:'"default_ package"]]
$OpViewTable := '(
- (names "Name" "Names" dbShowOpNames)
+ (names "Name" "Names" dbShowOpNames)
(documentation "Name" "Names" dbShowOpDocumentation)
- (domains "Domain" "Domains" dbShowOpDomains)
- (signatures "Signature" "Signatures" dbShowOpSignatures)
- (parameters "Form" "Forms" dbShowOpParameters)
- (origins "Origin" "Origins" dbShowOpOrigins)
- (implementation nil "Implementation Domains" dbShowOpImplementations)
- (conditions "Condition" "Conditions" dbShowOpConditions))
+ (domains "Domain" "Domains" dbShowOpDomains)
+ (signatures "Signature" "Signatures" dbShowOpSignatures)
+ (parameters "Form" "Forms" dbShowOpParameters)
+ (origins "Origin" "Origins" dbShowOpOrigins)
+ (implementation nil "Implementation Domains" dbShowOpImplementations)
+ (conditions "Condition" "Conditions" dbShowOpConditions))
bcBlankLine() == bcHt '"\vspace{1}\newline "
@@ -128,7 +110,7 @@ capitalize s ==
SETELT(res,0,UPCASE res.0)
res
-escapeSpecialIds u == --very expensive function
+escapeSpecialIds u == --very expensive function
x := LASSOC(u,$htCharAlist) => [x]
#u = 1 =>
member(u, $htSpecialChars) => [CONCAT('"_\", u)]
@@ -158,37 +140,37 @@ htPred2English(x,:options) ==
fn(x,100) where
fn(x,prec) ==
x is [op,:l] =>
- LASSOC(op,$precList) is [iprec,:rename] =>
- if iprec > prec then htSay '"("
- fn(first l,iprec)
- for y in rest l repeat
- htSay('" ",rename or op,'" ")
- fn(y,iprec)
- if iprec > prec then htSay '")"
- if prec < 5 then htSay '"("
- gn(x,op,l,prec)
- if prec < 5 then htSay '")"
+ LASSOC(op,$precList) is [iprec,:rename] =>
+ if iprec > prec then htSay '"("
+ fn(first l,iprec)
+ for y in rest l repeat
+ htSay('" ",rename or op,'" ")
+ fn(y,iprec)
+ if iprec > prec then htSay '")"
+ if prec < 5 then htSay '"("
+ gn(x,op,l,prec)
+ if prec < 5 then htSay '")"
x = 'etc => htSay '"..."
IDENTP x and not MEMQ(x,$emList) => htSay escapeSpecialIds PNAME x
htSay form2HtString(x,$emList)
gn(x,op,l,prec) ==
MEMQ(op,'(NOT not)) =>
- htSay('"not ")
- fn(first l,0)
+ htSay('"not ")
+ fn(first l,0)
op = 'HasCategory =>
- bcConform(first l,$emList)
- htSay('" has ")
- bcConform(CADADR l,$emList)
+ bcConform(first l,$emList)
+ htSay('" has ")
+ bcConform(CADADR l,$emList)
op = 'HasAttribute =>
- bcConform(first l,$emList)
- htSay('" has ")
- fnAttr CADADR l
+ bcConform(first l,$emList)
+ htSay('" has ")
+ fnAttr CADADR l
MEMQ(op,'(has ofCategory)) =>
- bcConform(first l,$emList)
- htSay('" has ")
- [a,b] := l
- b is ['ATTRIBUTE,c] and not constructor? c => fnAttr c
- bcConform(b, $emList)
+ bcConform(first l,$emList)
+ htSay('" has ")
+ [a,b] := l
+ b is ['ATTRIBUTE,c] and not constructor? c => fnAttr c
+ bcConform(b, $emList)
bcConform(x,$emList)
fnAttr c ==
s := form2HtString c
@@ -221,11 +203,11 @@ form2HtString(x,:options) ==
fn(x) where
fn x ==
atom x =>
- MEMQ(x,$FormalMapVariableList) => STRCONC('"\",STRINGIMAGE x)
- u := escapeSpecialChars STRINGIMAGE x
- MEMQ(x,$emList) => STRCONC('"{\em ",u,'"}")
- STRINGP x => STRCONC('"_"",u,'"_"")
- u
+ MEMQ(x,$FormalMapVariableList) => STRCONC('"\",STRINGIMAGE x)
+ u := escapeSpecialChars STRINGIMAGE x
+ MEMQ(x,$emList) => STRCONC('"{\em ",u,'"}")
+ STRINGP x => STRCONC('"_"",u,'"_"")
+ u
first x = 'QUOTE => STRCONC('"'",sexpr2HtString first rest x)
first x = ":" => STRCONC(fn first rest x,'": ",fn first rest rest x)
first x = 'Mapping =>
@@ -290,7 +272,7 @@ dbConstructorKind x ==
'domain
getConstructorForm name ==
- name = 'Union => '(Union (_: a A) (_: b B))
+ name = 'Union => '(Union (_: a A) (_: b B))
name = 'UntaggedUnion => '(Union A B)
name = 'Record => '(Record (_: a A) (_: b B))
name = 'Mapping => '(Mapping T S)
@@ -494,8 +476,8 @@ bcConTable u ==
bcAbbTable u ==
htBeginTable()
firstTime := true
- for x in REMDUP u repeat --allow x to be NIL meaning "no abbreviation"
- -- for x in u repeat --allow x to be NIL meaning "no abbreviation"
+ for x in REMDUP u repeat --allow x to be NIL meaning "no abbreviation"
+ -- for x in u repeat --allow x to be NIL meaning "no abbreviation"
if firstTime then firstTime := false
else htSaySaturn '"&"
if x is [con,abb,:.] then
@@ -543,7 +525,7 @@ splitConTable cons ==
uncond := cond := nil
for (pair := [con,:pred]) in cons repeat
null pred => 'skip
- pred = 'T or pred is ['hasArgs,:.] => uncond := [pair,:uncond]
+ pred = 'T or pred is ['hasArgs,:.] => uncond := [pair,:uncond]
cond := [pair,:cond]
[NREVERSE uncond,:NREVERSE cond]
@@ -633,7 +615,7 @@ dbGetInputString htPage ==
--=======================================================================
--- Error Pages
+-- Error Pages
--=======================================================================
bcErrorPage u ==
u is ['error,:r] =>
@@ -646,7 +628,7 @@ bcErrorPage u ==
errorPage(htPage,[heading,kind,:info]) ==
kind = 'invalidType => kInvalidTypePage first info
if heading = 'error then htInitPage('"Error",nil) else
- htInitPage(heading,nil)
+ htInitPage(heading,nil)
bcBlankLine()
for x in info repeat htSay x
htShowPage()
@@ -688,7 +670,7 @@ dbNotAvailablePage(:options) ==
htShowPage()
--=======================================================================
--- Utility Functions for Manipulating Browse Datalines
+-- Utility Functions for Manipulating Browse Datalines
--=======================================================================
dbpHasDefaultCategory? s == #s > 1 and s.1 = char 'x --s is part 3 of line
@@ -734,9 +716,3 @@ mySort u == listSort(function GLESSEQP,u)
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}