public final class AAnySubstitution extends PSubstitution
Constructor and Description |
---|
AAnySubstitution() |
AAnySubstitution(java.util.List<PExpression> _identifiers_,
PPredicate _where_,
PSubstitution _then_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
java.util.LinkedList<PExpression> |
getIdentifiers() |
PSubstitution |
getThen() |
PPredicate |
getWhere() |
void |
setIdentifiers(java.util.List<PExpression> list) |
void |
setThen(PSubstitution node) |
void |
setWhere(PPredicate node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AAnySubstitution()
public AAnySubstitution(java.util.List<PExpression> _identifiers_, PPredicate _where_, PSubstitution _then_)
public void apply(Switch sw)
public java.util.LinkedList<PExpression> getIdentifiers()
public void setIdentifiers(java.util.List<PExpression> list)
public PPredicate getWhere()
public void setWhere(PPredicate node)
public PSubstitution getThen()
public void setThen(PSubstitution node)
public java.lang.String toString()
toString
in class java.lang.Object