Esempio n. 1
0
 @Override
 public boolean accept(final ASTVisitor visitor) {
   if (!visitAll(visitor, specs)) return false;
   for (final Expr ng : preExpr) if (!ng.accept(visitor)) return false;
   for (final Var ng : post) if (!visitor.declared(ng)) return false;
   return true;
 }
Esempio n. 2
0
 @Override
 public boolean accept(final ASTVisitor visitor) {
   return expr.accept(visitor) && visitor.declared(var);
 }
Esempio n. 3
0
 @Override
 public boolean visit(final ASTVisitor visitor) {
   for (final Var v : args) if (!visitor.declared(v)) return false;
   return expr.accept(visitor);
 }