Java UTIL.clone Examples

Example #1

File: OmlExitStatement.java Project: carvil/jml_vdm_mapper

 // ***** VDMTOOLS START Name=setExpression KEEP=NO
 public void setExpression(final IOmlExpression parg) throws CGException {
   ivExpression = (IOmlExpression) UTIL.clone(parg);
 }

Example #2

File: OmlActExpression.java Project: carvil/jml_vdm_mapper

 // ***** VDMTOOLS START Name=setNameList KEEP=NO
 public void setNameList(final Vector parg) throws CGException {
   ivNameList = (Vector) UTIL.ConvertToList(UTIL.clone(parg));
 }

Example #3

File: OmlOperationType.java Project: carvil/jml_vdm_mapper

 // ***** VDMTOOLS START Name=setRngType KEEP=NO
 public void setRngType(final IOmlType parg) throws CGException {
   ivRngType = (IOmlType) UTIL.clone(parg);
 }