diff options
author | dos-reis <gdr@axiomatics.org> | 2007-09-12 23:47:29 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-09-12 23:47:29 +0000 |
commit | 3a83e42280a29741eefd9ec6bfbc21fb5da3aaf6 (patch) | |
tree | 2d9f8472f45ee789674ea6a0a1509b0ecf0d4330 /src/interp/posit.boot.pamphlet | |
parent | 268e1d951b28b128781ba8f4851149da0be458d9 (diff) | |
download | open-axiom-3a83e42280a29741eefd9ec6bfbc21fb5da3aaf6.tar.gz |
* posit.boot: New. Import sys-macros, astr.
(tokConstruct): Move from ptrees.boot.pamphlet.
(tokType): Likewise.
(tokPart): Likewise.
(tokPosn): Likewise.
(pfAbSynOp): Likewise.
(pfAbSynOp?): Likewise.
(pfLeaf?): Likewise.
(pfLeaf): Likewise.
(pfLeafToken): Likewise.
(pfLeafPosition): Likewise.
(pfTree): Likewise.
(pfParts): Likewise.
(pfFirst): Likewise.
(pfSecond): Likewise.
* astr.boot: New. Import boot-pkg.
* sys-constants.boot (IDENTITY): Define.
* patches.lisp.pamphlet (identity): Move definition to sys-constants.
* cformat.boot: New. Import unlisp, posit. Add ugly workwound
for GCL bug.
* incl.boot: New. Import unlisp, cstream, cformat. Tweak.
Add ugly workwound for GCL bug.
(incLude1): Fix thinko
* Makefile.pamphlet (incl.$(FASLEXT)): New rule.
(cformat.$(FASLEXT)): Likewise.
(posit.$(FASLEXT)): Likewise.
(astr.$(FASLEXT)): Likewise.
(DEP): Don't include bits.lisp.
(${DEPSYS}): Explicitly load "bits" here.
Diffstat (limited to 'src/interp/posit.boot.pamphlet')
-rw-r--r-- | src/interp/posit.boot.pamphlet | 200 |
1 files changed, 0 insertions, 200 deletions
diff --git a/src/interp/posit.boot.pamphlet b/src/interp/posit.boot.pamphlet deleted file mode 100644 index 72adfa0c..00000000 --- a/src/interp/posit.boot.pamphlet +++ /dev/null @@ -1,200 +0,0 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp posit.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>> - -)package "BOOT" - -poNoPosition() == $nopos -pfNoPosition() == poNoPosition() - -poNoPosition? pos == EQCAR(pos,'noposition) -pfNoPosition? pos == poNoPosition? pos - -pfSourceText pf == - lnString poGetLineObject pfPosn pf - -pfPosOrNopos pf == - poIsPos? (pos := pfSourcePosition pf) => pos - poNoPosition() - -poIsPos? pos == - PAIRP pos and PAIRP CAR pos and LENGTH CAR pos = 5 - -lnCreate(extBl, st, gNo, :optFileStuff) == - lNo := - num := IFCAR optFileStuff => num - 0 - fN := IFCAR IFCDR optFileStuff - [extBl, st, gNo, lNo, fN] - -lnString lineObject == - lineObject.1 - -lnExtraBlanks lineObject == - lineObject.0 - -lnGlobalNum lineObject == - lineObject.2 - -lnSetGlobalNum(lineObject, num) == - lineObject.2 := num - -lnLocalNum lineObject == - lineObject.3 - -lnFileName lineObject == - (fN := lnFileName? lineObject) => fN - ncBug('"there is no file name in %1", [lineObject] ) - -lnFileName? lineObject == - NOT PAIRP (fN := lineObject.4) => NIL - fN - -lnPlaceOfOrigin lineObject == - lineObject.4 - -lnImmediate? lineObject == - not lnFileName? lineObject - -poGetLineObject posn == - CAR posn -pfGetLineObject posn == poGetLineObject posn - -pfSourceToken form == - if pfLeaf? form - then pfLeafToken form - else if null pfParts form - then 'NoToken - else pfSourceToken(pfFirst form) - -pfPosn pf == pfSourcePosition pf - -pfSourcePosition form == - --null form => pfNoPosition() - pfLeaf? form => pfLeafPosition form - parts := pfParts form - pos := $nopos - for p in parts while poNoPosition? pos repeat - pos := pfSourcePosition p - pos - -pfSourcePositions form == - if pfLeaf? form - then - a:=tokPosn form - if null a - then nil - else [a] - else pfSourcePositionlist pfParts form - -pfSourcePositionlist x== - if null x - then nil - else APPEND(pfSourcePositions first x,pfSourcePositionlist rest x) - - -poCharPosn posn == CDR posn -pfCharPosn posn == poCharPosn posn - -poLinePosn posn == - posn => lnLocalNum poGetLineObject posn --VECP posn => - CDAR posn -pfLinePosn posn == poLinePosn posn - -poGlobalLinePosn posn == - posn => lnGlobalNum poGetLineObject posn - ncBug('"old style pos objects have no global positions",[]) -pfGlobalLinePosn posn == poGlobalLinePosn posn - -poFileName posn == - posn => lnFileName poGetLineObject posn - CAAR posn -pfFileName posn == poFileName posn - -poFileName? posn == - posn = ['noposition] => NIL - posn => lnFileName? poGetLineObject posn - CAAR posn -pfFileName? posn == poFileName? posn - -poPlaceOfOrigin posn == - lnPlaceOfOrigin poGetLineObject posn -pfPlaceOfOrigin posn == poPlaceOfOrigin posn - -poNopos? posn == - posn = ['noposition] -pfNopos? posn == poNopos? posn -poPosImmediate? txp== - poNopos? txp => NIL - lnImmediate? poGetLineObject txp -pfPosImmediate? txp == poPosImmediate? txp - -poImmediate? txp== - lnImmediate? poGetLineObject txp -pfImmediate? txp == poImmediate? txp - - -compareposns(a,b)== - c:=poGlobalLinePosn a - d:=poGlobalLinePosn b - if c=d then poCharPosn a>=poCharPosn b else c>=d - -pfPrintSrcLines(pf) == - lines := pfSourcePositions pf - lno := 0 - for l in lines repeat - line := car l - if lno < lnGlobalNum(line) then - FORMAT(true, '" ~A~%", lnString line) - lno := lnGlobalNum(line) - -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} |