Class ExprList

  • All Implemented Interfaces:
    Direct Known Subclasses:

    public class ExprList
    extends java.lang.Object
    implements java.lang.Iterable<Expr>
    • Field Detail

      • emptyList

        public static final ExprList emptyList
        Empty, immutable ExprList
    • Constructor Detail

      • ExprList

        public ExprList()
      • ExprList

        public ExprList​(Expr expr)
      • ExprList

        public ExprList​(java.util.List<Expr> x)
    • Method Detail

      • copy

        public static ExprList copy​(ExprList other)
        Create a copy which does not share the list of expressions with the original
      • create

        public static ExprList create​(java.util.Collection<Expr> exprs)
        Create an ExprList that contains the expressions
      • get

        public Expr get​(int idx)
      • size

        public int size()
      • isEmpty

        public boolean isEmpty()
      • subList

        public ExprList subList​(int fromIdx,
                                int toIdx)
      • tail

        public ExprList tail​(int fromIdx)
      • getVarsMentioned

        public java.util.Set<Var> getVarsMentioned()
      • applyNodeTransform

        public ExprList applyNodeTransform​(NodeTransform transform)
        Rewrite, applying a node->node transformation
      • addAll

        public void addAll​(ExprList exprs)
      • add

        public void add​(Expr expr)
      • getList

        public java.util.List<Expr> getList()
      • getListRaw

        public java.util.List<Expr> getListRaw()
        Use only while building ExprList
      • iterator

        public java.util.Iterator<Expr> iterator()
        Specified by:
        iterator in interface java.lang.Iterable<Expr>
      • prepareExprs

        public void prepareExprs​(Context context)
      • toString

        public java.lang.String toString()
        toString in class java.lang.Object
      • hashCode

        public int hashCode()
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(ExprList other,
                              boolean bySyntax)
      • equals

        public boolean equals​(java.lang.Object other)
        equals in class java.lang.Object
      • splitConjunction

        public static ExprList splitConjunction​(ExprList exprList1)