Uses of Class
escjava.prover.SExpTypeError

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 ith 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.