예제 #1
1
 // ***** VDMTOOLS START Name=accept KEEP=NO
 public void accept(final IOmlVisitor pVisitor) throws CGException {
   pVisitor.visitExitStatement((IOmlExitStatement) this);
 }
예제 #2
0
 // ***** VDMTOOLS START Name=accept KEEP=NO
 public void accept(final IOmlVisitor pVisitor) throws CGException {
   pVisitor.visitActExpression((IOmlActExpression) this);
 }
예제 #3
0
 // ***** VDMTOOLS START Name=accept KEEP=NO
 public void accept(final IOmlVisitor pVisitor) throws CGException {
   pVisitor.visitOperationType((IOmlOperationType) this);
 }
 // ***** VDMTOOLS START Name=accept KEEP=NO
 public void accept(final IOmlVisitor pVisitor) throws CGException {
   pVisitor.visitMutexAllPredicate((IOmlMutexAllPredicate) this);
 }