Beispiel #1
0
 @Override
 public boolean accept(final ASTVisitor visitor) {
   for (final Expr e : preds) {
     visitor.enterFocus();
     if (!e.accept(visitor)) return false;
     visitor.exitFocus();
   }
   return root.accept(visitor);
 }
Beispiel #2
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;
 }
Beispiel #3
0
 @Override
 public boolean accept(final ASTVisitor visitor) {
   if (root == null) {
     if (!visitor.lock(DBLocking.CTX)) return false;
   } else if (!root.accept(visitor)) {
     return false;
   }
   visitor.enterFocus();
   if (!visitAll(visitor, steps)) return false;
   visitor.exitFocus();
   return true;
 }
Beispiel #4
0
 @Override
 public boolean accept(final ASTVisitor visitor) {
   return ts.accept(visitor) && visitAll(visitor, cases);
 }
Beispiel #5
0
 @Override
 public boolean accept(final ASTVisitor visitor) {
   return super.accept(visitor)
       && query.accept(visitor)
       && (occ == null || visitAll(visitor, occ));
 }