public final class AForallSubMessageSubstitution extends PSubstitution
Constructor and Description |
---|
AForallSubMessageSubstitution() |
AForallSubMessageSubstitution(java.util.List<PExpression> _identifiers_,
PPredicate _where_,
PPredicate _expect_,
TIntegerLiteral _errorType_,
PExpression _message_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
TIntegerLiteral |
getErrorType() |
PPredicate |
getExpect() |
java.util.LinkedList<PExpression> |
getIdentifiers() |
PExpression |
getMessage() |
PPredicate |
getWhere() |
void |
setErrorType(TIntegerLiteral node) |
void |
setExpect(PPredicate node) |
void |
setIdentifiers(java.util.List<PExpression> list) |
void |
setMessage(PExpression node) |
void |
setWhere(PPredicate node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AForallSubMessageSubstitution()
public AForallSubMessageSubstitution(java.util.List<PExpression> _identifiers_, PPredicate _where_, PPredicate _expect_, TIntegerLiteral _errorType_, PExpression _message_)
public void apply(Switch sw)
public java.util.LinkedList<PExpression> getIdentifiers()
public void setIdentifiers(java.util.List<PExpression> list)
public PPredicate getWhere()
public void setWhere(PPredicate node)
public PPredicate getExpect()
public void setExpect(PPredicate node)
public TIntegerLiteral getErrorType()
public void setErrorType(TIntegerLiteral node)
public PExpression getMessage()
public void setMessage(PExpression node)
public java.lang.String toString()
toString
in class java.lang.Object