aboutsummaryrefslogtreecommitdiff
path: root/src/interp/br-util.boot.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-09-20 14:50:49 +0000
committerdos-reis <gdr@axiomatics.org>2007-09-20 14:50:49 +0000
commit0850ca5458cb09b2d04cec162558500e9a05cf4a (patch)
treeaa76b50f08c662dab9a49b6ee9f0dc7318139ea1 /src/interp/br-util.boot.pamphlet
parent6f8caa148526efc14239febdc12f91165389a8ea (diff)
downloadopen-axiom-0850ca5458cb09b2d04cec162558500e9a05cf4a.tar.gz
Revert commits to the wrong tree.
Diffstat (limited to 'src/interp/br-util.boot.pamphlet')
-rw-r--r--src/interp/br-util.boot.pamphlet738
1 files changed, 738 insertions, 0 deletions
diff --git a/src/interp/br-util.boot.pamphlet b/src/interp/br-util.boot.pamphlet
new file mode 100644
index 00000000..d157054d
--- /dev/null
+++ b/src/interp/br-util.boot.pamphlet
@@ -0,0 +1,738 @@
+\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.
+--
+-- 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>>
+
+--====================> WAS b-util.boot <================================
+
+--=======================================================================
+-- AXIOM Browser
+-- Initial entry is from man0.ht page to one of these functions:
+-- kSearch (cSearch, dSearch, or pSearch), for constructors
+-- oSearch, for operations
+-- aSearch, for attributes
+-- aokSearch, for general search
+-- docSearch, for documentation search
+-- genSearch, for complete search
+--=======================================================================
+
+browserAutoloadOnceTrigger() == nil
+
+----------------------> Global Variables <-----------------------
+$includeUnexposed? := true --default setting
+$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
+$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?
+$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
+$exposedOnlyIfTrue := nil --see repeatSearch, dbShowOps, dbShowCon
+$bcMultipleNames := nil --see bcNameConTable
+$bcConformBincount := nil --see bcConform1
+$docTableHash := MAKE_-HASHTABLE 'EQUAL --see dbExpandOpAlistIfNecessary
+$groupChoice := nil --see dbShowOperationsFromConform
+
+------------------> Initial Settings <---------------------
+$pmFilterDelimiters := [char '_(,char '_),char '_ ]
+$dbKindAlist :=
+ [[char 'a,:'"attribute"],[char 'o,:'"operation"],
+ [char 'd,:'"domain"],[char 'p,:'"package"],
+ [char 'c,:'"category"],[char 'x,:'"default_ package"]]
+$OpViewTable := '(
+ (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))
+
+bcBlankLine() == bcHt '"\vspace{1}\newline "
+
+pluralize k ==
+ k = '"child" => '"children"
+ k = '"category" => '"categories"
+ k = '"entry" => '"entries"
+ STRCONC(k,'"s")
+
+capitalize s ==
+ LASSOC(s,'(
+ ("domain" . "Domain")
+ ("category" . "Category")
+ ("package" . "Package")
+ ("default package" . "Default Package"))) or
+ res := COPY_-SEQ s
+ SETELT(res,0,UPCASE res.0)
+ res
+
+escapeSpecialIds u == --very expensive function
+ x := LASSOC(u,$htCharAlist) => [x]
+ #u = 1 =>
+ member(u, $htSpecialChars) => [CONCAT('"_\", u)]
+ [u]
+ c := char u.0
+ or/[c = char y for y in $htSpecialChars] =>
+ [CONCAT('"_\",u)]
+ [u]
+
+escapeString com == --this makes changes on single comment lines
+-- was htexCom
+ look := 0
+ while look repeat
+ look >= SIZE com => look := []
+
+
+ look := STRPOSL ('"${}#%", com, look, [])
+ if look then
+ com := RPLACSTR (com,look,0,'"\") --note RPLACSTR copies!!!
+ look := look + 2
+ com
+
+htPred2English(x,:options) ==
+ $emList :local := IFCAR options --list of identifiers to be emphasised
+ $precList: local := '((OR 10 . "or") (AND 9 . "and")
+ (_< 5) (_<_= 5) (_> 5) (_>_= 5) (_= 5) (_^_= 5) (or 10) (and 9))
+ 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 '")"
+ 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)
+ op = 'HasCategory =>
+ bcConform(first l,$emList)
+ htSay('" has ")
+ bcConform(CADADR l,$emList)
+ op = 'HasAttribute =>
+ 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(x,$emList)
+ fnAttr c ==
+ s := form2HtString c
+ member(s,$emList) => htSay('"{\em ",s,'"}")
+ satDownLink(s, ['"(|aPage| '|",s,'"|)"])
+
+unMkEvalable u ==
+ u is ['QUOTE,a] => a
+ u is ['LIST,:r] => [unMkEvalable x for x in r]
+ u
+
+lisp2HT u == ['"_'",:fn u] where fn u ==
+ IDENTP u => escapeSpecialIds PNAME u
+ STRINGP u => escapeString u
+ ATOM u => systemError()
+ ['"_(",:"append"/[fn x for x in u],'")"]
+
+args2HtString(x,:options) ==
+ null x => '""
+ emList := IFCAR options
+ SUBSTRING(form2HtString(['f,:x],emList),1,nil)
+
+quickForm2HtString(x) ==
+ atom x => STRINGIMAGE x
+ form2HtString x
+
+form2HtString(x,:options) ==
+ $emList:local := IFCAR options --list of atoms to be emphasized
+ $brief: local := IFCAR IFCDR options --see dbShowOperationsFromConform (lib11)
+ 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
+ first x = 'QUOTE => STRCONC('"'",sexpr2HtString first rest x)
+ first x = ":" => STRCONC(fn first rest x,'": ",fn first rest rest x)
+ first x = 'Mapping =>
+ STRCONC(fnTail(rest rest x,'"()"),'"->",fn first rest x)
+ first x = 'construct => fnTail(rest x,'"[]")
+ tail := fnTail(rest x,'"()")
+ head := fn first x
+-- $brief and #head + #tail > 35 => STRCONC(head,'"(...)")
+ STRCONC(head,tail)
+ fnTail(x,str) ==
+ null x => '""
+ STRCONC(str . 0,fn first x,fnTailTail rest x,str . 1)
+ fnTailTail x ==
+ null x => '""
+ STRCONC('",",fn first x,fnTailTail rest x)
+
+sexpr2HtString x ==
+ atom x => form2HtString x
+ STRCONC('"(",fn x,'")") where fn x ==
+ r := rest x
+ suffix :=
+ null r => '""
+ atom r => STRCONC('" . ",form2HtString rest x)
+ STRCONC('" ",fn r)
+ STRCONC(sexpr2HtString first x,suffix)
+
+form2LispString(x) ==
+ atom x =>
+ x = '_$ => '"__$"
+ MEMQ(x,$FormalMapVariableList) => STRCONC(STRINGIMAGE '__, STRINGIMAGE x)
+ STRINGP x => STRCONC('"_"",STRINGIMAGE x,'"_"")
+ STRINGIMAGE x
+ x is ['QUOTE,a] => STRCONC('"'",sexpr2LispString a)
+ x is [":",a,b] => STRCONC(form2LispString a,'":",form2LispString b)
+ first x = 'Mapping =>
+ null rest (r := rest x) => STRCONC('"()->",form2LispString first r)
+ STRCONC(args2LispString rest r,'"->",form2LispString first r)
+ STRCONC(form2LispString first x,args2LispString rest x)
+
+sexpr2LispString x ==
+ atom x => form2LispString x
+ STRCONC('"(",fn x,'")") where fn x ==
+ r := rest x
+ suffix :=
+ null r => '""
+ atom r => STRCONC('" . ",form2LispString rest x)
+ STRCONC('" ",fn r)
+ STRCONC(sexpr2HtString first x,suffix)
+
+args2LispString x ==
+ null x => '""
+ STRCONC('"(",form2LispString first x,fnTailTail rest x,'")") where
+ fnTailTail x ==
+ null x => '""
+ STRCONC('",",form2LispString first x,fnTailTail rest x)
+
+dbConstructorKind x ==
+ target := CADAR GETDATABASE(x,'CONSTRUCTORMODEMAP)
+ target = '(Category) => 'category
+ target is ['CATEGORY,'package,:.] => 'package
+ HGET($defaultPackageNamesHT,x) => 'default_ package
+ 'domain
+
+getConstructorForm name ==
+ name = 'Union => '(Union (_: a A) (_: b B))
+ name = 'UntaggedUnion => '(Union A B)
+ name = 'Record => '(Record (_: a A) (_: b B))
+ name = 'Mapping => '(Mapping T S)
+ name = 'Enumeration => '(Enumeration a b)
+ GETDATABASE(name,'CONSTRUCTORFORM)
+
+getConstructorArgs conname == CDR getConstructorForm conname
+
+htSay(x,:options) ==
+--if x = $charEscape then x := $charNewline else
+--if x = $stringEscape then x := $stringNewline
+ bcHt x
+ for y in options repeat bcHt y
+
+bcComments(comments,:options) ==
+ italics? := not IFCAR options
+ STRINGP comments =>
+ comments = '"" => nil
+ htSay('"\newline ")
+ if italics? then htSay '"{\em "
+ htSay comments
+ if italics? then htSay '"}"
+ null comments => nil
+ htSay('"\newline ")
+ if italics? then htSay "{\em "
+ htSay first comments
+ for x in rest comments repeat htSay('" ",x)
+ if italics? then htSay '"}"
+
+bcConform(form,:options) ==
+ $italics? : local := IFCAR options
+ $italicHead? : local := IFCAR IFCDR options
+ bcConform1 form
+
+bcConform1 form == main where
+-----------------> OBSELETE
+ main ==
+ form is ['ifp,form1,:pred] =>
+ hd form1
+ bcPred pred
+ hd form
+ hd form ==
+ atom form =>
+ not MEMQ(form,'(Mapping Union Record)) and null constructor? form =>
+ s := STRINGIMAGE form
+ (s.0 = char '_#) and (n := POSN1(form, $FormalFunctionParameterList)) =>
+ htSay form2HtString ($FormalMapVariableList . n)
+ htSay form
+ s := STRINGIMAGE form
+ $italicHead? => htSayItalics s
+ $bcMultipleNames =>
+ satTypeDownLink(s, ['"(|conPageChoose| '|",s,'"|)"])
+ satTypeDownLink(s, ["(|conPage| '|",s,'"|)"])
+ (head := QCAR form) = 'QUOTE =>
+ htSay('"'")
+ hd CADR form
+ head = 'SIGNATURE =>
+ htSay(CADR form,'": ")
+ mapping CADDR form
+ head = 'Mapping and rest form => rest form => mapping rest form
+ head = ":" =>
+ hd CADR form
+ htSay '": "
+ hd CADDR form
+ QCDR form and dbEvalableConstructor? form
+ => bcConstructor(form,head)
+ hd head
+ null (r := QCDR form) => nil
+ tl QCDR form
+ mapping [target,:source] ==
+ tuple source
+ bcHt
+ $saturn => '" {\ttrarrow} "
+ '" -> "
+ hd target
+ tuple u ==
+ null u => bcHt '"()"
+ null rest u => hd u
+ bcHt '"("
+ hd first u
+ for x in rest u repeat
+ bcHt '","
+ hd x
+ bcHt '")"
+ tl u ==
+ bcHt '"("
+ firstTime := true
+ for x in u repeat
+ if not firstTime then bcHt '","
+ firstTime := false
+ hd x
+ bcHt '")"
+ say x ==
+ if $italics? then bcHt '"{\em "
+ if x = 'etc then x := '"..."
+ bcHt escapeSpecialIds STRINGIMAGE x
+ if $italics? then bcHt '"}"
+
+bcConstructor(form is [op,:arglist],cname) == --called only when $conformsAreDomains
+ htSayList dbConformGen form
+
+htSayList u ==
+ for x in u repeat htSay x
+
+conform2HtString form ==
+ for u in form2String form repeat
+ htSay u
+
+dbEvalableConstructor? form ==
+--form is constructor form; either
+--(a) all arguments are specified or (b) none are specified
+ form is [op,:argl] =>
+ null argl => true
+ op = 'QUOTE => 'T --is a domain valued object
+ and/[dbEvalableConstructor? x for x in argl]
+ INTEGERP form => true
+ false
+
+htSayItalics s == htSay('"{\em ",s,'"}")
+
+bcCon(name,:options) ==
+ argString := IFCAR options or '""
+ s := STRINGIMAGE name
+ bcStar name
+ htSayConstructorName(s,s)
+ htSay argString
+
+bcAbb(name,abb) ==
+ s := STRINGIMAGE name
+ a := STRINGIMAGE abb
+ bcStar name
+ htSayConstructorName(a,s)
+
+bcStar name ==
+ if $includeUnexposed? and not isExposedConstructor name then htSayUnexposed()
+
+bcStarSpace name ==
+ null $includeUnexposed? => nil
+ not isExposedConstructor name => htSayUnexposed()
+ htBlank()
+
+bcStarSpaceOp(op,exposed?) ==
+ null $includeUnexposed? => nil
+ not exposed? =>
+ htSayUnexposed()
+ if op.0 = char '_* then htSay '" "
+ htBlank()
+
+bcStarConform form ==
+ bcStar opOf form
+ bcConform form
+
+dbSourceFile name ==
+ u:= GETDATABASE(name,'SOURCEFILE)
+ null u => '""
+ n := PATHNAME_-NAME u
+ t := PATHNAME_-TYPE u
+ STRCONC(n,'".",t)
+
+asharpConstructorName? name ==
+ u:= GETDATABASE(name,'SOURCEFILE)
+ u and PATHNAME_-TYPE u = '"as"
+
+asharpConstructors() ==
+ [x for x in allConstructors() | not asharpConstructorName? x]
+
+extractFileNameFromPath s == fn(s,0,#s) where
+ fn(s,i,m) ==
+ k := charPosition(char '_/,s,i)
+ k = m => SUBSTRING(s,i,nil)
+ fn(s,k + 1,m)
+
+bcOpTable(u,fn) ==
+ htBeginTable()
+ firstTime := true
+ for op in u for i in 0.. repeat
+ if firstTime then firstTime := false
+ else htSaySaturn '"&"
+ htSay '"{"
+ htMakePage [['bcLinks,[escapeSpecialChars STRINGIMAGE opOf op,'"",fn,i]]]
+ htSay '"}"
+ htEndTable()
+
+bcNameConTable u ==
+ $bcMultipleNames: local := (#u ^= 1)
+ bcConTable REMDUP u
+ -- bcConTable u
+
+bcConTable u ==
+ htBeginTable()
+ firstTime := true
+ for con in u repeat
+ if firstTime then firstTime := false
+ else htSaySaturn '"&"
+ htSay '"{"
+ bcStarSpace opOf con
+ bcConform con
+ htSay '"}"
+ htEndTable()
+
+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"
+ if firstTime then firstTime := false
+ else htSaySaturn '"&"
+ if x is [con,abb,:.] then
+ htSay '"{"
+ bcAbb(con,abb)
+ htSay '"}"
+ htEndTable()
+
+bcConPredTable(u,conname,:options) ==
+ italicList := IFCAR options
+ htBeginTable()
+ firstTime := true
+ for [conform,:pred] in u repeat
+ if firstTime then firstTime := false
+ else htSaySaturn '"&"
+ htSay '"{"
+ bcStarSpace opOf conform
+ form :=
+ atom conform => getConstructorForm conform
+ conform
+ bcConform(form,italicList)
+ if extractHasArgs pred is [arglist,:pred] then
+ htSay('" {\em of} ")
+ bcConform([conname,:arglist],italicList,true)
+ if pred ^= 'etc then bcPred(pred,italicList)
+ htSay '"}"
+ htEndTable()
+
+bcPred(pred,:options) ==
+ pred = '"" or pred = true or null pred => 'skip
+ italicList := IFCAR options
+ if not IFCAR IFCDR options then htSay '" {\em if} "
+ htPred2English(pred,italicList)
+
+extractHasArgs pred ==
+ x := find pred or return nil where find x ==
+ x is [op,:argl] =>
+ op = 'hasArgs => x
+ MEMQ(op,'(AND OR NOT)) => or/[find y for y in argl]
+ nil
+ nil
+ [rest x,:simpBool SUBST('T,x,pred)]
+
+splitConTable cons ==
+ uncond := cond := nil
+ for (pair := [con,:pred]) in cons repeat
+ null pred => 'skip
+ pred = 'T or pred is ['hasArgs,:.] => uncond := [pair,:uncond]
+ cond := [pair,:cond]
+ [NREVERSE uncond,:NREVERSE cond]
+
+bcNameTable(u,fn,:option) == --option if * prefix
+ htSay '"\newline"
+ htBeginTable()
+ firstTime := true
+ for x in u repeat
+ if firstTime then firstTime := false
+ else htSaySaturn '"&"
+ htSay '"{"
+ if IFCAR option then bcStar x
+ htMakePage [['bcLinks,[s := escapeSpecialChars STRINGIMAGE x,'"",fn,s]]]
+ htSay '"}"
+ htEndTable()
+
+bcNameCountTable(u,fn,gn,:options) ==
+ linkFunction :=
+ IFCAR options => 'bcLispLinks
+ 'bcLinks
+ htSay '"\newline"
+ htBeginTable()
+ firstTime := true
+ for i in 0.. for x in u repeat
+ if firstTime then firstTime := false
+ else htSaySaturn '"&"
+ htSay '"{"
+ htMakePage [[linkFunction,[FUNCALL(fn,x),'"",gn,i]]]
+ htSay '"}"
+ htEndTable()
+
+dbSayItemsItalics(:u) ==
+ htSay '"{\em "
+ APPLY(function dbSayItems,u)
+ htSay '"}"
+
+dbSayItems(countOrPrefix,singular,plural,:options) ==
+ bcHt '"\newline "
+ count :=
+ countOrPrefix is [:prefix,c] =>
+ htSay prefix
+ c
+ countOrPrefix
+ if count = 0 then htSay('"No ",singular)
+ else if count = 1 then htSay('"1 ",singular)
+ else htSay(count,'" ",plural)
+ for x in options repeat bcHt x
+ if count ^= 0 then bcHt '":"
+
+dbBasicConstructor? conname == member(dbSourceFile conname,'("catdef" "coerce"))
+
+nothingFoundPage(:options) ==
+ htInitPage('"Sorry, no match found",nil)
+ htShowPage()
+
+htCopyProplist htPage == [[x,:y] for [x,:y] in htpPropertyList htPage]
+
+dbInfovec name ==
+ 'category = GETDATABASE(name,'CONSTRUCTORKIND) => nil
+ GETDATABASE(name, 'ASHARP?) => nil
+ loadLibIfNotLoaded(name)
+ u := GETL(name,'infovec) => u
+
+emptySearchPage(kind,filter,:options) ==
+ skipNamePart := IFCAR options
+ heading := ['"No ",capitalize kind,'" Found"]
+ htInitPage(heading,nil)
+ exposePart :=
+ null $includeUnexposed? => '"{\em exposed} "
+ '""
+ htSay('"\vspace{1}\newline\centerline{There is no ",exposePart,kind,'" matching pattern}\newline\centerline{{\em ")
+ if filter then htPred2English filter
+ htSay '"}}"
+ htShowPage()
+
+isLoaded? conform == GETL(constructor? opOf conform,'LOADED)
+
+string2Integer s ==
+ and/[DIGIT_-CHAR_-P (s.i) for i in 0..MAXINDEX s] => PARSE_-INTEGER s
+ nil
+
+dbGetInputString htPage ==
+ s := htpLabelInputString(htPage,'filter)
+ null s or s = '"" => '"*"
+ s
+
+
+
+--=======================================================================
+-- Error Pages
+--=======================================================================
+bcErrorPage u ==
+ u is ['error,:r] =>
+ htInitPage(first r,nil)
+ bcBlankLine()
+ for x in rest r repeat htSay x
+ htShowPage()
+ systemError '"Unexpected error message"
+
+errorPage(htPage,[heading,kind,:info]) ==
+ kind = 'invalidType => kInvalidTypePage first info
+ if heading = 'error then htInitPage('"Error",nil) else
+ htInitPage(heading,nil)
+ bcBlankLine()
+ for x in info repeat htSay x
+ htShowPage()
+
+htErrorStar() ==
+ errorPage(nil,['"{\em *} not a valid search string",nil,'"\vspace{3}\centerline{{\em *} is not a valid search string for a general search}\centerline{\em {it would match everything!}}"])
+
+htQueryPage(htPage,heading,message,query,fn) ==
+ htInitPage(heading,nil)
+ htSay message
+ htQuery(query,fn)
+ htShowPage()
+
+htQuery(question,fn,:options) ==
+ upLink? := IFCAR options
+ if question then
+ htSay('"\vspace{1}\centerline{")
+ htSay question
+ htSay('"}")
+ htSay('"\centerline{")
+ htMakePage [['bcLispLinks,['"\fbox{Yes}",'"",fn,'yes]]]
+ htBlank 4
+ if upLink?
+ then htSay('"\downlink{\fbox{No}}{UpPage}")
+ else htMakePage [['bcLispLinks,['"\fbox{No}",'"",fn,'no]]]
+ htSay('"}")
+
+kInvalidTypePage form ==
+ htInitPage('"Error",nil)
+ bcBlankLine()
+ htSay('"\centerline{You gave an invalid type:}\newline\centerline{{\sf ")
+ htSay(form2HtString form,'"}}")
+ htShowPage()
+
+dbNotAvailablePage(:options) ==
+ htInitPage('"Missing Page",nil)
+ bcBlankLine()
+ htSay(IFCAR options or '"\centerline{This page is not available yet}")
+ htShowPage()
+
+--=======================================================================
+-- Utility Functions for Manipulating Browse Datalines
+--=======================================================================
+dbpHasDefaultCategory? s == #s > 1 and s.1 = char 'x --s is part 3 of line
+
+dbKind line == line.0
+
+dbKindString kind == LASSOC(kind,$dbKindAlist)
+
+dbName line == escapeString SUBSTRING(line,1,charPosition($tick,line,1) - 1)
+
+dbAttr line == STRCONC(dbName line,escapeString dbPart(line,4,0))
+
+dbPart(line,n,k) == --returns part n of line (n=1,..) beginning in column k
+ n = 1 => SUBSTRING(line,k + 1,charPosition($tick,line,k + 1) - k - 1)
+ dbPart(line,n - 1,charPosition($tick,line,k + 1))
+
+dbXParts(line,n,m) ==
+ [.,nargs,:r] := dbParts(line,n,m)
+ [dbKindString line.0,dbName line,PARSE_-INTEGER nargs,:r]
+
+dbParts(line,n,m) == --split line into n parts beginning in column m
+ n = 0 => nil
+ [SUBSTRING(line,m,-m + (k := charPosition($tick,line,m))),
+ :dbParts(line,n - 1,k + 1)]
+
+dbConname(line) == dbPart(line,5,1)
+
+dbComments line == dbReadComments(string2Integer dbPart(line,7,1))
+
+dbNewConname(line) == --dbName line unless kind is 'a or 'o => name in 5th pos.
+ (kind := line.0) = char 'a or kind = char 'o =>
+ conform := dbPart(line,5,1)
+ k := charPosition(char '_(,conform,1)
+ SUBSTRING(conform,1,k - 1)
+ dbName line
+
+dbTickIndex(line,n,k) == --returns index of nth tick in line starting at k
+ n = 1 => charPosition($tick,line,k)
+ dbTickIndex(line,n - 1,1 + charPosition($tick,line,k))
+
+mySort u == listSort(function GLESSEQP,u)
+
+
+
+
+
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}