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