|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.prover.SExp
escjava.prover.SInt
Field Summary | |
private int |
value
The int we represent. |
Constructor Summary | |
private |
SInt(int i)
Create a SInt representing a given
int . |
Method Summary | |
boolean |
equals(java.lang.Object o)
|
(package private) static SInt |
fromInt(int i)
Create a SInt representing a given
int . |
int |
getInteger()
If we represent an integer, return it as an int ;
otherwise, throw SExpTypeError. |
boolean |
isInteger()
|
void |
prettyPrint(java.io.PrintStream out)
Pretty-print a textual representation of us on a given PrintStream .
|
void |
print(java.io.PrintStream out)
Print a textual representation of us on a given PrintStream .
|
Methods inherited from class escjava.prover.SExp |
display, fancyMake, getAtom, getList, isAtom, isList, main, make, print, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
private int value
int
we represent.
Constructor Detail |
private SInt(int i)
SInt
representing a given
int
. Clients are allowed to create
SInt
s only by calling fromInt
so we
can choose later to intern if we wish.
Method Detail |
static SInt fromInt(int i)
SInt
representing a given
int
.
public boolean isInteger()
isInteger
in class SExp
true
.public int getInteger()
int
;
otherwise, throw SExpTypeError.
getInteger
in class SExp
public boolean equals(java.lang.Object o)
true
iff parameter o
is an
SInt
with the same value as this
.public void print(java.io.PrintStream out)
PrintStream
.
Note: This routine will take a PrintWriter
instead when we switch to a more recent version of JDK.
print
in class SExp
public void prettyPrint(java.io.PrintStream out)
PrintStream
.
Note: This routine will take a PrintWriter
instead when we switch to a more recent version of JDK.
prettyPrint
in class SExp
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |