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