Uses of Class
java.lang.CloneNotSupportedException

Packages that use CloneNotSupportedException

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.samples.stacks	This package contains samples of JML specifications relating to stacks of various sorts.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CloneNotSupportedException in java.lang

Methods in java.lang that throw CloneNotSupportedException

protected Object

Object.clone()

Uses of CloneNotSupportedException in java.util

Methods in java.util that throw CloneNotSupportedException

protected Object

AbstractMap.clone()

Uses of CloneNotSupportedException in org.jmlspecs.samples.stacks

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

abstract Object	BoundedThing.clone()
Object	BoundedStackImplementation.clone()

Uses of CloneNotSupportedException in org.multijava.mjc

Methods in org.multijava.mjc that throw CloneNotSupportedException

Object	CClassType.clone() We need to allow cloning of CClassType and its subtypes, in order to be able to create a new CClassType with the correct universe modifier.
Object	MJTopLevelMethodDeclaration.clone() Creates a shallow copy of this.