diff options
Diffstat (limited to 'src/interp/record.boot.pamphlet')
| -rw-r--r-- | src/interp/record.boot.pamphlet | 300 |
1 files changed, 300 insertions, 0 deletions
diff --git a/src/interp/record.boot.pamphlet b/src/interp/record.boot.pamphlet new file mode 100644 index 00000000..f716f545 --- /dev/null +++ b/src/interp/record.boot.pamphlet @@ -0,0 +1,300 @@ +\documentclass{article} +\usepackage{axiom} + +\title{\File{src/interp/record.boot} Pamphlet} +\author{The Axiom Team} + +\begin{document} +\maketitle +\begin{abstract} +\end{abstract} +\eject +\tableofcontents +\eject +\begin{verbatim} + Usage + +)bo inputFile2RecordFile('"<idir>fn.input",'"<odir>a.b") + converts input file "fn" to a record file stored at "<odir>fn.record". + If you give one argument, <idir> is used for <odir> + +)bo htFile2RecordFile('"<idir>fn.ht",'"<odir>a.b") + converts HT file "fn" to a record file stored at "<odir>fn.record". + If you give one argument, record file goes to "<idir>fn.record". + A file "<odir>fn.input" is produced as a side-effect. + +)bo htFile2InputFile('"<idir>fn.input",'"<odir>a.b") + converts input file "fn" to an input file stored at "<odir>fn.input" + +)bo printRecordFile('"<idir>fn.record") to display results recorded + +)bo verifyRecordFile('"<idir>fn.record") to verfiy that same output + results from running original fn.input file +\end{verbatim} + +\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>> + +--======================================================================= +-- Global Variables +--======================================================================= +$backslash := char '_\ +$testOutputLineFlag := nil -- referenced by charyTop, prnd to stash lines +$testOutputLineStack := nil -- saves lines to be printed (needed to convert + -- lines for use in hypertex) +$runTestFlag := nil -- referenced by maPrin to stash output + -- by recordAndPrint to not print type/time +$mkTestFlag := nil -- referenced by READLN to stash input + -- by maPrin to stash output + -- by recordAndPrint to write i/o onto $testStream +$mkTestInputStack := nil -- saves input for $testStream (see READLN) +$mkTestOutputStack := nil -- saves output for $testStream (see maPrin) +$mkTestOutputType := nil -- saves the type for $testStream + +--======================================================================= +-- Function for Creating a `record' file +--======================================================================= +inputFile2RecordFile(pathname,:option) == + ifn := PATHNAME_-NAME pathname + not isExistingFile pathname => throwKeyedMsg("S2IL0003",[namestring ifn]) + opath := KAR option or pathname + odirect := pathnameDirectory opath + opathname := htMkPath(odirect,ifn,'"rec") + _*PRINT_-ARRAY_*: local := true + $mkTestFlag: local := true + $runTestFlag: local := false + $mkTestInputStack: local := nil + $mkTestOutputStack: local := nil + $mkTestOutputType: local := nil + $currentLine: local := nil + if isExistingFile opathname then DELETE_-FILE opathname + $testStream := MAKE_-OUTSTREAM opathname + CATCH('SPAD__READER,_/READ(pathname,nil)) + --for trailing system commands + if not null $currentLine then recordAndPrintTest '(ForSystemCommands) + SHUT $testStream + opathname +--======================================================================= +-- Function for Displaying a `record' file +--======================================================================= +printRecordFile(pathname,:option) == + $LINELENGTH : local := KAR option or 76 + $printTimeIfTrue: local := nil + $printTypeIfTrue: local := true + stream := DEFIOSTREAM([['FILE,:pathname], '(MODE . INPUT)],80,0) + repeat + NULL (PEEK_-CHAR ( true, stream , nil, nil )) => return nil + [i,t,:o] := dewritify READ stream + sayNewLine() + for x in i repeat sayBrightly x + sayNewLine() + for x in o repeat maPrin x + if t^= '(Void) then printTypeAndTime(nil,t) + +testPrin(u,w) == --same as maPrin but lines are stored in $testOutputLineList + --these lines are needed for pasting into HT files + $LINELENGTH: local := w + $mkTestFlag: local := nil + $testOutputLineFlag: local := true + $testOutputLineList: local := nil + maPrin COPY u + res := REVERSE $testOutputLineList + for x in res repeat sayBrightly x + res + +--======================================================================= +-- Function for converting a maPrin expression to HyperTeX format +--======================================================================= +hyperize(u,w) == + $LINELENGTH: local := w + $mkTestFlag: local := nil + $testOutputLineFlag: local := true + $testOutputLineList: local := nil + maPrin COPY u + res := REVERSE $testOutputLineList + null res => '"" + null rest res => first res + "STRCONC"/[first res,:[STRCONC("\newline ",x) for x in rest res]] + +verbatimize u == + u = '"" => u + STRCONC('"\begin{verbatim}",u,'"\end{verbatim}") +--======================================================================= +-- Function for Verifying a `record' file +--======================================================================= +verifyRecordFile(pathname) == + ifn := PATHNAME_-NAME pathname + sayBrightly ['"Verifying",:bright ifn] + not isExistingFile pathname => throwKeyedMsg("S2IL0003",[namestring ifn]) + stream := MAKE_-INSTREAM pathname + clearCmdAll() + result := 'ok + for j in 1.. repeat + NULL (PEEK_-CHAR ( true, stream ,nil,nil ))=>return nil + [i,t,:o] := dewritify READ stream + null i => return nil + t = 'ForSystemCommands => + return testInput2Output(i,nil) + --read trailing system commands + [typ,:output] := testInput2Output(i,j) + typ = t => + output = o => 'ok + result := 'error + wasIs(o,output) + result := 'error + wasIs(o,output,t,typ) + suffix := (result = 'ok => '"is ok"; '"has errors") + sayBrightly [:bright ifn,suffix] + +testInput2Output(lines,n) == + $mkTestOutputStack: local := nil + $mkTestOutputType: local := nil + $mkTestFlag: local := nil + $runTestFlag: local := true + $testOutput: local + evaluateLines lines + null n => nil --return from reading trailing system commands + typ := $mkTestOutputType + output := NREVERSE $mkTestOutputStack + [prefix2String typ,:output] + +evaluateLines lines == + file := MAKE_-OUTSTREAM '"/tmp/temp.input" + for line in lines repeat +-- stringPrefix?('")read ",line) => 'skip + stringPrefix?('")r",line) => 'skip + stringPrefix?('")undo )redo",line) => 'skip + PRINTEXP(line, file) + TERPRI file + SHUT file + _/EDITFILE: fluid := '"/tmp/temp.input" + _/RF() + -- can't use _/EDITFILE since it might be reset + DELETE_-FILE '"/tmp/temp.input" + + +wasIs(old,new,:typePart) == + sayBrightly '"*************************************************************" + if old ^= new then + sayBrightly '"Was ----------> " + for x in old repeat maPrin x + sayBrightly '"Is -----------> " + for x in new repeat maPrin x + typePart is [oldtype,newtype] and oldtype ^= newtype => + sayBrightlyNT ['" Type was ---> ",oldtype] + pp old + sayBrightlyNT ['" Type is ---> ",newtype] + pp new + +--======================================================================= +-- Creating Input Files from HT Files +--======================================================================= +htFile2InputFile(pathname,:option) == + ifn := pathnameName pathname + not isExistingFile pathname => throwKeyedMsg("S2IL0003",[namestring ifn]) + opath := KAR option or pathname + odirect := pathnameDirectory opath + opathname := htMkPath(odirect,ifn,'"input") + if isExistingFile opathname then DELETE_-FILE opathname + $htStream : local := MAKE_-INSTREAM pathname + alist := [[htGetPageName u,:htGetSpadCommands()] + while (u := htExampleFind '"\begin{page}")] + SHUT $htStream + outStream := MAKE_-OUTSTREAM opathname + for [pageName,:commands] in alist repeat + PRINTEXP('"-- ",outStream) + PRINTEXP(pageName,outStream) + TERPRI outStream + PRINTEXP('")cl all",outStream) + TERPRI outStream + for x in commands repeat + PRINTEXP(htCommandToInputLine x,outStream) + TERPRI outStream + TERPRI outStream + SHUT outStream + opathname + +htCommandToInputLine s == fn(s,0) where fn(s,init) == +--similar to htTrimAtBackSlash except removes all \ + k := or/[i for i in init..MAXINDEX s | s.i = char '_\] => + member(s.(k + 1),[char 'f,char 'b]) => SUBSTRING(s,init,k - init) + STRCONC(SUBSTRING(s,init,k - init),fn(s,k + 1)) + SUBSTRING(s,init,nil) + +htTrimAtBackSlash s == + backslash := char '_\ + k := or/[i for i in 0..MAXINDEX s | s.i = backslash + and member(s.(i + 1),[char 'f,char 'b])] => SUBSTRING(s,0,k - 1) + s + +htMkPath(directory,name,typ) == + nameType := STRCONC(name,'".",typ) + null directory => nameType + STRCONC(directory,nameType) + +--======================================================================= +-- Creating Record File from HT Files +--======================================================================= +htFile2RecordFile(pathname,:option) == + inputFile2RecordFile htFile2InputFile(pathname,KAR option) + +--======================================================================= +-- Function to record and print values into $testStream +--======================================================================= +recordAndPrintTest md == --called by recordAndPrint + input := + STRINGP $currentLine => [$currentLine] + fn $currentLine where fn x == + x is [y,:r] => + y.(k := MAXINDEX y) = char '__ => + u := fn r + [STRCONC(SUBSTRING(y,0,k),'" ",first u),:rest u] + [y,:fn r] + x + output := NREVERSE $mkTestOutputStack -- set by maPrin + PRINT(writify [input,prefix2String md,:output],$testStream) + $mkTestInputStack := nil + $mkTestOutputStack := nil + + +@ +\eject +\begin{thebibliography}{99} +\bibitem{1} nothing +\end{thebibliography} +\end{document} |