// ***** 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("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("id"); Boolean cond_4 = null; cond_4 = new Boolean(data.containsKey(fname)); if (cond_4.booleanValue()) setId(UTIL.ConvertToString(data.get(fname))); } { String fname = new String("field_list"); Boolean cond_13 = null; cond_13 = new Boolean(data.containsKey(fname)); if (cond_13.booleanValue()) setFieldList((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)); } }
// ***** VDMTOOLS START Name=init KEEP=NO public void init(final HashMap data) throws CGException { { String fname = new String("operator"); Boolean cond_4 = null; cond_4 = new Boolean(data.containsKey(fname)); if (cond_4.booleanValue()) setOperator((IJmlUnaryOperator) data.get(fname)); } { String fname = new String("expression"); Boolean cond_13 = null; cond_13 = new Boolean(data.containsKey(fname)); if (cond_13.booleanValue()) setExpression((IJmlExpression) data.get(fname)); } }