public interface AssertStatement extends ConditionPrefixable, LabelPrefixable, PLINode
The following features are supported:
PLIPackage.getAssertStatement()| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
copyright |
| Modifier and Type | Method and Description |
|---|---|
AssertType |
getAssertType()
Returns the value of the 'Assert Type' containment reference.
|
Expression |
getDisplayExpression()
Returns the value of the 'Display Expression' containment reference.
|
void |
setAssertType(AssertType value)
Sets the value of the '
Assert Type' containment reference. |
void |
setDisplayExpression(Expression value)
Sets the value of the '
Display Expression' containment reference. |
getConditionPrefixesgetLabelPrefix, setLabelPrefixgetBeginColumn, getBeginFile, getBeginLine, getEndColumn, getEndFile, getEndLine, getParent, setBeginColumn, setBeginFile, setBeginLine, setEndColumn, setEndFile, setEndLine, setParentstatic final java.lang.String copyright
AssertType getAssertType()
setAssertType(AssertType),
PLIPackage.getAssertStatement_AssertType()void setAssertType(AssertType value)
Assert Type' containment reference.
value - the new value of the 'Assert Type' containment reference.getAssertType()Expression getDisplayExpression()
setDisplayExpression(Expression),
PLIPackage.getAssertStatement_DisplayExpression()void setDisplayExpression(Expression value)
Display Expression' containment reference.
value - the new value of the 'Display Expression' containment reference.getDisplayExpression()