Ejemplo n.º 1
0
  // ***** VDMTOOLS START Name=OmlActExpression KEEP=NO
  public OmlActExpression() throws CGException {
    try {
      ivNameList = new Vector();
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
  }
Ejemplo n.º 2
0
  // ***** VDMTOOLS START Name=OmlExitStatement KEEP=NO
  public OmlExitStatement() throws CGException {
    try {
      ivExpression = null;
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
  }
Ejemplo n.º 3
0
  // ***** VDMTOOLS START Name=OmlOperationType KEEP=NO
  public OmlOperationType() throws CGException {
    try {

      ivDomType = null;
      ivRngType = null;
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
  }
Ejemplo n.º 4
0
  // ***** VDMTOOLS START Name=OmlActExpression KEEP=NO
  public OmlActExpression(final Vector p1, final Long line, final Long column) throws CGException {

    try {
      ivNameList = new Vector();
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
    {
      setNameList(p1);
      setPosition(line, column);
    }
  }
Ejemplo n.º 5
0
  // ***** VDMTOOLS START Name=OmlExitStatement KEEP=NO
  public OmlExitStatement(final IOmlExpression p1, final Long line, final Long column)
      throws CGException {

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

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
    {
      setExpression((IOmlExpression) p1);
      setPosition(line, column);
    }
  }
Ejemplo n.º 6
0
  // ***** VDMTOOLS START Name=OmlOperationType KEEP=NO
  public OmlOperationType(final IOmlType p1, final IOmlType p2) throws CGException {

    try {

      ivDomType = null;
      ivRngType = null;
    } catch (Exception e) {

      e.printStackTrace(System.out);
      System.out.println(e.getMessage());
    }
    {
      setDomType((IOmlType) p1);
      setRngType((IOmlType) p2);
    }
  }