Java HashMap Examples

Example #1

File: OmlExitStatement.java Project: carvil/jml_vdm_mapper

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

Example #2

File: OmlActExpression.java Project: carvil/jml_vdm_mapper

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

Example #3

File: OmlOperationType.java Project: carvil/jml_vdm_mapper

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