Uses of Class
java.lang.ClassCastException

Packages that use ClassCastException

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
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.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util.classfile	Provides an editor for classfiles used by MultiJava and the Java Modeling Language.

Uses of ClassCastException in java.lang

Methods in java.lang that throw ClassCastException

int	Short.compareTo(Object o)

Uses of ClassCastException in org.jmlspecs.checker

Methods in org.jmlspecs.checker that throw ClassCastException

int	JmlSourceClass.compareTo(Object o) Compares this to a given object.
int	JmlTypeDeclaration.compareTo(Object o) Compares this to a given object.
int	JmlMethodDeclaration.compareTo(Object o) Compares this method to a given method and returns 0 if the methods belong to the same generic function, otherwise returns -1 or +1 to sort the methods.
int	JmlCompilationUnit.compareTo(Object o) Compares this to a given object.
int	JInterfaceDeclarationWrapper.compareTo(Object o)
int	JClassDeclarationWrapper.compareTo(Object o)

Uses of ClassCastException in org.jmlspecs.models

Methods in org.jmlspecs.models that throw ClassCastException

static JMLValueSet	JMLValueSet.convertFrom(Collection c) Return the set containing all the value in the given collection.
static JMLValueSet	JMLValueSet.convertFrom(JMLCollection c) Return the set containing all the value in the given JMLCollection.
static JMLObjectSequence	JMLObjectSequence.convertFrom(Collection c) Return the sequence containing all the object in the given collection in the same order as the elements appear in the collection.
static JMLObjectSequence	JMLObjectSequence.convertFrom(JMLCollection c) Return the sequence containing all the object in the given JMLCollection in the same order as the elements appear in the collection.
abstract int	JMLInfiniteInteger.compareTo(Object o) Compare this to o, returning a comparison code.
abstract int	JMLComparable.compareTo(Object o) Compare this to o, returning a comparison code.
int	JMLPositiveInfinity.compareTo(Object o) Compare this to o, returning a comparison code.
static JMLValueSequence	JMLValueSequence.convertFrom(Collection c) Return the sequence containing all the value in the given collection in the same order as the elements appear in the collection.
static JMLValueSequence	JMLValueSequence.convertFrom(JMLCollection c) Return the sequence containing all the value in the given JMLCollection in the same order as the elements appear in the collection.
static JMLValueBag	JMLValueBag.convertFrom(Collection c) Return the bag containing all the value in the given collection.
static JMLValueBag	JMLValueBag.convertFrom(JMLCollection c) Return the bag containing all the value in the given JMLCollection.
static JMLEqualsSet	JMLEqualsSet.convertFrom(Collection c) Return the set containing all the object in the given collection.
static JMLEqualsSet	JMLEqualsSet.convertFrom(JMLCollection c) Return the set containing all the object in the given JMLCollection.
static JMLObjectSet	JMLObjectSet.convertFrom(Collection c) Return the set containing all the object in the given collection.
static JMLObjectSet	JMLObjectSet.convertFrom(JMLCollection c) Return the set containing all the object in the given JMLCollection.
int	JMLByte.compareTo(Object op2) Compare this to op2, returning a comparison code.
static JMLEqualsSequence	JMLEqualsSequence.convertFrom(Collection c) Return the sequence containing all the object in the given collection in the same order as the elements appear in the collection.
static JMLEqualsSequence	JMLEqualsSequence.convertFrom(JMLCollection c) Return the sequence containing all the object in the given JMLCollection in the same order as the elements appear in the collection.
static JMLObjectBag	JMLObjectBag.convertFrom(Collection c) Return the bag containing all the object in the given collection.
static JMLObjectBag	JMLObjectBag.convertFrom(JMLCollection c) Return the bag containing all the object in the given JMLCollection.
int	JMLFiniteInteger.compareTo(Object o) Compare this to o, returning a comparison code.
int	JMLShort.compareTo(Object op2) Compare this to op2, returning a comparison code.
int	JMLInteger.compareTo(Object op2) Compare this to op2, returning a comparison code.
static JMLEqualsBag	JMLEqualsBag.convertFrom(Collection c) Return the bag containing all the object in the given collection.
static JMLEqualsBag	JMLEqualsBag.convertFrom(JMLCollection c) Return the bag containing all the object in the given JMLCollection.
int	JMLString.compareTo(Object op2) Compare this to op2, returning a comparison code.
int	JMLDouble.compareTo(Object op2) Compare this to op2, returning a comparison code.
int	JMLFloat.compareTo(Object op2) Compare this to op2, returning a comparison code.
int	JMLLong.compareTo(Object op2) Compare this to op2, returning a comparison code.
int	JMLNegativeInfinity.compareTo(Object o) Compare this to o, returning a comparison code.
int	JMLChar.compareTo(Object op2) Compare this to op2, returning a comparison code.

Uses of ClassCastException in org.jmlspecs.models.resolve

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

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.
int	NaturalNumber.compareTo(Object o)

Uses of ClassCastException in org.multijava.mjc

Methods in org.multijava.mjc that throw ClassCastException

int	JCompilationUnit.compareTo(Object o) Compares this to a given object.
int	CClass.compareTo(Object o) Compares this to a given object.
boolean	CClass.equals(Object o) Compares the fully qualified name of this with the fully qualified name of o.
int	CType.compareTo(Object o) Compares this to another type alphabetically by identifier.
int	JTypeDeclaration.compareTo(Object o) Compares this to a given object.
abstract int	JMethodDeclarationType.compareTo(Object o) Compares this method to a given method and returns 0 if the methods belong to the same generic function, otherwise returns -1 or +1 to sort the methods.
int	JMethodDeclaration.compareTo(Object o) Compares this method to a given method and returns 0 if the methods belong to the same generic function, otherwise returns -1 or +1 to sort the methods.
int	MJTopLevelMethodDeclaration.compareTo(Object o) Compares this method to a given method and returns 0 if the methods belong to the same generic function, otherwise returns -1 or +1 to sort the methods.

Uses of ClassCastException in org.multijava.util.classfile

Methods in org.multijava.util.classfile that throw ClassCastException

int	ClassConstant.compareTo(Object o)
int	InnerClassInfo.compareTo(Object o)
int	AsciiConstant.compareTo(Object o)