Example #1
0
 @Override
 public int exprSize() {
   int sz = 0;
   for (final Expr e : preExpr) sz += e.exprSize();
   for (final Expr e : specs) sz += e.exprSize();
   return sz;
 }
Example #2
0
 @Override
 public int exprSize() {
   int sz = 1;
   if (occ != null) for (final Expr o : occ) sz += o.exprSize();
   for (final Expr e : exprs) sz += e.exprSize();
   return sz + query.exprSize();
 }
Example #3
0
 @Override
 public int exprSize() {
   int sz = 1;
   for (final Let lt : copies) sz += lt.exprSize();
   for (final Expr e : expr) sz += e.exprSize();
   return sz;
 }
Example #4
0
 @Override
 public int exprSize() {
   int sz = 1;
   for (final Expr e : cases) sz += e.exprSize();
   return sz + ts.exprSize();
 }
Example #5
0
 @Override
 public final int exprSize() {
   int sz = 1;
   for (final Expr e : steps) sz += e.exprSize();
   return root == null ? sz : sz + root.exprSize();
 }
Example #6
0
 @Override
 public final int exprSize() {
   int sz = 1;
   for (final Expr e : preds) sz += e.exprSize();
   return sz + root.exprSize();
 }
Example #7
0
 @Override
 public int exprSize() {
   int sz = 1;
   for (final Expr e : exprs) sz += e.exprSize();
   return sz;
 }