public final class AOperatorSubstitution extends PSubstitution
Constructor and Description |
---|
AOperatorSubstitution() |
AOperatorSubstitution(TKwSubstitutionOperator _name_,
java.util.List<PExpression> _arguments_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
java.util.LinkedList<PExpression> |
getArguments() |
TKwSubstitutionOperator |
getName() |
void |
setArguments(java.util.List<PExpression> list) |
void |
setName(TKwSubstitutionOperator node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AOperatorSubstitution()
public AOperatorSubstitution(TKwSubstitutionOperator _name_, java.util.List<PExpression> _arguments_)
public void apply(Switch sw)
public TKwSubstitutionOperator getName()
public void setName(TKwSubstitutionOperator node)
public java.util.LinkedList<PExpression> getArguments()
public void setArguments(java.util.List<PExpression> list)
public java.lang.String toString()
toString
in class java.lang.Object