|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.jmlspecs.models.JMLNullSafe
A class with static methods that safely work with null objects.
| Constructor Summary | |
private |
JMLNullSafe()
No instances of this class can be created. |
| Method Summary | |
static boolean |
equals(Object o1,
Object o2)
Test for equality of o1 and o2, allowing either to be null. |
static int |
hashCode(Object o)
Return a hash code for the argument, which may be null. |
static String |
toString(Object o)
Return a string representation for the argument, which may be null. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
private JMLNullSafe()
| Method Detail |
public static boolean equals(Object o1,
Object o2)
public static String toString(Object o)
public static int hashCode(Object o)
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||