Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## 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 `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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage