// ***** VDMTOOLS START Name=accept KEEP=NO
public void accept(final IJmlVisitor pVisitor) throws CGException {
pVisitor.visitRequiresClause((IJmlRequiresClause) this);
}
// ***** VDMTOOLS START Name=accept KEEP=NO
public void accept(final IJmlVisitor pVisitor) throws CGException {
pVisitor.visitClassType((IJmlClassType) this);
}
// ***** VDMTOOLS START Name=accept KEEP=NO
public void accept(final IJmlVisitor pVisitor) throws CGException {
pVisitor.visitUnaryExpression((IJmlUnaryExpression) this);
}