/** @apilevel internal */ @SuppressWarnings({"unchecked", "cast"}) public FloatType clone() throws CloneNotSupportedException { FloatType node = (FloatType) super.clone(); node.boxed_computed = false; node.boxed_value = null; node.jvmName_computed = false; node.jvmName_value = null; node.getSootType_computed = false; node.getSootType_value = null; node.in$Circle(false); node.is$Final(false); return node; }