/** Compter le nombre d'opérateur */
public class Gratos extends AstVisitorDefault {
  /** Nombre d'opérateur. */
  private int nbOp; 

  /** constructeur. */
  public Gratos(AstNode n) {
    nbOp=0;
    n.accept(this);
    System.out.println("Nombre d'opérateurs binaire = " + nbOp);
  }
  /* visites : */
  public void visit(ExpOpBin n){ nbOp++; defaultVisit(n); }
}