diff options
author | dos-reis <gdr@axiomatics.org> | 2007-10-15 07:32:38 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-10-15 07:32:38 +0000 |
commit | 6c715d9b21d64a8d6e46563d238c5526cab811a3 (patch) | |
tree | 3f47b1e28138da174f98cfe7c7a028c98b96de5d /src/interp/g-error.boot.pamphlet | |
parent | 438fc2b3dca328c5e9a10e75ccb6ec25d8cf782e (diff) | |
download | open-axiom-6c715d9b21d64a8d6e46563d238c5526cab811a3.tar.gz |
remove more pamphlets from interp/
Diffstat (limited to 'src/interp/g-error.boot.pamphlet')
-rw-r--r-- | src/interp/g-error.boot.pamphlet | 225 |
1 files changed, 0 insertions, 225 deletions
diff --git a/src/interp/g-error.boot.pamphlet b/src/interp/g-error.boot.pamphlet deleted file mode 100644 index 35cd7ebb..00000000 --- a/src/interp/g-error.boot.pamphlet +++ /dev/null @@ -1,225 +0,0 @@ -\documentclass{article} -\usepackage{axiom} - -\title{\File{src/interp/g-error.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>> - -import '"diagnostics" -import '"g-util" -)package "BOOT" - --- This file contains the error printing code used in BOOT and SPAD. --- While SPAD only calls "error" (which is then labeled as an algebra --- error, BOOT calls "userError" and "systemError" when a problem is --- found. --- --- The variable $BreakMode is set using the system command )set breakmode --- and can have one of the values: --- break -- always enter a lisp break when an error is signalled --- nobreak -- do not enter lisp break mode --- query -- ask the user if break mode should be entered - -$SystemError == 'SystemError -$UserError == 'UserError -$AlgebraError =='AlgebraError - --- REDERR is used in BFLOAT LISP, should be a macro --- REDERR msg == error msg - --- BFLERRMSG func == --- errorSupervisor($AlgebraError,STRCONC( --- '"BigFloat: invalid argument to ",func)) - -argumentDataError(argnum, condit, funname) == - msg := ['"The test",:bright pred2English condit,'"evaluates to", - :bright '"false",'%l,'" for argument",:bright argnum,_ - '"to the function",:bright funname,'"and this indicates",'%l,_ - '" that the argument is not appropriate."] - errorSupervisor($AlgebraError,msg) - -queryUser msg == - -- display message and return reply - sayBrightly msg - read_-line _*TERMINAL_-IO_* - --- errorSupervisor is the old style error message trapper - -errorSupervisor(errorType,errorMsg) == - errorSupervisor1(errorType,errorMsg,$BreakMode) - -errorSupervisor1(errorType,errorMsg,$BreakMode) == - $cclSystem and $BreakMode = 'trapNumerics => - THROW('trapNumerics,$numericFailure) - BUMPERRORCOUNT "semantic" - errorLabel := - errorType = $SystemError => '"System error" - errorType = $UserError => '"Apparent user error" - errorType = $AlgebraError => - '"Error detected within library code" - STRINGP errorType => errorType - '"Error with unknown classification" - msg := - errorMsg is ['mathprint, :.] => errorMsg - not PAIRP errorMsg => ['" ", errorMsg] - splitmsg := true - if member('%b,errorMsg) then splitmsg := nil - else if member('%d,errorMsg) then splitmsg := nil - else if member('%l,errorMsg) then splitmsg := nil - splitmsg => CDR [:['%l,'" ",u] for u in errorMsg] - ['" ",:errorMsg] - sayErrorly(errorLabel, msg) - handleLispBreakLoop($BreakMode) - -handleLispBreakLoop($BreakMode) == - TERPRI() - -- The next line is to try to deal with some reported cases of unwanted - -- backtraces appearing, MCD. - ENABLE_-BACKTRACE(nil) - $BreakMode = 'break => - sayBrightly '" " - BREAK() - $BreakMode = 'query => - gotIt := nil - while not gotIt repeat - gotIt := true - msgQ := - $cclSystem => - ['%l,'" You have two options. Enter:",'%l,_ - '" ",:bright '"top ",'" to return to top level, or",'%l,_ - '" ",:bright '"break ",'" to enter a LISP break loop.",'%l,_ - '%l,'" Please enter your choice now:"] - ['%l,'" You have three options. Enter:",'%l,_ - '" ",:bright '"continue",'" to continue processing,",'%l,_ - '" ",:bright '"top ",'" to return to top level, or",'%l,_ - '" ",:bright '"break ",'" to enter a LISP break loop.",'%l,_ - '%l,'" Please enter your choice now:"] - x := STRING2ID_-N(queryUser msgQ,1) - x := - $cclSystem => - selectOptionLC(x,'(top break),NIL) - selectOptionLC(x,'(top break continue),NIL) - null x => - sayBrightly bright '" That was not one of your choices!" - gotIt := NIL - x = 'top => returnToTopLevel() - x = 'break => - $BreakMode := 'break - if not $cclSystem then - sayBrightly ['" Enter",:bright '":C", - '"when you are ready to continue processing where you ",'%l,_ - '" interrupted the system, enter",:bright '"(TOP)",_ - '"when you wish to return",'%l,'" to top level.",'%l,'%l] - BREAK() - sayBrightly - '" Processing will continue where it was interrupted." - THROW('SPAD__READER, nil) - $BreakMode = 'resume => - returnToReader() - returnToTopLevel() - -TOP() == returnToTopLevel() - -returnToTopLevel() == - SETQ(CHR, "ENDOFLINECHR") - SETQ(TOK, 'END__UNIT) - TOPLEVEL() - -returnToReader() == - ^$ReadingFile => returnToTopLevel() - sayBrightly ['" Continuing to read the file...", '%l] - THROW('SPAD__READER, nil) - -sayErrorly(errorLabel, msg) == - $saturn => saturnSayErrorly(errorLabel, msg) - sayErrorly1(errorLabel, msg) - -saturnSayErrorly(errorLabel, msg) == - SETQ(_*STANDARD_-OUTPUT_*, $texOutputStream) - old := pushSatOutput("line") - sayString '"\bgroup\color{red}" - sayString '"\begin{verbatim}" - sayErrorly1(errorLabel, msg) - sayString '"\end{verbatim}" - sayString '"\egroup" - popSatOutput(old) - -sayErrorly1(errorLabel, msg) == - sayBrightly '" " - if $testingSystem then sayMSG $testingErrorPrefix - sayBrightly ['" >> ",errorLabel,'":"] - m := msg - msg is ['mathprint, mathexpr] => - mathprint mathexpr - sayBrightly msg - --- systemError is being phased out. Please use keyedSystemError. -systemError(:x) == errorSupervisor($SystemError,IFCAR x) - --- unexpectedSystemError() == --- systemError '"Oh, no. Unexpected internal error." - -userError x == errorSupervisor($UserError,x) - -error(x) == errorSupervisor($AlgebraError,x) - -IdentityError(op) == - error(["No identity element for reduce of empty list using operation",op]) - -throwMessage(:msg) == - if $compilingMap then clearCache $mapName - msg' := mkMessage concatList msg - sayMSG msg' - if $printMsgsToFile then sayMSG2File msg' - spadThrow() - -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} |