コード例 #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=setNameList KEEP=NO
 public void setNameList(final Vector parg) throws CGException {
   ivNameList = (Vector) UTIL.ConvertToList(UTIL.clone(parg));
 }
コード例 #5
0
 // ***** VDMTOOLS START Name=setId KEEP=NO
 public void setId(final String parg) throws CGException {
   ivId = UTIL.ConvertToString(UTIL.clone(parg));
 }
コード例 #6
0
 // ***** VDMTOOLS START Name=setExpression KEEP=NO
 public void setExpression(final IOmlExpression parg) throws CGException {
   ivExpression = (IOmlExpression) UTIL.clone(parg);
 }
コード例 #7
0
 // ***** VDMTOOLS START Name=hasExpression KEEP=NO
 public Boolean hasExpression() throws CGException {
   return new Boolean(!UTIL.equals(ivExpression, null));
 }
コード例 #8
0
 // ***** VDMTOOLS START Name=setRngType KEEP=NO
 public void setRngType(final IOmlType parg) throws CGException {
   ivRngType = (IOmlType) UTIL.clone(parg);
 }
コード例 #9
0
 // ***** VDMTOOLS START Name=setRequiresExpression KEEP=NO
 public void setRequiresExpression(final IJmlExpression parg) throws CGException {
   ivRequiresExpression = (IJmlExpression) UTIL.clone(parg);
 }
コード例 #10
0
 // ***** VDMTOOLS START Name=setOperator KEEP=NO
 public void setOperator(final IJmlUnaryOperator parg) throws CGException {
   ivOperator = (IJmlUnaryOperator) UTIL.clone(parg);
 }