// ***** VDMTOOLS START Name=init KEEP=NO
public void init(final HashMap data) throws CGException {
String fname = new String("expression");
Boolean cond_4 = null;
cond_4 = new Boolean(data.containsKey(fname));
if (cond_4.booleanValue()) setExpression((IOmlExpression) data.get(fname));
}
// ***** VDMTOOLS START Name=init KEEP=NO
public void init(final HashMap data) throws CGException {
String fname = new String("name_list");
Boolean cond_4 = null;
cond_4 = new Boolean(data.containsKey(fname));
if (cond_4.booleanValue()) setNameList((Vector) data.get(fname));
}
// ***** VDMTOOLS START Name=init KEEP=NO
public void init(final HashMap data) throws CGException {
{
String fname = new String("dom_type");
Boolean cond_4 = null;
cond_4 = new Boolean(data.containsKey(fname));
if (cond_4.booleanValue()) setDomType((IOmlType) data.get(fname));
}
{
String fname = new String("rng_type");
Boolean cond_13 = null;
cond_13 = new Boolean(data.containsKey(fname));
if (cond_13.booleanValue()) setRngType((IOmlType) data.get(fname));
}
}