|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.upb.hni.vmagic.VhdlElement
de.upb.hni.vmagic.LabeledElement
de.upb.hni.vmagic.concurrent.ConcurrentStatement
de.upb.hni.vmagic.concurrent.AbstractPostponableConcurrentStatement
de.upb.hni.vmagic.concurrent.EntityStatement
de.upb.hni.vmagic.concurrent.ConcurrentAssertionStatement
public class ConcurrentAssertionStatement
Concurrent assertion statement.
Constructor Summary | |
---|---|
ConcurrentAssertionStatement(Expression condition)
Creates a concurrent assertion statement. |
|
ConcurrentAssertionStatement(Expression condition,
Expression reportedExpression)
Creates a concurrent assertion statement with a reported message. |
|
ConcurrentAssertionStatement(Expression condition,
Expression reportedExpression,
Expression severity)
Creates a concurrent assertion statement with reported message and severity. |
Method Summary | |
---|---|
Expression |
getCondition()
Returns the assertion condition. |
Expression |
getReportedExpression()
Returns the reported message expression. |
Expression |
getSeverity()
Returns the severity of this assertion. |
void |
setCondition(Expression condition)
Sets the assertion condition. |
void |
setReportedExpression(Expression reportedExpression)
Sets the reported expression. |
void |
setSeverity(Expression severity)
Sets the severity of this assertion. |
Methods inherited from class de.upb.hni.vmagic.concurrent.AbstractPostponableConcurrentStatement |
---|
isPostponed, setPostponed |
Methods inherited from class de.upb.hni.vmagic.concurrent.ConcurrentStatement |
---|
getLabel, setLabel |
Methods inherited from class de.upb.hni.vmagic.VhdlElement |
---|
getParent, setParent |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ConcurrentAssertionStatement(Expression condition)
condition
- the asertion conditionpublic ConcurrentAssertionStatement(Expression condition, Expression reportedExpression)
condition
- the conditionreportedExpression
- the reported messagepublic ConcurrentAssertionStatement(Expression condition, Expression reportedExpression, Expression severity)
condition
- the conditionreportedExpression
- the reported messageseverity
- the severityMethod Detail |
---|
public Expression getCondition()
public void setCondition(Expression condition)
condition
- the conditionpublic Expression getReportedExpression()
public void setReportedExpression(Expression reportedExpression)
reportedExpression
- the reported messagepublic Expression getSeverity()
null
if no severity is specifiedpublic void setSeverity(Expression severity)
severity
- the severity or null
to remove the severity
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |