gov.nasa.jpf.util

Interface CloneableObject

public interface CloneableObject

the standard java.lang.Cloneable is just a type tag without methods, so we can't use it to enforce public access of clone()

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()

Method Detail

clone

java.lang.Object clone()