@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);
}
@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;
}
@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;
}
@Override
public boolean accept(final ASTVisitor visitor) {
return expr.accept(visitor) && visitor.declared(var);
}
@Override
public boolean accept(final ASTVisitor visitor) {
return visitor.inlineFunc(this);
}
@Override
public boolean visit(final ASTVisitor visitor) {
for (final Var v : args) if (!visitor.declared(v)) return false;
return expr.accept(visitor);
}
@Override
public boolean accept(final ASTVisitor visitor) {
return visitor.dynFuncCall(this) && visitAll(visitor, expr);
}