// ***** VDMTOOLS START Name=accept KEEP=NO public void accept(final IOmlVisitor pVisitor) throws CGException { pVisitor.visitOperationType((IOmlOperationType) this); }