Exemplos de IOmlVisitor em Java

Exemplo n.º 1

Arquivo: OmlExitStatement.java Projeto: carvil/jml_vdm_mapper

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

Exemplo n.º 2

Arquivo: OmlActExpression.java Projeto: carvil/jml_vdm_mapper

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

Exemplo n.º 3

Arquivo: OmlOperationType.java Projeto: carvil/jml_vdm_mapper

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

Exemplo n.º 4

Arquivo: OmlMutexAllPredicate.java Projeto: carvil/jml_vdm_mapper

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