// ***** VDMTOOLS START Name=setNameList KEEP=NO public void setNameList(final Vector parg) throws CGException { ivNameList = (Vector) UTIL.ConvertToList(UTIL.clone(parg)); }
// ***** VDMTOOLS START Name=hasExpression KEEP=NO public Boolean hasExpression() throws CGException { return new Boolean(!UTIL.equals(ivExpression, null)); }
// ***** VDMTOOLS START Name=setExpression KEEP=NO public void setExpression(final IOmlExpression parg) throws CGException { ivExpression = (IOmlExpression) UTIL.clone(parg); }
// ***** VDMTOOLS START Name=setRngType KEEP=NO public void setRngType(final IOmlType parg) throws CGException { ivRngType = (IOmlType) UTIL.clone(parg); }