private static ExprList argList(Expr[] args) { ExprList exprList = new ExprList() ; for ( Expr e : args ) if ( e != null ) exprList.add(e) ; return exprList ; }
private static ExprList argList(Expr[] args) { ExprList exprList = new ExprList() ; for ( Expr e : args ) if ( e != null ) exprList.add(e) ; return exprList ; }
public ExprList copySubstitute(Binding binding, boolean foldConstants) { ExprList x = new ExprList() ; for ( Iterator<Expr> iter = expressions.iterator() ; iter.hasNext() ; ) { Expr expr = iter.next(); expr = expr.copySubstitute(binding, foldConstants) ; x.add(expr) ; } return x ; } public void addAll(ExprList exprs) { expressions.addAll(exprs.getList()) ; }
public ExprList copySubstitute(Binding binding, boolean foldConstants) { ExprList x = new ExprList() ; for ( Iterator<Expr> iter = expressions.iterator() ; iter.hasNext() ; ) { Expr expr = iter.next(); expr = expr.copySubstitute(binding, foldConstants) ; x.add(expr) ; } return x ; } public void addAll(ExprList exprs) { expressions.addAll(exprs.getList()) ; }
public static Op filter(Expr expr, Op op) { OpFilter f = filter(op) ; f.getExprs().add(expr) ; return f ; }
public static Op filter(Expr expr, Op op) { OpFilter f = filter(op) ; f.getExprs().add(expr) ; return f ; }
public static ExprList transform(NodeTransform nodeTransform, ExprList exprList) { ExprList exprList2 = new ExprList() ; boolean changed = false ; for(Expr expr : exprList) { Expr expr2 = transform(nodeTransform, expr) ; if ( expr != expr2 ) changed = true ; exprList2.add(expr2) ; } if ( ! changed ) return exprList ; return exprList2 ; }
public static ExprList transform(NodeTransform nodeTransform, ExprList exprList) { ExprList exprList2 = new ExprList() ; boolean changed = false ; for(Expr expr : exprList) { Expr expr2 = transform(nodeTransform, expr) ; if ( expr != expr2 ) changed = true ; exprList2.add(expr2) ; } if ( ! changed ) return exprList ; return exprList2 ; }
private static Pair<List<Pair<Var, NodeValue>>, ExprList> preprocessFilterInequality(ExprList exprs) { List<Pair<Var, NodeValue>> exprsFilterInequality = new ArrayList<Pair<Var, NodeValue>>(); ExprList exprsOther = new ExprList(); for (Expr e : exprs.getList()) { Pair<Var, NodeValue> p = preprocess(e); if (p != null) exprsFilterInequality.add(p); else exprsOther.add(e); } if (exprsFilterInequality.size() == 0) return null; return Pair.create(exprsFilterInequality, exprsOther); }
private static Pair<List<Pair<Var, NodeValue>>, ExprList> preprocessFilterEquality(ExprList exprs) { List<Pair<Var, NodeValue>> exprsFilterEquality = new ArrayList<Pair<Var, NodeValue>>(); ExprList exprsOther = new ExprList(); for (Expr e : exprs.getList()) { Pair<Var, NodeValue> p = preprocess(e); if (p != null) exprsFilterEquality.add(p); else exprsOther.add(e); } if (exprsFilterEquality.size() == 0) return null; return Pair.create(exprsFilterEquality, exprsOther); }
private ExprList transformation(ExprTransform transform, ExprList exprList) { ApplyExprTransformVisitor v = new ApplyExprTransformVisitor(transform) ; ExprList exprList2 = new ExprList() ; for ( Expr expr : exprList ) { Expr expr2 = transformation(v, expr) ; exprList2.add(expr2) ; } return exprList2 ; }
private ExprList transformation(ExprTransform transform, ExprList exprList) { ApplyExprTransformVisitor v = new ApplyExprTransformVisitor(transform) ; ExprList exprList2 = new ExprList() ; for ( Expr expr : exprList ) { Expr expr2 = transformation(v, expr) ; exprList2.add(expr2) ; } return exprList2 ; }
private static void split(ExprList exprList, Expr expr) { // Explode &&-chain to exprlist. while ( expr instanceof E_LogicalAnd ) { E_LogicalAnd x = (E_LogicalAnd)expr ; Expr left = x.getArg1() ; Expr right = x.getArg2() ; split(exprList, left) ; expr = right ; } // Drop through and add remaining exprList.add(expr) ; } }
private static ExprList buildExprListUntagged(ItemList list, int idx) { ExprList exprList = new ExprList() ; for ( int i = idx ; i < list.size() ; i++ ) { Item item = list.get(i) ; exprList.add(buildExpr(item)) ; } return exprList ; }
private static ExprList buildExprListUntagged(ItemList list, int idx) { ExprList exprList = new ExprList() ; for ( int i = idx ; i < list.size() ; i++ ) { Item item = list.get(i) ; exprList.add(buildExpr(item)) ; } return exprList ; }
@Override public Expr copySubstitute(Binding binding, boolean foldConstants) { ExprList newArgs = new ExprList() ; for ( int i = 1 ; i <= numArgs() ; i++ ) { Expr e = getArg(i) ; e = e.copySubstitute(binding, foldConstants) ; newArgs.add(e) ; } return copy(newArgs) ; }
@Override public Expr applyNodeTransform(NodeTransform transform) { ExprList newArgs = new ExprList() ; for ( int i = 1 ; i <= numArgs() ; i++ ) { Expr e = getArg(i) ; e = e.applyNodeTransform(transform) ; newArgs.add(e) ; } return copy(newArgs) ; }
@Override public Expr applyNodeTransform(NodeTransform transform) { ExprList newArgs = new ExprList() ; for ( int i = 1 ; i <= numArgs() ; i++ ) { Expr e = getArg(i) ; e = e.applyNodeTransform(transform) ; newArgs.add(e) ; } return copy(newArgs) ; }
@Override public Expr copySubstitute(Binding binding, boolean foldConstants) { ExprList newArgs = new ExprList() ; for ( int i = 1 ; i <= numArgs() ; i++ ) { Expr e = getArg(i) ; e = e.copySubstitute(binding, foldConstants) ; newArgs.add(e) ; } return copy(newArgs) ; }
@Override public Op transform(OpFilter opFilter, Op x) { ExprList ex = new ExprList() ; for ( Expr e : opFilter.getExprs() ) { Expr e2 = ExprTransformer.transform(exprTransform, e) ; ex.add(e2) ; } OpFilter f = (OpFilter)OpFilter.filter(ex, x) ; return super.transform(f, x) ; } }