コード例 #1
0
  // ***** VDMTOOLS START Name=JmlRequiresClause KEEP=NO
  public JmlRequiresClause() throws CGException {
    try {
      ivRequiresExpression = null;
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
  }
コード例 #2
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());
    }
  }
コード例 #3
0
  // ***** VDMTOOLS START Name=JmlUnaryExpression KEEP=NO
  public JmlUnaryExpression() throws CGException {
    try {

      ivOperator = null;
      ivExpression = null;
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
  }
コード例 #4
0
  // ***** VDMTOOLS START Name=JmlRequiresClause KEEP=NO
  public JmlRequiresClause(final IJmlExpression p1, final Long line, final Long column)
      throws CGException {

    try {
      ivRequiresExpression = null;
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
    {
      setRequiresExpression((IJmlExpression) p1);
      setPosition(line, column);
    }
  }
コード例 #5
0
  // ***** VDMTOOLS START Name=JmlUnaryExpression KEEP=NO
  public JmlUnaryExpression(final IJmlUnaryOperator p1, final IJmlExpression p2)
      throws CGException {

    try {

      ivOperator = null;
      ivExpression = null;
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
    {
      setOperator((IJmlUnaryOperator) p1);
      setExpression((IJmlExpression) p2);
    }
  }
コード例 #6
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);
    }
  }