public final class AAssertionSubstitution extends PSubstitution
Constructor and Description |
---|
AAssertionSubstitution() |
AAssertionSubstitution(PPredicate _predicate_,
PSubstitution _substitution_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
PPredicate |
getPredicate() |
PSubstitution |
getSubstitution() |
void |
setPredicate(PPredicate node) |
void |
setSubstitution(PSubstitution node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AAssertionSubstitution()
public AAssertionSubstitution(PPredicate _predicate_, PSubstitution _substitution_)
public void apply(Switch sw)
public PPredicate getPredicate()
public void setPredicate(PPredicate node)
public PSubstitution getSubstitution()
public void setSubstitution(PSubstitution node)
public java.lang.String toString()
toString
in class java.lang.Object