Ejemplo n.º 1
0
  // ***** 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));
  }
Ejemplo n.º 2
0
  // ***** 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));
  }
Ejemplo n.º 3
0
  // ***** 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));
    }
  }
Ejemplo n.º 4
0
  // ***** 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));
    }
  }
Ejemplo n.º 5
0
  // ***** 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));
    }
  }