Ejemplos de IJmlVisitor en Java

Ejemplo n.º 1

Archivo: JmlRequiresClause.java Proyecto: carvil/jml_vdm_mapper

 // ***** VDMTOOLS START Name=accept KEEP=NO
 public void accept(final IJmlVisitor pVisitor) throws CGException {
   pVisitor.visitRequiresClause((IJmlRequiresClause) this);
 }

Ejemplo n.º 2

Archivo: JmlClassType.java Proyecto: carvil/jml_vdm_mapper

 // ***** VDMTOOLS START Name=accept KEEP=NO
 public void accept(final IJmlVisitor pVisitor) throws CGException {
   pVisitor.visitClassType((IJmlClassType) this);
 }

Ejemplo n.º 3

Archivo: JmlUnaryExpression.java Proyecto: carvil/jml_vdm_mapper

 // ***** VDMTOOLS START Name=accept KEEP=NO
 public void accept(final IJmlVisitor pVisitor) throws CGException {
   pVisitor.visitUnaryExpression((IJmlUnaryExpression) this);
 }