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