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