Esempi in Java per IOmlVisitor

Esempio n. 1

File: OmlExitStatement.java Progetto: carvil/jml_vdm_mapper

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

Esempio n. 2

File: OmlActExpression.java Progetto: carvil/jml_vdm_mapper

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

Esempio n. 3

File: OmlOperationType.java Progetto: carvil/jml_vdm_mapper

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

Esempio n. 4

File: OmlMutexAllPredicate.java Progetto: carvil/jml_vdm_mapper

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