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