Uses of Class
java.lang.NullPointerException

Packages that use NullPointerException

org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.
org.jmlspecs.samples.jmlrefman	This package contains samples of JML specifications from the JML Reference Manual.
org.jmlspecs.samples.stacks	This package contains samples of JML specifications relating to stacks of various sorts.

Uses of NullPointerException in org.jmlspecs.models

Methods in org.jmlspecs.models that throw NullPointerException

JMLValueToValueRelation	JMLValueToValueRelation.add(JMLType dv, JMLType rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLObjectToValueRelation	JMLObjectToValueRelation.add(Object dv, JMLType rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLEqualsToValueRelation	JMLEqualsToValueRelation.add(Object dv, JMLType rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLValueToEqualsRelation	JMLValueToEqualsRelation.add(JMLType dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLObjectToEqualsRelation	JMLObjectToEqualsRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLValueToObjectRelation	JMLValueToObjectRelation.add(JMLType dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
int	JMLFiniteInteger.compareTo(Object o) Compare this to o, returning a comparison code.
int	JMLInteger.compareTo(Object op2) Compare this to op2, returning a comparison code.
int	JMLString.compareTo(Object op2) Compare this to op2, returning a comparison code.
JMLEqualsToEqualsRelation	JMLEqualsToEqualsRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
int	JMLChar.compareTo(Object op2) Compare this to op2, returning a comparison code.

Constructors in org.jmlspecs.models that throw NullPointerException

JMLValueValuePair(JMLType dv, JMLType rv)
Initialize the key and value of this pair.

JMLEqualsValuePair(Object dv, JMLType rv)
Initialize the key and value of this pair.

JMLValueObjectPair(JMLType dv, Object rv)
Initialize the key and value of this pair.

JMLObjectEqualsPair(Object dv, Object rv)
Initialize the key and value of this pair.

JMLObjectValuePair(Object dv, JMLType rv)
Initialize the key and value of this pair.

JMLValueEqualsPair(JMLType dv, Object rv)
Initialize the key and value of this pair.

JMLEqualsEqualsPair(Object dv, Object rv)
Initialize the key and value of this pair.

JMLObjectObjectPair(Object dv, Object rv)
Initialize the key and value of this pair.

JMLEqualsObjectPair(Object dv, Object rv)
Initialize the key and value of this pair.

Uses of NullPointerException in org.jmlspecs.models.resolve

Methods in org.jmlspecs.models.resolve that throw NullPointerException

abstract int	TotalCompareTo.compareTo(Object obj)
abstract int	CompareTo.compareTo(Object obj) Compare this to obj, returning negative if this is strictly less than obj, 0 if they are equal, and positive otherwise.

Uses of NullPointerException in org.jmlspecs.samples.jmlrefman

Methods in org.jmlspecs.samples.jmlrefman that throw NullPointerException

abstract int

InconsistentMethodSpec2.cantBeSatisfied(int z) A specification that can't be satisfied.

Uses of NullPointerException in org.jmlspecs.samples.stacks

Methods in org.jmlspecs.samples.stacks that throw NullPointerException

abstract void

BoundedStackInterface.push(Object x)