public final class AWhileSubstitution extends PSubstitution
| Constructor and Description |
|---|
AWhileSubstitution() |
AWhileSubstitution(PPredicate _condition_,
PSubstitution _doSubst_,
PPredicate _invariant_,
PExpression _variant_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
PPredicate |
getCondition() |
PSubstitution |
getDoSubst() |
PPredicate |
getInvariant() |
PExpression |
getVariant() |
void |
setCondition(PPredicate node) |
void |
setDoSubst(PSubstitution node) |
void |
setInvariant(PPredicate node) |
void |
setVariant(PExpression node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic AWhileSubstitution()
public AWhileSubstitution(PPredicate _condition_, PSubstitution _doSubst_, PPredicate _invariant_, PExpression _variant_)
public void apply(Switch sw)
public PPredicate getCondition()
public void setCondition(PPredicate node)
public PSubstitution getDoSubst()
public void setDoSubst(PSubstitution node)
public PPredicate getInvariant()
public void setInvariant(PPredicate node)
public PExpression getVariant()
public void setVariant(PExpression node)
public java.lang.String toString()
toString in class java.lang.Object