public final class ABecomesElementOfSubstitution extends PSubstitution
| Constructor and Description |
|---|
ABecomesElementOfSubstitution() |
ABecomesElementOfSubstitution(java.util.List<PExpression> _identifiers_,
PExpression _set_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
java.util.LinkedList<PExpression> |
getIdentifiers() |
PExpression |
getSet() |
void |
setIdentifiers(java.util.List<PExpression> list) |
void |
setSet(PExpression node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic ABecomesElementOfSubstitution()
public ABecomesElementOfSubstitution(java.util.List<PExpression> _identifiers_, PExpression _set_)
public void apply(Switch sw)
public java.util.LinkedList<PExpression> getIdentifiers()
public void setIdentifiers(java.util.List<PExpression> list)
public PExpression getSet()
public void setSet(PExpression node)
public java.lang.String toString()
toString in class java.lang.Object