Java Collection.frame Exemples

Exemple #1

Fichier : BottomUpVisitor.java Projet : hsingh23/k

 @Override
 public void visit(Collection collection) {
   if (collection.hasFrame()) {
     collection.frame().accept(this);
   }
   visit((Term) collection);
 }