// ***** 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);
}