示例#1
0
  // ***** VDMTOOLS START Name=JmlClassType KEEP=NO
  public JmlClassType() throws CGException {
    try {

      ivId = UTIL.ConvertToString(new String());
      ivFieldList = new Vector();
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
  }
示例#2
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));
    }
  }
示例#3
0
  // ***** VDMTOOLS START Name=JmlClassType KEEP=NO
  public JmlClassType(final String p1, final Vector p2, final Long line, final Long column)
      throws CGException {

    try {

      ivId = UTIL.ConvertToString(new String());
      ivFieldList = new Vector();
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
    {
      setId(p1);
      setFieldList(p2);
      setPosition(line, column);
    }
  }
示例#4
0
 // ***** VDMTOOLS START Name=setId KEEP=NO
 public void setId(final String parg) throws CGException {
   ivId = UTIL.ConvertToString(UTIL.clone(parg));
 }