From abb39687b93318d9bbbc594a7907e4a6e8e5bc23 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 5 Nov 2007 02:03:38 +0000 Subject: remove more pamphlets --- src/interp/msgdb.boot.pamphlet | 1079 ---------------------------------------- 1 file changed, 1079 deletions(-) delete mode 100644 src/interp/msgdb.boot.pamphlet (limited to 'src/interp/msgdb.boot.pamphlet') diff --git a/src/interp/msgdb.boot.pamphlet b/src/interp/msgdb.boot.pamphlet deleted file mode 100644 index 842d9e82..00000000 --- a/src/interp/msgdb.boot.pamphlet +++ /dev/null @@ -1,1079 +0,0 @@ -\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} -<>= --- 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. - -@ -<<*>>= -<> - -import '"g-util" -)package "BOOT" - ---% Message Database Code and Message Utility Functions - -$msgDatabase := NIL -$cacheMessages := 'T -- for debugging purposes -$msgAlist := NIL -$msgDatabaseName := NIL -$testingErrorPrefix := '"Daly Bug" - -$texFormatting := false - ---% Accessing the Database - -string2Words l == - i := 0 - [w while wordFrom(l,i) is [w,i]] - -wordFrom(l,i) == - maxIndex := MAXINDEX l - k := or/[j for j in i..maxIndex | l.j ^= char ('_ ) ] or return nil - buf := '"" - while k < maxIndex and (c := l.k) ^= char ('_ ) repeat - ch := - c = char '__ => l.(k := 1+k) --this may exceed bounds - c - buf := STRCONC(buf,ch) - k := k + 1 - if k = maxIndex and (c := l.k) ^= char ('_ ) then buf := STRCONC(buf,c) - [buf,k+1] - -getKeyedMsg key == fetchKeyedMsg(key,false) - ---% Formatting and Printing Keyed Messages - -segmentKeyedMsg(msg) == string2Words msg - -segmentedMsgPreprocess x == - ATOM x => x - [head,:tail] := x - center := rightJust := NIL - if head in '(%ceon "%ceon") then center := true - if head in '(%rjon "%rjon") then rightJust := true - center or rightJust => - -- start collecting terms - y := NIL - ok := true - while tail and ok repeat - [t,:tail] := tail - t in '(%ceoff "%ceoff" %rjoff "%rjoff") => ok := NIL - y := CONS(segmentedMsgPreprocess t,y) - head1 := [(center => '"%ce"; '"%rj"),:NREVERSE y] - NULL tail => [head1] - [head1,:segmentedMsgPreprocess tail] - head1 := segmentedMsgPreprocess head - tail1 := segmentedMsgPreprocess tail - EQ(head,head1) and EQ(tail,tail1) => x - [head1,:tail1] - -removeAttributes msg == - --takes a segmented message and returns it with the attributes - --separted. - first msg ^= '"%atbeg" => - [msg,NIL] - attList := [] - until item = '"%atend" repeat - msg := rest msg - item := first msg - attList := [INTERN item,:attList] - msg := rest msg - attList := rest attList - [msg,attList] - -substituteSegmentedMsg(msg,args) == - -- this does substitution of the parameters - l := NIL - nargs := #args - for x in segmentedMsgPreprocess msg repeat - -- x is a list - PAIRP x => - l := cons(substituteSegmentedMsg(x,args),l) - c := x.0 - n := STRINGLENGTH x - - -- x is a special case - (n > 2) and (c = "%") and (x.1 = "k") => - l := NCONC(NREVERSE pkey SUBSTRING(x,2,NIL),l) - - -- ?name gets replaced by '"Push PF10" or '"Type >b (enter)" - (x.0 = char "?") and n > 1 and (v := pushOrTypeFuture(INTERN x,nil)) => - l := NCONC(NREVERSE v,l) - - -- x requires parameter substitution - (x.0 = char "%") and (n > 1) and (DIGITP x.1) => - a := DIG2FIX x.1 - arg := - a <= nargs => args.(a-1) - '"???" - -- now pull out qualifiers - q := NIL - for i in 2..(n-1) repeat q := cons(x.i,q) - -- Note 'f processing must come first. - if MEMQ(char 'f,q) then - arg := - PAIRP arg => APPLY(first arg, rest arg) - arg - if MEMQ(char 'm,q) then arg := [['"%m",:arg]] - if MEMQ(char 's,q) then arg := [['"%s",:arg]] - if MEMQ(char 'p,q) then - $texFormatting => arg := prefix2StringAsTeX arg - arg := prefix2String arg - if MEMQ(char 'P,q) then - $texFormatting => arg := [prefix2StringAsTeX x for x in arg] - arg := [prefix2String x for x in arg] - if MEMQ(char 'o, q) and $texFormatting then arg := operationLink(arg) - - if MEMQ(char 'c,q) then arg := [['"%ce",:arg]] - if MEMQ(char 'r,q) then arg := [['"%rj",:arg]] - - if MEMQ(char 'l,q) then l := cons('"%l",l) - if MEMQ(char 'b,q) then l := cons('"%b",l) - --we splice in arguments that are lists - --if y is not specified, then the adding of blanks is - --stifled after the first item in the list until the - --end of the list. (using %n and %y) - l := - PAIRP(arg) => - MEMQ(char 'y,q) or (CAR arg = '"%y") or ((LENGTH arg) = 1) => - APPEND(REVERSE arg, l) - head := first arg - tail := rest arg - ['"%y",:APPEND(REVERSE tail, ['"%n",head,:l ]) ] - cons(arg,l) - if MEMQ(char 'b,q) then l := cons('"%d",l) - for ch in '(_. _, _! _: _; _?) repeat - if MEMQ(char ch,q) then l := cons(ch,l) - - --x is a plain word - l := cons(x,l) - addBlanks NREVERSE l - -addBlanks msg == - -- adds proper blanks - null PAIRP msg => msg - null msg => msg - LENGTH msg = 1 => msg - blanksOff := false - x := first msg - if x = '"%n" then - blanksOff := true - msg1 := [] - else - msg1 := LIST x - blank := '" " - for y in rest msg repeat - y in '("%n" %n) => blanksOff := true - y in '("%y" %y) => blanksOff := false - if noBlankAfterP x or noBlankBeforeP y or blanksOff then - msg1 := [y,:msg1] - else - msg1 := [y,blank,:msg1] - x := y - NREVERSE msg1 - - -SETANDFILEQ($msgdbPrims,'( %b %d %l %i %u %U %n %x %ce %rj "%U" "%b" "%d" "%l" "%i" "%u" "%U" "%n" "%x" "%ce" "%rj")) -SETANDFILEQ($msgdbPunct,'(_. _, _! _: _; _? _] _) "." "," "!" ":" ";" "?" "]" ")" )) -SETANDFILEQ($msgdbNoBlanksBeforeGroup,['" ", " ", '"%", "%",_ - :$msgdbPrims, :$msgdbPunct]) -SETANDFILEQ($msgdbListPrims,'(%m %s %ce %rj "%m" "%s" "%ce" "%rj")) - -noBlankBeforeP word== - INTP word => false - word in $msgdbNoBlanksBeforeGroup => true - if CVECP word and SIZE word > 1 then - word.0 = char '% and word.1 = char 'x => return true - word.0 = char " " => return true - (PAIRP word) and (CAR word in $msgdbListPrims) => true - false - -$msgdbPunct := '(_[ _( "[" "(" ) -SETANDFILEQ($msgdbNoBlanksAfterGroup,['" ", " ",'"%" ,"%",_ - :$msgdbPrims,:$msgdbPunct]) - -noBlankAfterP word== - INTP word => false - word in $msgdbNoBlanksAfterGroup => true - if CVECP word and (s := SIZE word) > 1 then - word.0 = char '% and word.1 = char 'x => return true - word.(s-1) = char " " => return true - (PAIRP word) and (CAR word in $msgdbListPrims) => true - false - -cleanUpSegmentedMsg msg == - -- removes any junk like double blanks - -- takes a reversed msg and puts it in the correct order - null PAIRP msg => msg - blanks := ['" "," "] - haveBlank := NIL - prims := - '(%b %d %l %i %u %m %ce %rj _ - "%b" "%d" "%l" "%i" "%m" "%u" "%ce" "%rj") - msg1 := NIL - for x in msg repeat - if haveBlank and ((x in blanks) or (x in prims)) then - msg1 := CDR msg1 - msg1 := cons(x,msg1) - haveBlank := (x in blanks => true; NIL) - msg1 - -operationLink name == - FORMAT(nil, '"\lispLink{\verb!(|oSearch| _"~a_")!}{~a}", - name, - escapeSpecialChars STRINGIMAGE name) - ----------------------------------------- -sayPatternMsg(msg,args) == - msg := segmentKeyedMsg msg - msg := substituteSegmentedMsg(msg,args) - sayMSG flowSegmentedMsg(msg,$LINELENGTH,3) - -throwPatternMsg(key,args) == - sayMSG '" " - if $testingSystem then sayMSG $testingErrorPrefix - sayPatternMsg(key,args) - spadThrow() - -sayKeyedMsgAsTeX(key, args) == - $texFormatting: fluid := true - sayKeyedMsgLocal(key, args) - -sayKeyedMsg(key,args) == - $texFormatting: fluid := false - sayKeyedMsgLocal(key, args) - -sayKeyedMsgLocal(key, args) == - msg := segmentKeyedMsg getKeyedMsg key - msg := substituteSegmentedMsg(msg,args) - if $displayMsgNumber then msg := ['"%b",key,":",'"%d",:msg] - msg' := flowSegmentedMsg(msg,$LINELENGTH,$MARGIN) - if $printMsgsToFile then sayMSG2File msg' - sayMSG msg' - -throwKeyedErrorMsg(kind,key,args) == - BUMPERRORCOUNT kind - sayMSG '" " - if $testingSystem then sayMSG $testingErrorPrefix - sayKeyedMsg(key,args) - spadThrow() - -throwKeyedMsgSP(key,args,atree) == - if atree and (sp := getSrcPos(atree)) then - sayMSG '" " - srcPosDisplay(sp) - throwKeyedMsg(key,args) - -throwKeyedMsg(key,args) == - $saturn => saturnThrowKeyedMsg(key, args) - throwKeyedMsg1(key, args) - -saturnThrowKeyedMsg(key,args) == - SETQ(_*STANDARD_-OUTPUT_*, $texOutputStream) - last := pushSatOutput("line") - sayString '"\bgroup\color{red}\begin{list}\item{} " - sayKeyedMsgAsTeX(key,args) - sayString '"\end{list}\egroup" - popSatOutput(last) - spadThrow() - -throwKeyedMsg1(key,args) == - SETQ(_*STANDARD_-OUTPUT_*, $texOutputStream) - sayMSG '" " - if $testingSystem then sayMSG $testingErrorPrefix - sayKeyedMsg(key,args) - spadThrow() - -throwListOfKeyedMsgs(descKey,descArgs,l) == - -- idea is that descKey and descArgs are the message describing - -- what the list is about and l is a list of [key,args] messages - -- the messages in the list are numbered and should have a %1 as - -- the first token in the message text. - sayMSG '" " - if $testingSystem then sayMSG $testingErrorPrefix - sayKeyedMsg(descKey,descArgs) - sayMSG '" " - for [key,args] in l for i in 1.. repeat - n := STRCONC(object2String i,'".") - sayKeyedMsg(key,[n,:args]) - spadThrow() - --- breakKeyedMsg is like throwKeyedMsg except that the user is given --- a chance to play around in a break loop if $BreakMode is not 'nobreak - -breakKeyedMsg(key,args) == - BUMPERRORCOUNT "semantic" - sayKeyedMsg(key,args) - handleLispBreakLoop($BreakMode) - -keyedSystemError(key,args) == - $saturn => saturnKeyedSystemError(key, args) - keyedSystemError1(key, args) - -saturnKeyedSystemError(key, args) == - SETQ(_*STANDARD_-OUTPUT_*, $texOutputStream) - sayString '"\bgroup\color{red}" - sayString '"\begin{verbatim}" - sayKeyedMsg("S2GE0000",NIL) - BUMPERRORCOUNT "semantic" - sayKeyedMsgAsTeX(key,args) - sayString '"\end{verbatim}" - sayString '"\egroup" - handleLispBreakLoop($BreakMode) - -keyedSystemError1(key,args) == - sayKeyedMsg("S2GE0000",NIL) - breakKeyedMsg(key,args) - --- these 2 functions control the mode of saturn output. --- having the stream writing functions control this would --- be better (eg. sayText, sayCommands) - -pushSatOutput(arg) == - $saturnMode = arg => arg - was := $saturnMode - arg = "verb" => - $saturnMode := "verb" - sayString '"\begin{verbatim}" - was - arg = "line" => - $saturnMode := "line" - sayString '"\end{verbatim}" - was - sayString FORMAT(nil, '"What is: ~a", $saturnMode) - $saturnMode - -popSatOutput(newmode) == - newmode = $saturnMode => nil - newmode = "verb" => - $saturnMode := "verb" - sayString '"\begin{verbatim}" - newmode = "line" => - $saturnMode := "line" - sayString '"\end{verbatim}" - sayString FORMAT(nil, '"What is: ~a", $saturnMode) - $saturnMode - -systemErrorHere functionName == - keyedSystemError("S2GE0017",[functionName]) - -isKeyedMsgInDb(key,dbName) == - $msgDatabaseName : fluid := pathname dbName - fetchKeyedMsg(key,true) - -getKeyedMsgInDb(key,dbName) == - $msgDatabaseName : fluid := pathname dbName - fetchKeyedMsg(key,false) - -sayKeyedMsgFromDb(key,args,dbName) == - $msgDatabaseName : fluid := pathname dbName - msg := segmentKeyedMsg getKeyedMsg key - msg := substituteSegmentedMsg(msg,args) - if $displayMsgNumber then msg := ['"%b",key,":",'%d,:msg] ---sayMSG flowSegmentedMsg(msg,$LINELENGTH,3) - u := flowSegmentedMsg(msg,$LINELENGTH,3) - sayBrightly u - -returnStLFromKey(key,argL,:optDbN) == - savedDbN := $msgDatabaseName - if IFCAR optDbN then - $msgDatabaseName := pathname CAR optDbN - text := fetchKeyedMsg(key, false) - $msgDatabaseName := savedDbN - text := segmentKeyedMsg text - text := substituteSegmentedMsg(text,argL) - -throwKeyedMsgFromDb(key,args,dbName) == - sayMSG '" " - if $testingSystem then sayMSG $testingErrorPrefix - sayKeyedMsgFromDb(key,args,dbName) - spadThrow() - -queryUserKeyedMsg(key,args) == - -- display message and return reply - conStream := DEFIOSTREAM ('((DEVICE . CONSOLE) (MODE . INPUT)),120,0) - sayKeyedMsg(key,args) - ans := READ_-LINE conStream - SHUT conStream - ans - -flowSegmentedMsg(msg, len, offset) == - -- tries to break a sayBrightly-type input msg into multiple - -- lines, with offset and given length. - -- msgs that are entirely centered or right justified are not flowed - msg is [[ce,:.]] and ce in '(%ce "%ce" %rj "%rj") => msg - - -- if we are formatting latex, then we assume - -- that nothing needs to be done - $texFormatting => msg - -- msgs that are entirely centered are not flowed - msg is [[ce,:.]] and ListMember?(ce,'(%ce "%ce")) => msg - - potentialMarg := 0 - actualMarg := 0 - - off := (offset <= 0 => '""; fillerSpaces(offset,'" ")) - off1:= (offset <= 1 => '""; fillerSpaces(offset-1,'" ")) - firstLine := true - - PAIRP msg => - lnl := offset - if msg is [a,:.] and a in '(%b %d _ "%b" "%d" " ") then - nl := [off1] - lnl := lnl - 1 - else nl := [off] - for f in msg repeat - f in '("%l" %l) => - actualMarg := potentialMarg - if lnl = 99999 then nl := ['%l,:nl] - lnl := 99999 - PAIRP(f) and CAR(f) in '("%m" %m '%ce "%ce" %rj "%rj") => - actualMarg := potentialMarg - nl := [f,'%l,:nl] - lnl := 199999 - f in '("%i" %i ) => - potentialMarg := potentialMarg + 3 - nl := [f,:nl] - PAIRP(f) and CAR(f) in '("%t" %t) => - potentialMarg := potentialMarg + CDR f - nl := [f,:nl] - sbl := sayBrightlyLength f - tot := lnl + offset + sbl + actualMarg - if firstLine then - firstLine := false - offset := offset + offset - off1 := STRCONC(off, off1) - off := STRCONC(off, off) - if (tot <= len) or (sbl = 1 and tot = len) then - nl := [f,:nl] - lnl := lnl + sbl - else - f in '(%b %d _ "%b" "%d" " ") => - nl := [f,off1,'%l,:nl] - actualMarg := potentialMarg - lnl := -1 + offset + sbl - nl := [f,off,'%l,:nl] - lnl := offset + sbl - concat nreverse nl - concat('%l,off,msg) - ---% Other handy things - -keyedMsgCompFailure(key,args) == - -- Called when compilation fails in such a way that interpret-code - -- mode might be of some use. - not $useCoerceOrCroak => THROW('coerceOrCroaker, 'croaked) - if not($Coerce) and $reportInterpOnly then - sayKeyedMsg(key,args) - sayKeyedMsg("S2IB0009",NIL) - null $compilingMap => THROW('loopCompiler,'tryInterpOnly) - THROW('mapCompiler,'tryInterpOnly) - -keyedMsgCompFailureSP(key,args,atree) == - -- Called when compilation fails in such a way that interpret-code - -- mode might be of some use. - not $useCoerceOrCroak => THROW('coerceOrCroaker, 'croaked) - if not($Coerce) and $reportInterpOnly then - if atree and (sp := getSrcPos(atree)) then - sayMSG '" " - srcPosDisplay(sp) - sayKeyedMsg(key,args) - sayKeyedMsg("S2IB0009",NIL) - null $compilingMap => THROW('loopCompiler,'tryInterpOnly) - THROW('mapCompiler,'tryInterpOnly) - -throwKeyedMsgCannotCoerceWithValue(val,t1,t2) == - null (val' := coerceInteractive(objNew(val,t1),$OutputForm)) => - throwKeyedMsg("S2IC0002",[t1,t2]) - val' := objValUnwrap(val') - throwKeyedMsg("S2IC0003",[t1,t2,val']) - ---% Some Standard Message Printing Functions - -bright x == ['"%b",:(PAIRP(x) and NULL CDR LASTNODE x => x; [x]),'"%d"] ---bright x == ['%b,:(ATOM x => [x]; x),'%d] - -mkMessage msg == - msg and (PAIRP msg) and ((first msg) in '(%l "%l")) and - ((last msg) in '(%l "%l")) => concat msg - concat('%l,msg,'%l) - -sayMessage msg == sayMSG mkMessage msg - -sayNewLine(:margin) == - -- Note: this function should *always* be used by sayBrightly and - -- friends rather than TERPRI -- see bindSayBrightly - TERPRI() - if margin is [n] then BLANKS n - nil - -sayString x == - -- Note: this function should *always* be used by sayBrightly and - -- friends rather than PRINTEXP -- see bindSayBrightly - PRINTEXP x - -spadStartUpMsgs() == - -- messages displayed when the system starts up - $LINELENGTH < 60 => NIL - bar := fillerSpaces($LINELENGTH,specialChar 'hbar) - sayKeyedMsg("S2GL0001",[_*BUILD_-VERSION_*, _*YEARWEEK_*]) - sayMSG bar - sayKeyedMsg("S2GL0018C",NIL) - sayKeyedMsg("S2GL0018D",NIL) - sayKeyedMsg("S2GL0003B",[$opSysName]) - sayMSG bar --- sayMSG bar --- sayMSG '" *" --- sayMSG '" ***** ** ** *** ****** ** * *" --- sayMSG '" * * * * * * * ** ** ** **" --- sayMSG '" * * * * * * ** *** **" --- sayMSG '" ****** * * * * * * *" --- sayMSG '" * * * * * * * * * *" --- sayMSG '" * * * * * * * * * *" --- sayMSG '" * * * * * * * * * *" --- sayMSG '" ***** * ** ** *** **** ** *** ***" --- sayMSG '" *" --- sayMSG '" Issue )copyright for copyright notices." --- sayKeyedMsg("S2GL0018A",NIL) --- sayKeyedMsg("S2GL0018B",NIL) --- sayKeyedMsg("S2GL0003C",NIL) --- sayKeyedMsg("S2GL0003A",NIL) --- if not $printTimeIfTrue then sayKeyedMsg("S2GL0004",NIL) --- if not $printTypeIfTrue then sayKeyedMsg("S2GL0005",NIL) - -- if not $displaySetValue then sayKeyedMsg("S2GL0007",NIL) --- if not $HiFiAccess then sayKeyedMsg("S2GL0008",NIL) --- sayMSG bar --- version() - $msgAlist := NIL -- these msgs need not be saved - sayMSG " " - -HELP() == sayKeyedMsg("S2GL0019",NIL) - -version() == _*YEARWEEK_* - ---% Some Advanced Formatting Functions - -brightPrint x == - $MARG : local := 0 - for y in x repeat brightPrint0 y - NIL - -brightPrint0 x == - $texFormatting => brightPrint0AsTeX x - if IDENTP x then x := PNAME x - - -- if the first character is a backslash and the second is a percent sign, - -- don't try to give the token any special interpretation. Just print - -- it without the backslash. - - STRINGP x and STRINGLENGTH x > 1 and x.0 = char "\" and x.1 = char "%" => - sayString SUBSTRING(x,1,NIL) - x = '"%l" => - sayNewLine() - for i in 1..$MARG repeat sayString '" " - x = '"%i" => - $MARG := $MARG + 3 - x = '"%u" => - $MARG := $MARG - 3 - if $MARG < 0 then $MARG := 0 - x = '"%U" => - $MARG := 0 - x = '"%" => - sayString '" " - x = '"%%" => - sayString '"%" - x = '"%b" => - NULL IS_-CONSOLE CUROUTSTREAM => sayString '" " - NULL $highlightAllowed => sayString '" " - sayString $highlightFontOn - k := blankIndicator x => BLANKS k - x = '"%d" => - NULL IS_-CONSOLE CUROUTSTREAM => sayString '" " - NULL $highlightAllowed => sayString '" " - sayString $highlightFontOff - STRINGP x => sayString x - brightPrintHighlight x - -brightPrint0AsTeX x == - x = '"%l" => - sayString('"\\") - for i in 1..$MARG repeat sayString '"\ " - x = '"%i" => - $MARG := $MARG + 3 - x = '"%u" => - $MARG := $MARG - 3 - if $MARG < 0 then $MARG := 0 - x = '"%U" => - $MARG := 0 - x = '"%" => - sayString '"\ " - x = '"%%" => - sayString '"%" - x = '"%b" => - sayString '" {\tt " - k := blankIndicator x => for i in 1..k repeat sayString '"\ " - x = '"%d" => - sayString '"} " - x = '"_"$_"" => - sayString('"_"\verb!$!_"") - x = '"$" => - sayString('"\verb!$!") - STRINGP x => sayString x - brightPrintHighlight x - -blankIndicator x == - if IDENTP x then x := PNAME x - null STRINGP x or MAXINDEX x < 1 => nil - x.0 = '% and x.1 = 'x => - MAXINDEX x > 1 => PARSE_-INTEGER SUBSTRING(x,2,nil) - 1 - nil - -brightPrint1 x == - if x in '(%l "%l") then sayNewLine() - else if STRINGP x then sayString x - else brightPrintHighlight x - NIL - -brightPrintHighlight x == - $texFormatting => brightPrintHighlightAsTeX x - IDENTP x => - pn := PNAME x - sayString pn - -- following line helps find certain bugs that slip through - -- also see sayBrightlyLength1 - VECP x => sayString '"UNPRINTABLE" - ATOM x => sayString object2String x - [key,:rst] := x - if IDENTP key then key:=PNAME key - key = '"%m" => mathprint rst - key in '("%p" "%s") => PRETTYPRIN0 rst - key = '"%ce" => brightPrintCenter rst - key = '"%rj" => brightPrintRightJustify rst - key = '"%t" => $MARG := $MARG + tabber rst - sayString '"(" - brightPrint1 key - if EQ(key,'TAGGEDreturn) then - rst:=[CAR rst,CADR rst,CADDR rst, '"environment (omitted)"] - for y in rst repeat - sayString '" " - brightPrint1 y - if rst and (la := LASTATOM rst) then - sayString '" . " - brightPrint1 la - sayString '")" - -brightPrintHighlightAsTeX x == - IDENTP x => - pn := PNAME x - sayString pn - ATOM x => sayString object2String x - VECP x => sayString '"UNPRINTABLE" - [key,:rst] := x - key = '"%m" => mathprint rst - key = '"%m" => rst - key = '"%s" => - sayString '"\verb__" - PRETTYPRIN0 rst - sayString '"__" - key = '"%ce" => brightPrintCenter rst - key = '"%t" => $MARG := $MARG + tabber rst - -- unhandled junk (print verbatim(ish) - sayString '"(" - brightPrint1 key - if EQ(key,'TAGGEDreturn) then - rst:=[CAR rst,CADR rst,CADDR rst, '"environment (omitted)"] - for y in rst repeat - sayString '" " - brightPrint1 y - if rst and (la := LASTATOM rst) then - sayString '" . " - brightPrint1 la - sayString '")" - -tabber num == - maxTab := 50 - num > maxTab => maxTab - num - -brightPrintCenter x == - $texFormatting => brightPrintCenterAsTeX x - -- centers rst within $LINELENGTH, checking for %l's - ATOM x => - x := object2String x - wid := STRINGLENGTH x - if wid < $LINELENGTH then - f := DIVIDE($LINELENGTH - wid,2) - x := LIST(fillerSpaces(f.0,'" "),x) - for y in x repeat brightPrint0 y - NIL - y := NIL - ok := true - while x and ok repeat - if CAR(x) in '(%l "%l") then ok := NIL - else y := cons(CAR x, y) - x := CDR x - y := NREVERSE y - wid := sayBrightlyLength y - if wid < $LINELENGTH then - f := DIVIDE($LINELENGTH - wid,2) - y := CONS(fillerSpaces(f.0,'" "),y) - for z in y repeat brightPrint0 z - if x then - sayNewLine() - brightPrintCenter x - NIL - -brightPrintCenterAsTeX x == - ATOM x => - sayString '"\centerline{" - sayString x - sayString '"}" - lst := x - while lst repeat - words := nil - while lst and not CAR(lst) = "%l" repeat - words := [CAR lst,: words] - lst := CDR lst - if lst then lst := cdr lst - sayString '"\centerline{" - words := nreverse words - for zz in words repeat - brightPrint0 zz - sayString '"}" - nil - -brightPrintRightJustify x == - -- right justifies rst within $LINELENGTH, checking for %l's - ATOM x => - x := object2String x - wid := STRINGLENGTH x - wid < $LINELENGTH => - x := LIST(fillerSpaces($LINELENGTH-wid,'" "),x) - for y in x repeat brightPrint0 y - NIL - brightPrint0 x - NIL - y := NIL - ok := true - while x and ok repeat - if CAR(x) in '(%l "%l") then ok := NIL - else y := cons(CAR x, y) - x := CDR x - y := NREVERSE y - wid := sayBrightlyLength y - if wid < $LINELENGTH then - y := CONS(fillerSpaces($LINELENGTH-wid,'" "),y) - for z in y repeat brightPrint0 z - if x then - sayNewLine() - brightPrintRightJustify x - NIL - --- some hooks for older functions - ---------------------> NEW DEFINITION (see macros.lisp.pamphlet) -BRIGHTPRINT x == brightPrint x ---------------------> NEW DEFINITION (see macros.lisp.pamphlet) -BRIGHTPRINT_-0 x == brightPrint0 x - ---% Message Formatting Utilities - -sayBrightlyLength l == - null l => 0 - atom l => sayBrightlyLength1 l - sayBrightlyLength1 first l + sayBrightlyLength rest l - -sayBrightlyLength1 x == - member(x,'("%b" "%d" %b %d)) => - NULL $highlightAllowed => 1 - 1 - member(x,'("%l" %l)) => 0 - STRINGP x and STRINGLENGTH x > 2 and x.0 = '"%" and x.1 = '"x" => - INTERN x.3 - STRINGP x => STRINGLENGTH x - IDENTP x => STRINGLENGTH PNAME x - -- following line helps find certain bugs that slip through - -- also see brightPrintHighlight - VECP x => STRINGLENGTH '"UNPRINTABLE" - ATOM x => STRINGLENGTH STRINGIMAGE x - 2 + sayBrightlyLength x - -sayAsManyPerLineAsPossible l == - -- it is assumed that l is a list of strings - l := [atom2String a for a in l] - m := 1 + "MAX"/[SIZE(a) for a in l] - -- w will be the field width in which we will display the elements - m > $LINELENGTH => - for a in l repeat sayMSG a - NIL - w := MIN(m + 3,$LINELENGTH) - -- p is the number of elements per line - p := QUOTIENT($LINELENGTH,w) - n := # l - str := '"" - for i in 0..(n-1) repeat - [c,:l] := l - str := STRCONC(str,c,fillerSpaces(w - #c,'" ")) - REMAINDER(i+1,p) = 0 => (sayMSG str ; str := '"" ) - if str ^= '"" then sayMSG str - NIL - -say2PerLine l == say2PerLineWidth(l,$LINELENGTH / 2) - -say2PerLineWidth(l,n) == - [short,long] := say2Split(l,nil,nil,n) - say2PerLineThatFit short - for x in long repeat sayLongOperation x - sayBrightly '"" - -say2Split(l,short,long,width) == - l is [x,:l'] => - sayWidth x < width => say2Split(l',[x,:short],long,width) - say2Split(l',short,[x,:long],width) - [nreverse short,nreverse long] - -sayLongOperation x == - sayWidth x > $LINELENGTH and (splitListOn(x,"if") is [front,back]) => - sayBrightly front - BLANKS (6 + # PNAME front.1) - sayBrightly back - sayBrightly x - -splitListOn(x,key) == - key in x => - while first x ^= key repeat - y:= [first x,:y] - x:= rest x - [nreverse y,x] - nil - -say2PerLineThatFit l == - while l repeat - sayBrightlyNT first l - sayBrightlyNT - fillerSpaces((($LINELENGTH/2)-sayDisplayWidth first l),'" ") - (l:= rest l) => - sayBrightlyNT first l - l:= rest l - sayBrightly '"" - sayBrightly '"" - -sayDisplayStringWidth x == - null x => 0 - sayDisplayWidth x - -sayDisplayWidth x == - PAIRP x => - +/[fn y for y in x] where fn y == - y in '(%b %d "%b" "%d") or y=$quadSymbol => 1 - k := blankIndicator y => k - sayDisplayWidth y - x = "%%" or x = '"%%" => 1 - # atom2String x - -sayWidth x == - atom x => # atom2String x - +/[fn y for y in x] where fn y == - sayWidth y - -pp2Cols(al) == - while al repeat - [[abb,:name],:al]:= al - ppPair(abb,name) - if canFit2ndEntry(name,al) then - [[abb,:name],:al]:= al - TAB ($LINELENGTH / 2) - ppPair(abb,name) - sayNewLine() - nil - -ppPair(abb,name) == - sayBrightlyNT [:bright abb,fillerSpaces(8-entryWidth abb," "),name] - -canFit2ndEntry(name,al) == - wid := ($LINELENGTH/2) - 10 - null al => nil - entryWidth name > wid => nil - entryWidth CDAR al > wid => nil - 'T - -entryWidth x == # atom2String x - -center80 text == centerNoHighlight(text,$LINELENGTH,'" ") - -centerAndHighlight(text,:argList) == - width := IFCAR argList or $LINELENGTH - fillchar := IFCAR IFCDR argList or '" " - wid := entryWidth text + 2 - wid >= width - 2 => sayBrightly ['%b,text,'%d] - f := DIVIDE(width - wid - 2,2) - fill1 := '"" - for i in 1..(f.0) repeat - fill1 := STRCONC(fillchar,fill1) - if f.1 = 0 then fill2 := fill1 else fill2 := STRCONC(fillchar,fill1) - sayBrightly [fill1,'%b,text,'%d,fill2] - nil - -centerNoHighlight(text,:argList) == sayBrightly center(text,argList) - -center(text,argList) == - width := IFCAR argList or $LINELENGTH - fillchar := IFCAR IFCDR argList or '" " - if (u:= splitSayBrightlyArgument text) then [text,:moreLines]:= u - wid := sayBrightlyLength text - wid >= width - 2 => sayBrightly text - f := DIVIDE(width - wid - 2,2) - fill1 := '"" - for i in 1..(f.0) repeat - fill1 := STRCONC(fillchar,fill1) - if f.1 = 0 then fill2 := fill1 else fill2 := STRCONC(fillchar,fill1) - concat(fill1,text,fill2) - -splitSayBrightly u == - width:= 0 - while u and (width:= width + sayWidth first u) < $LINELENGTH repeat - segment:= [first u,:segment] - u := rest u - null u => NREVERSE segment - segment => [:NREVERSE segment,"%l",:splitSayBrightly(u)] - u - -splitSayBrightlyArgument u == - atom u => nil - while splitListSayBrightly u is [head,:u] repeat result:= [head,:result] - result => [:NREVERSE result,u] - [u] - -splitListSayBrightly u == - for x in tails u repeat - y := rest x - null y => nil - first y = '%l => - RPLACD(x,nil) - ans:= [u,:rest y] - ans - - ---======================================================================= --- Utility Functions ---======================================================================= - -$htSpecialChars := ['"_#", '"[", '"]", '"%", '"{", '"}", '"_\", - '"$", '"&", '"^", '"__", '"_~"] - -$htCharAlist := '( - ("$" . "\%") - ("[]" . "\[\]") - ("{}" . "\{\}") - ("\\" . "\\\\") - ("\/" . "\\/" ) - ("/\" . "/\\" ) ) - -escapeSpecialChars s == - u := LASSOC(s,$htCharAlist) => u - member(s, $htSpecialChars) => STRCONC('"_\", s) - null $saturn => s - ALPHA_-CHAR_-P (s.0) => s - not (or/[dbSpecialDisplayOpChar? s.i for i in 0..MAXINDEX s]) => s - buf := '"" - for i in 0..MAXINDEX s repeat buf := - dbSpecialDisplayOpChar?(s.i) => STRCONC(buf,'"\verb!",s.i,'"!") - STRCONC(buf,s.i) - buf - -dbSpecialDisplayOpChar? c == (c = char '_~) - -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} -- cgit v1.2.3