| Modifier and Type | Field and Description |
|---|---|
static ExprList |
emptyList
Empty, immutable ExprList
|
| Constructor and Description |
|---|
ExprList() |
ExprList(Expr expr) |
ExprList(List<Expr> x) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(Expr expr) |
void |
addAll(ExprList exprs) |
ExprList |
applyNodeTransform(NodeTransform transform)
Rewrite, applying a node->node transformation
|
static ExprList |
copy(ExprList other)
Create a copy which does not share the list of expressions with the original
|
ExprList |
copySubstitute(Binding binding) |
static ExprList |
create(Collection<Expr> exprs)
Create an ExprList that contaisn the expressions
|
boolean |
equals(ExprList other,
boolean bySyntax) |
boolean |
equals(Object other) |
Expr |
get(int idx) |
List<Expr> |
getList() |
Set<Var> |
getVarsMentioned() |
int |
hashCode() |
boolean |
isEmpty() |
boolean |
isSatisfied(Binding binding,
ExecutionContext execCxt) |
Iterator<Expr> |
iterator() |
void |
prepareExprs(Context context) |
int |
size() |
static ExprList |
splitConjunction(ExprList exprList1) |
ExprList |
subList(int fromIdx,
int toIdx) |
ExprList |
tail(int fromIdx) |
String |
toString() |
void |
varsMentioned(Collection<Var> acc) |
forEach, spliteratorpublic static final ExprList emptyList
public ExprList()
public ExprList(Expr expr)
public static ExprList copy(ExprList other)
public static ExprList create(Collection<Expr> exprs)
public boolean isSatisfied(Binding binding, ExecutionContext execCxt)
public Expr get(int idx)
public int size()
public boolean isEmpty()
public ExprList subList(int fromIdx, int toIdx)
public ExprList tail(int fromIdx)
public void varsMentioned(Collection<Var> acc)
public ExprList applyNodeTransform(NodeTransform transform)
public void addAll(ExprList exprs)
public void add(Expr expr)
public void prepareExprs(Context context)
public boolean equals(ExprList other, boolean bySyntax)
Licenced under the Apache License, Version 2.0