diff options
Diffstat (limited to 'src/interp/format.boot.pamphlet')
| -rw-r--r-- | src/interp/format.boot.pamphlet | 802 |
1 files changed, 802 insertions, 0 deletions
diff --git a/src/interp/format.boot.pamphlet b/src/interp/format.boot.pamphlet new file mode 100644 index 00000000..e4c83a31 --- /dev/null +++ b/src/interp/format.boot.pamphlet @@ -0,0 +1,802 @@ +\documentclass{article} +\usepackage{axiom} +\begin{document} +\title{\$SPAD/src/interp format.boot} +\author{The Axiom Team} +\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>> + +--% Functions for display formatting system objects + +-- some of these are redundant and should be compacted +$formatSigAsTeX := 1 + +--% Formatting modemaps + +sayModemap m == + -- sayMSG formatModemap displayTranModemap m + sayMSG formatModemap old2NewModemaps displayTranModemap m + +sayModemapWithNumber(m,n) == + msg := reverse cleanUpSegmentedMsg reverse ["%i","%i",'" ", + STRCONC(lbrkSch(),object2String n,rbrkSch()), + :formatModemap displayTranModemap m,"%u","%u"] + sayMSG flowSegmentedMsg(reverse msg,$LINELENGTH,3) + +displayOpModemaps(op,modemaps) == + TERPRI() + count:= #modemaps + phrase:= (count=1 => 'modemap;'modemaps) + sayMSG ['%b,count,'%d,phrase,'" for",'%b,op,'%d,'":"] + for modemap in modemaps repeat sayModemap modemap + +displayTranModemap (mm is [[x,:sig],[pred,:y],:z]) == + -- The next 8 lines are a HACK to deal with the "partial" definition + -- JHD/RSS + if pred is ['partial,:pred'] then + [b,:c]:=sig + sig:=[['Union,b,'"failed"],:c] + mm:=[[x,:sig],[pred',:y],:z] + else if pred = 'partial then + [b,:c]:=sig + sig:=[['Union,b,'"failed"],:c] + mm:=[[x,:sig],y,:z] + mm' := EQSUBSTLIST('(m n p q r s t i j k l), + MSORT listOfPredOfTypePatternIds pred,mm) + EQSUBSTLIST('(D D1 D2 D3 D4 D5 D6 D7 D8 D9 D10 D11 D12 D13 D14), + MSORT listOfPatternIds [sig,[pred,:y]],mm') + +listOfPredOfTypePatternIds p == + p is ['AND,:lp] or p is ['OR,:lp] => + UNIONQ([:listOfPredOfTypePatternIds p1 for p1 in lp],NIL) + p is [op,a,.] and op = 'ofType => + isPatternVar a => [a] + nil + nil + +removeIsDomains pred == + pred is ['isDomain,a,b] => true + pred is ['AND,:predl] => + MKPF([x for x in predl | x isnt ['isDomain,:.]],'AND) + pred + +canRemoveIsDomain? pred == + -- returns nil OR an alist for substitutions of domains ordered so that + -- after substituting for each pair in turn, no left-hand names remain + alist := + pred is ['isDomain,a,b] => [[a,:b],:alist] + pred is ['AND,:predl] => + [[a,:b] for pred in predl | pred is ['isDomain,a,b]] + findSubstitutionOrder? alist + +findSubstitutionOrder? alist == fn(alist,nil) where + -- returns NIL or an appropriate substituion order + fn(alist,res) == + null alist => NREVERSE res + choice := or/[x for (x:=[a,:b]) in alist | null containedRight(a,alist)] => + fn(delete(choice,alist),[choice,:res]) + nil + +containedRight(x,alist)== or/[CONTAINED(x,y) for [.,:y] in alist] + +removeIsDomainD pred == + pred is ['isDomain,'D,D] => + [D,nil] + pred is ['AND,:preds] => + D := nil + for p in preds while not D repeat + p is ['isDomain,'D,D1] => + D := D1 + npreds := delete(['isDomain,'D,D1],preds) + D => + 1 = #npreds => [D,first npreds] + [D,['AND,:npreds]] + nil + nil + +formatModemap modemap == + [[dc,target,:sl],pred,:.]:= modemap + if alist := canRemoveIsDomain? pred then + dc:= substInOrder(alist,dc) + pred:= substInOrder(alist,removeIsDomains pred) + target:= substInOrder(alist,target) + sl:= substInOrder(alist,sl) + else if removeIsDomainD pred is [D,npred] then + pred := SUBST(D,'D,npred) + target := SUBST(D,'D,target) + sl := SUBST(D,'D,sl) + predPart:= formatIf pred + targetPart:= prefix2String target + argTypeList:= + null sl => nil + concat(prefix2String first sl,fn(rest sl)) where + fn l == + null l => nil + concat(",",prefix2String first l,fn rest l) + argPart:= + #sl<2 => argTypeList + ['"_(",:argTypeList,'"_)"] + fromPart:= + if dc = 'D and D + then concat('%b,'"from",'%d,prefix2String D) + else concat('%b,'"from",'%d,prefix2String dc) + firstPart:= concat('" ",argPart,'" -> ",targetPart) + sayWidth firstPart + sayWidth fromPart > 74 => --allow 5 spaces for " [n]" + fromPart:= concat('" ",fromPart) + secondPart := + sayWidth fromPart + sayWidth predPart < 75 => + concat(fromPart,predPart) + concat(fromPart,'%l,predPart) + concat(firstPart,'%l,secondPart) + firstPart:= concat(firstPart,fromPart) + sayWidth firstPart + sayWidth predPart < 80 => + concat(firstPart,predPart) + concat(firstPart,'%l,predPart) + +substInOrder(alist,x) == + alist is [[a,:b],:y] => substInOrder(y,SUBST(b,a,x)) + x + +reportOpSymbol op1 == + op := (STRINGP op1 => INTERN op1; op1) + modemaps := getAllModemapsFromDatabase(op,nil) + null modemaps => + ok := true + sayKeyedMsg("S2IF0010",[op1]) + if SIZE PNAME op1 < 3 then + x := UPCASE queryUserKeyedMsg("S2IZ0060",[op1]) + null MEMQ(STRING2ID_-N(x,1),'(Y YES)) => + ok := nil + sayKeyedMsg("S2IZ0061",[op1]) + ok => apropos [op1] + sayNewLine() + -- filter modemaps on whether they are exposed + mmsE := mmsU := NIL + for mm in modemaps repeat + isFreeFunctionFromMm(mm) or isExposedConstructor getDomainFromMm(mm) => mmsE := [mm,:mmsE] + mmsU := [mm,:mmsU] + if mmsE then + sayMms(op,mmsE,'"exposed") where + sayMms(op,mms,label) == + m := # mms + sayMSG + m = 1 => + ['"There is one",:bright label,'"function called", + :bright op,'":"] + ['"There are ",m,:bright label,'"functions called", + :bright op,'":"] + for mm in mms for i in 1.. repeat + sayModemapWithNumber(mm,i) + if mmsU then + if mmsE then sayNewLine() + sayMms(op,mmsU,'"unexposed") + nil + +formatOpType (form:=[op,:argl]) == + null argl => unabbrev op + form2String [unabbrev op, :argl] + +formatOperationAlistEntry (entry:= [op,:modemaps]) == + -- alist has entries of the form: ((op sig) . pred) + -- opsig on this list => op is defined only when the predicate is true + ans:= nil + for [sig,.,:predtail] in modemaps repeat + pred := (predtail is [p,:.] => p; 'T) + -- operation is always defined + ans := + [concat(formatOpSignature(op,sig),formatIf pred),:ans] + ans + +formatOperation([[op,sig],.,[fn,.,n]],domain) == + opSigString := formatOpSignature(op,sig) + INTEGERP n and Undef = KAR domain.n => + if INTEGERP $commentedOps then $commentedOps := $commentedOps + 1 + concat(" --",opSigString) + opSigString + +formatOpSignature(op,sig) == + concat('%b,formatOpSymbol(op,sig),'%d,": ",formatSignature sig) + +formatOpConstant op == + concat('%b,formatOpSymbol(op,'($)),'%d,'": constant") + +formatOpSymbol(op,sig) == + if op = 'Zero then op := "0" + else if op = 'One then op := "1" + null sig => op + quad := specialChar 'quad + n := #sig + (op = 'elt) and (n = 3) => + (CADR(sig) = '_$) => + STRINGP (sel := CADDR(sig)) => + [quad,".",sel] + [quad,".",quad] + op + STRINGP op or GET(op,"Led") or GET(op,"Nud") => + n = 3 => + if op = 'SEGMENT then op := '".." + op = 'in => [quad,'" ",op,'" ",quad] +-- stop exquo from being displayed as infix (since it is not accepted +-- as such by the interpreter) + op = 'exquo => op + [quad,op,quad] + n = 2 => + not GET(op,"Nud") => [quad,op] + [op,quad] + op + op + +formatAttribute x == + atom x => [" ",x] + x is [op,:argl] => + for x in argl repeat + argPart:= NCONC(argPart,concat(",",formatAttributeArg x)) + argPart => concat(" ",op,"_(",rest argPart,"_)") + [" ",op] + +formatAttributeArg x == + STRINGP x and x ='"*" => "_"*_"" + atom x => formatOpSymbol (x,nil) + x is [":",op,["Mapping",:sig]] => + concat('%b,formatOpSymbol(op,sig),": ",'%d,formatMapping sig) + prefix2String0 x + +formatMapping sig == + "STRCONC"/concat("Mapping(",formatSignature sig,")") + +dollarPercentTran x == + -- Translate $ to %. We actually return %% so that the message + -- printer will display a single % + x is [y,:z] => + y1 := dollarPercentTran y + z1 := dollarPercentTran z + EQ(y, y1) and EQ(z, z1) => x + [y1, :z1] + x = "$" or x = '"$" => "%%" + x + +formatSignatureAsTeX sig == + $formatSigAsTeX: local := 2 + formatSignature0 sig + +formatSignature sig == + $formatSigAsTeX: local := 1 + formatSignature0 sig + +formatSignatureArgs sml == + $formatSigAsTeX: local := 1 + formatSignatureArgs0 sml + +formatSignature0 sig == + null sig => "() -> ()" + INTEGERP sig => '"hashcode" + [tm,:sml] := sig + sourcePart:= formatSignatureArgs0 sml + targetPart:= prefix2String0 tm + dollarPercentTran concat(sourcePart,concat(" -> ",targetPart)) + +formatSignatureArgs0(sml) == +-- formats the arguments of a signature + null sml => ["_(_)"] + null rest sml => prefix2String0 first sml + argList:= prefix2String0 first sml + for m in rest sml repeat + argList:= concat(argList,concat(",",prefix2String0 m)) + concat("_(",concat(argList,"_)")) + +--% Conversions to string form + +expr2String x == + atom (u:= prefix2String0 x) => u + "STRCONC"/[atom2String y for y in u] + +-- exports (this is a badly named bit of sillyness) +prefix2StringAsTeX form == + form2StringAsTeX form + +prefix2String form == + form2String form + +-- local version +prefix2String0 form == + form2StringLocal form + +-- SUBRP form => formWrapId BPINAME form +-- atom form => +-- form=$EmptyMode or form=$quadSymbol => formWrapId specialChar 'quad +-- STRINGP form => formWrapId form +-- IDENTP form => +-- constructor? form => app2StringWrap(formWrapId form, [form]) +-- formWrapId form +-- formWrapId STRINGIMAGE form + +form2StringWithWhere u == + $permitWhere : local := true + $whereList: local := nil + s:= form2String u + $whereList => concat(s,'%b,'"where",'%d,"%i",$whereList,"%u") + s + +form2StringWithPrens form == + null (argl := rest form) => [first form] + null rest argl => [first form,"(",first argl,")"] + form2String form + +formString u == + x := form2String u + atom x => STRINGIMAGE x + "STRCONC"/[STRINGIMAGE y for y in x] + +form2String u == + $formatSigAsTeX: local := 1 + form2StringLocal u + +form2StringAsTeX u == + $formatSigAsTeX: local := 2 + form2StringLocal u + +form2StringLocal u == +--+ + $NRTmonitorIfTrue : local := nil + $fortInts2Floats : local := nil + form2String1 u + +constructorName con == + $abbreviateTypes => abbreviate con + con + +form2String1 u == + ATOM u => + u=$EmptyMode or u=$quadSymbol => formWrapId specialChar 'quad + IDENTP u => + constructor? u => app2StringWrap(formWrapId u, [u]) + u + SUBRP u => formWrapId BPINAME u + STRINGP u => formWrapId u + WRITE_-TO_-STRING formWrapId u + u1 := u + op := CAR u + argl := CDR u + op='Join or op= 'mkCategory => formJoin1(op,argl) + $InteractiveMode and (u:= constructor? op) => + null argl => app2StringWrap(formWrapId constructorName op, u1) + op = "NTuple" => [ form2String1 first argl, "*"] + op = "Map" => ["(",:formatSignature0 [argl.1,argl.0],")"] + op = 'Record => record2String(argl) + null (conSig := getConstructorSignature op) => + application2String(constructorName op,[form2String1(a) for a in argl], u1) + ml := rest conSig + if not freeOfSharpVars ml then + ml:=SUBLIS([[pvar,:val] for pvar in $FormalMapVariableList + for val in argl], ml) + argl:= formArguments2String(argl,ml) + -- extra null check to handle mutable domain hack. + null argl => constructorName op + application2String(constructorName op,argl, u1) + op = "Mapping" => ["(",:formatSignature argl,")"] + op = "Record" => record2String(argl) + op = 'Union => + application2String(op,[form2String1 x for x in argl], u1) + op = ":" => + null argl => [ '":" ] + null rest argl => [ '":", form2String1 first argl ] + formDecl2String(argl.0,argl.1) + op = "#" and PAIRP argl and LISTP CAR argl => + STRINGIMAGE SIZE CAR argl + op = 'Join => formJoin2String argl + op = "ATTRIBUTE" => form2String1 first argl + op='Zero => 0 + op='One => 1 + op = 'AGGLST => tuple2String argl + op = 'BRACKET => + argl' := form2String1 first argl + ["[",:(atom argl' => [argl']; argl'),"]"] + op = "SIGNATURE" => + [operation,sig] := argl + concat(operation,": ",formatSignature sig) + op = 'COLLECT => formCollect2String argl + op = 'construct => + concat(lbrkSch(), + tuple2String [form2String1 x for x in argl],rbrkSch()) + op = "SEGMENT" => + null argl => '".." + lo := form2String1 first argl + argl := rest argl + (null argl) or null (first argl) => [lo, '".."] + [lo, '"..", form2String1 first argl] + isBinaryInfix op => fortexp0 [op,:argl] + -- COMPILED_-FUNCTION_-P(op) => form2String1 coerceMap2E(u1,NIL) + application2String(op,[form2String1 x for x in argl], u1) + +formWrapId id == + $formatSigAsTeX = 1 => id + $formatSigAsTeX = 2 => + sep := '"`" + FORMAT(NIL,'"\verb~a~a~a",sep, id, sep) + error "Bad formatSigValue" + +formArguments2String(argl,ml) == [fn(x,m) for x in argl for m in ml] where + fn(x,m) == + x=$EmptyMode or x=$quadSymbol => specialChar 'quad + STRINGP(x) or IDENTP(x) => x + x is [ ='_:,:.] => form2String1 x + isValidType(m) and PAIRP(m) and + (GETDATABASE(first(m),'CONSTRUCTORKIND) = 'domain) => + (x' := coerceInteractive(objNewWrap(x,m),$OutputForm)) => + form2String1 objValUnwrap x' + form2String1 x + form2String1 x + +formDecl2String(left,right) == + $declVar: local := left + whereBefore := $whereList + ls:= form2StringLocal left + rs:= form2StringLocal right + NE($whereList,whereBefore) and $permitWhere => ls + concat(form2StringLocal ls,'": ",rs) + +formJoin1(op,u) == + if op = 'Join then [:argl,last] := u else (argl := nil; last := [op,:u]) + last is [id,.,:r] and id in '(mkCategory CATEGORY) => + $abbreviateJoin = true => concat(formJoin2 argl,'%b,'"with",'%d,'"...") + $permitWhere = true => + opList:= formatJoinKey(r,id) + $whereList:= concat($whereList,"%l",$declVar,": ", + formJoin2 argl,'%b,'"with",'%d,"%i",opList,"%u") + formJoin2 argl + opList:= formatJoinKey(r,id) + suffix := concat('%b,'"with",'%d,"%i",opList,"%u") + concat(formJoin2 argl,suffix) + formJoin2 u + +formatJoinKey(r,key) == + key = 'mkCategory => + r is [opPart,catPart,:.] => + opString := + opPart is [='LIST,:u] => + "append"/[concat("%l",formatOpSignature(op,sig),formatIf pred) + for [='QUOTE,[[op,sig],pred]] in u] + nil + catString := + catPart is [='LIST,:u] => + "append"/[concat("%l",'" ",form2StringLocal con,formatIf pred) + for [='QUOTE,[con,pred]] in u] + nil + concat(opString,catString) + '"?? unknown mkCategory format ??" + -- otherwise we have the CATEGORY form + "append"/[fn for x in r] where fn == + x is ['SIGNATURE,op,sig] => concat("%l",formatOpSignature(op,sig)) + x is ['ATTRIBUTE,a] => concat("%l",formatAttribute a) + x + +formJoin2 argl == +-- argl is a list of categories NOT containing a "with" + null argl => '"" + 1=#argl => form2StringLocal argl.0 + application2String('Join,[form2StringLocal x for x in argl], NIL) + +formJoin2String (u:=[:argl,last]) == + last is ["CATEGORY",.,:atsigList] => + postString:= concat("_(",formTuple2String atsigList,"_)") + #argl=1 => concat(first argl,'" with ",postString) + concat(application2String('Join,argl, NIL)," with ",postString) + application2String('Join,u, NIL) + +formCollect2String [:itl,body] == + ["_(",body,:"append"/[formIterator2String x for x in itl],"_)"] + +formIterator2String x == + x is ["STEP",y,s,.,:l] => + tail:= (l is [f] => form2StringLocal f; nil) + concat("for ",y," in ",s,'"..",tail) + x is ["tails",y] => concat("tails ",formatIterator y) + x is ["reverse",y] => concat("reverse ",formatIterator y) + x is ["|",y,p] => concat(formatIterator y," | ",form2StringLocal p) + x is ["until",p] => concat("until ",form2StringLocal p) + x is ["while",p] => concat("while ",form2StringLocal p) + systemErrorHere "formatIterator" + +tuple2String argl == + null argl => nil + string := first argl + if string in '("failed" "nil" "prime" "sqfr" "irred") + then string := STRCONC('"_"",string,'"_"") + else string := + ATOM string => object2String string + [f x for x in string] where + f x == + ATOM x => object2String x + -- [f CAR x,:f CDR x] + [f y for y in x] + for x in rest argl repeat + if x in '("failed" "nil" "prime" "sqfr" "irred") then + x := STRCONC('"_"",x,'"_"") + string:= concat(string,concat(",",f x)) + string + +script2String s == + null s => '"" -- just to be safe + if not PAIRP s then s := [s] + linearFormatForm(CAR s, CDR s) + +linearFormatName x == + atom x => x + linearFormat x + +linearFormat x == + atom x => x + x is [op,:argl] and atom op => + argPart:= + argl is [a,:l] => [a,:"append"/[[",",x] for x in l]] + nil + [op,"(",:argPart,")"] + [linearFormat y for y in x] + +numOfSpadArguments id == + char("*") = (s:= PNAME id).0 => + +/[n for i in 1.. while INTEGERP (n:=PARSE_-INTEGER PNAME s.i)] + keyedSystemError("S2IF0012",[id]) + +linearFormatForm(op,argl) == + s:= PNAME op + indexList:= [PARSE_-INTEGER PNAME d for i in 1.. while + (DIGITP (d:= s.(maxIndex:= i)))] + cleanOp:= INTERN ("STRCONC"/[PNAME s.i for i in maxIndex..MAXINDEX s]) + fnArgs:= + indexList.0 > 0 => + concat('"(",formatArgList take(-indexList.0,argl),'")") + nil + if #indexList > 1 then + scriptArgs:= formatArgList take(indexList.1,argl) + argl := drop(indexList.1,argl) + for i in rest rest indexList repeat + subArglist:= take(i,argl) + argl:= drop(i,argl) + scriptArgs:= concat(scriptArgs,";",formatArgList subArglist) + scriptArgs:= + scriptArgs => concat(specialChar 'lbrk,scriptArgs, specialChar 'rbrk) + nil + l := [(STRINGP f => f; STRINGIMAGE f) for f in + concat(cleanOp,scriptArgs,fnArgs)] + "STRCONC"/l + +formatArgList l == + null l => nil + acc:= linearFormat first l + for x in rest l repeat + acc:= concat(acc,",",linearFormat x) + acc + +formTuple2String argl == + null argl => nil + string:= form2StringLocal first argl + for x in rest argl repeat + string:= concat(string,concat(",",form2StringLocal x)) + string + +isInternalFunctionName(op) == + (not IDENTP(op)) or (op = "*") or (op = "**") => NIL + (1 = SIZE(op':= PNAME op)) or (char("*") ^= op'.0) => NIL + -- if there is a semicolon in the name then it is the name of + -- a compiled spad function + null (e := STRPOS('"_;",op',1,NIL)) => NIL + (char(" ") = (y := op'.1)) or (char("*") = y) => NIL + table := MAKETRTTABLE('"0123456789",NIL) + s := STRPOSL(table,op',1,true) + null(s) or s > e => NIL + SUBSTRING(op',s,e-s) + +application2String(op,argl, linkInfo) == + null argl => + (op' := isInternalFunctionName(op)) => op' + app2StringWrap(formWrapId op, linkInfo) + 1=#argl => + first argl is ["<",:.] => concat(op,first argl) + concat(app2StringWrap(formWrapId op, linkInfo)," ",first argl) +--op in '(UP SM) => +-- newop:= (op = "UP" => "P";"M") +-- concat(newop,concat(lbrkSch(),argl.0,rbrkSch(),argl.1)) +--op='RM =>concat("M",concat(lbrkSch(), +-- argl.0,",",argl.1,rbrkSch(),argl.2)) +--op='MP =>concat("P",concat(argl.0,argl.1)) + op='SEGMENT => + null argl => '".." + (null rest argl) or (null first rest argl) => + concat(first argl, '"..") + concat(first argl, concat('"..", first rest argl)) + concat(app2StringWrap(formWrapId op, linkInfo) , + concat("_(",concat(tuple2String argl,"_)"))) + +app2StringConcat0(x,y) == + FORMAT(NIL, '"~a ~a", x, y) + +app2StringWrap(string, linkInfo) == + not linkInfo => string + $formatSigAsTeX = 1 => string + $formatSigAsTeX = 2 => + str2 := "app2StringConcat0"/form2Fence linkInfo + sep := '"`" + FORMAT(NIL, '"\lispLink{\verb!(|conPage| '~a)!}{~a}", + str2, string) + error "Bad value for $formatSigAsTeX" + +record2String x == + argPart := NIL + for [":",a,b] in x repeat argPart:= + concat(argPart,",",a,": ",form2StringLocal b) + null argPart => '"Record()" + concat("Record_(",rest argPart,"_)") + +plural(n,string) == + suffix:= + n = 1 => '"" + '"s" + [:bright n,string,suffix] + +formatIf pred == + not pred => nil + pred in '(T (QUOTE T)) => nil + concat('%b,'"if",'%d,pred2English pred) + +formatPredParts s == + s is ['QUOTE,s1] => formatPredParts s1 + s is ['LIST,:s1] => [formatPredParts s2 for s2 in s1] + s is ['devaluate,s1] => formatPredParts s1 + s is ['getDomainView,s1,.] => formatPredParts s1 + s is ['SUBST,a,b,c] => -- this is a signature + s1 := formatPredParts SUBST(formatPredParts a,b,c) + s1 isnt [fun,sig] => s1 + ['SIGNATURE,fun,[formatPredParts(r) for r in sig]] + s + +pred2English x == + x is ['IF,cond,thenClause,elseClause] => + c := concat('"if ",pred2English cond) + t := concat('" then ",pred2English thenClause) + e := concat('" else ",pred2English elseClause) + concat(c,t,e) + x is ['AND,:l] => + tail:="append"/[concat(bright '"and",pred2English x) for x in rest l] + concat(pred2English first l,tail) + x is ['OR,:l] => + tail:= "append"/[concat(bright '"or",pred2English x) for x in rest l] + concat(pred2English first l,tail) + x is ['NOT,l] => + concat('"not ",pred2English l) + x is [op,a,b] and op in '(has ofCategory) => + concat(pred2English a,'%b,'"has",'%d,form2String abbreviate b) + x is [op,a,b] and op in '(HasSignature HasAttribute HasCategory) => + concat(prefix2String0 formatPredParts a,'%b,'"has",'%d, + prefix2String0 formatPredParts b) + x is [op,a,b] and op in '(ofType getDomainView) => + if b is ['QUOTE,b'] then b := b' + concat(pred2English a,'": ",form2String abbreviate b) + x is [op,a,b] and op in '(isDomain domainEqual) => + concat(pred2English a,'" = ",form2String abbreviate b) + x is [op,:.] and (translation := LASSOC(op,'( + (_< . " < ") (_<_= . " <= ") + (_> . " > ") (_>_= . " >= ") (_= . " = ") (_^_= . " _^_= ")))) => + concat(pred2English a,translation,pred2English b) + x is ['ATTRIBUTE,form] => + concat("attribute: ",form2String form) + form2String x + +object2String x == + STRINGP x => x + IDENTP x => PNAME x + NULL x => '"" + PAIRP x => STRCONC(object2String first x, object2String rest x) + WRITE_-TO_-STRING x + +object2Identifier x == + IDENTP x => x + STRINGP x => INTERN x + INTERN WRITE_-TO_-STRING x + +blankList x == "append"/[[BLANK,y] for y in x] +--------------------> NEW DEFINITION (see cformat.boot.pamphlet) +pkey keyStuff == + if not PAIRP keyStuff then keyStuff := [keyStuff] + allMsgs := ['" "] + while not null keyStuff repeat + dbN := NIL + argL := NIL + key := first keyStuff + keyStuff := IFCDR keyStuff + next := IFCAR keyStuff + while PAIRP next repeat + if CAR next = 'dbN then dbN := CADR next + else argL := next + keyStuff := IFCDR keyStuff + next := IFCAR keyStuff + oneMsg := returnStLFromKey(key,argL,dbN) + allMsgs := ['" ", :NCONC (oneMsg,allMsgs)] + allMsgs + +string2Float s == + -- takes a string, calls the parser on it and returns a float object + p := ncParseFromString s + p isnt [["$elt", FloatDomain, "float"], x, y, z] => + systemError '"string2Float: did not get a float expression" + flt := getFunctionFromDomain("float", FloatDomain, + [$Integer, $Integer, $PositiveInteger]) + SPADCALL(x, y, z, flt) + + + +form2Fence form == + -- body of dbMkEvalable + [op, :.] := form + kind := GETDATABASE(op,'CONSTRUCTORKIND) + kind = 'category => form2Fence1 form + form2Fence1 mkEvalable form + +form2Fence1 x == + x is [op,:argl] => + op = 'QUOTE => ['"(QUOTE ",:form2FenceQuote first argl,'")"] + ['"(", FORMAT(NIL, '"|~a|", op),:"append"/[form2Fence1 y for y in argl],'")"] + IDENTP x => FORMAT(NIL, '"|~a|", x) +-- [x] + ['" ", x] + +form2FenceQuote x == + NUMBERP x => [STRINGIMAGE x] + SYMBOLP x => [FORMAT(NIL, '"|~a|", x)] + atom x => '"??" + ['"(",:form2FenceQuote first x,:form2FenceQuoteTail rest x] + +form2FenceQuoteTail x == + null x => ['")"] + atom x => ['" . ",:form2FenceQuote x,'")"] + ['" ",:form2FenceQuote first x,:form2FenceQuoteTail rest x] + +form2StringList u == + atom (r := form2String u) => [r] + r +@ +\eject +\begin{thebibliography}{99} +\bibitem{1} nothing +\end{thebibliography} +\end{document} |