Example #1
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;
 }
Example #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;
 }
Example #3
0
 @Override
 public boolean accept(final ASTVisitor visitor) {
   return expr.accept(visitor) && visitor.declared(var);
 }
Example #4
0
 @Override
 public <RETURN_TYPE, PARAMETER_TYPE> RETURN_TYPE accept(
     final ASTVisitor<RETURN_TYPE, PARAMETER_TYPE> v, final PARAMETER_TYPE p) {
   return v.visitCall(this, p);
 }
Example #5
0
 public <T> T accept(ASTVisitor<T> v) {
   return v.forVariable(this);
 }
Example #6
0
 @Override
 public boolean accept(final ASTVisitor visitor) {
   return visitor.dynFuncCall(this) && visitAll(visitor, expr);
 }
Example #7
0
 public <ResType> ResType accept(ASTVisitor<ResType> v) {
   return v.forPrimFun(this);
 }
Example #8
0
 public <T> T accept(ASTVisitor<T> v) {
   return v.forNullConstant(this);
 }
Example #9
0
 public <ResType> ResType accept(ASTVisitor<ResType> av) {
   return av.forBoolConstant(this);
 }
Example #10
0
 public <T> T accept(ASTVisitor<T> v) {
   return v.forBlock(this);
 }
Example #11
0
 public <T> T accept(ASTVisitor<T> v) {
   return v.forLetcc(this);
 }
Example #12
0
 public <ResType> ResType accept(ASTVisitor<ResType> v) {
   return v.forIntConstant(this);
 }
Example #13
0
 public <T> T accept(ASTVisitor<T> v) {
   return v.forApp(this);
 }