|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SExpTypeError | |
escjava.prover | |
escjava.translate |
Uses of SExpTypeError in escjava.prover |
Methods in escjava.prover that throw SExpTypeError | |
(package private) SPair |
SList.getPair()
If we represent a non-empty list, return it as a SPair ; otherwise, throw SExpTypeError . |
SExp |
SList.at(int i)
|
void |
SList.setAt(int i,
SExp s)
Modify the list in place by set the i th element to
s . |
private boolean |
SList.specialPrint(java.io.PrintStream out)
Specially print a textual representation of us on a given PrintStream . |
static void |
SList.main(java.lang.String[] args)
A simple test routine |
Atom |
SExp.getAtom()
If we represent an atom, return it as an Atom ;
otherwise, throw SExpTypeError . |
int |
SExp.getInteger()
If we represent an integer, return it as an int ;
otherwise, throw an SExpTypeError . |
SList |
SExp.getList()
If we represent a list, return it as an SList ;
otherwise, throw SExpTypeError . |
static void |
SExp.main(java.lang.String[] args)
A simple test routine |
static void |
SExp.display(SExp x)
Display a SExp verbosely, using all its accessor
methods.
|
Uses of SExpTypeError in escjava.translate |
Methods in escjava.translate that throw SExpTypeError | |
private static void |
ErrorMsg.printErrorMessage(java.lang.String s,
SList counterexampleContext,
RoutineDecl rd,
Set directTargets,
java.io.PrintStream out,
boolean assocOnly)
Parses s and prints a nice error message to
out . |
private static void |
ErrorMsg.displayInvariantContext(SList counterexampleContext,
java.io.PrintStream out)
|
private static SList |
ErrorMsg.pruneCC(SList cc)
Prune out s-expressions from the counterexample context that are almost certainly irrelevant. |
private static void |
ErrorMsg.houdiniPrintErrorMessage(java.lang.String s,
java.io.PrintStream out,
java.lang.String[] map)
Parses s and prints an error message for the
houdini log to out. |
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |