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, toString
getEndPos, getStartPos, setEndPos, setStartPos
public 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