de.upb.hni.vmagic.concurrent
Class ConcurrentAssertionStatement

java.lang.Object
  extended by de.upb.hni.vmagic.VhdlElement
      extended by de.upb.hni.vmagic.LabeledElement
          extended by de.upb.hni.vmagic.concurrent.ConcurrentStatement
              extended by de.upb.hni.vmagic.concurrent.AbstractPostponableConcurrentStatement
                  extended by de.upb.hni.vmagic.concurrent.EntityStatement
                      extended by de.upb.hni.vmagic.concurrent.ConcurrentAssertionStatement

public class ConcurrentAssertionStatement
extends EntityStatement

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

ConcurrentAssertionStatement

public ConcurrentAssertionStatement(Expression condition)
Creates a concurrent assertion statement.

Parameters:
condition - the asertion condition

ConcurrentAssertionStatement

public ConcurrentAssertionStatement(Expression condition,
                                    Expression reportedExpression)
Creates a concurrent assertion statement with a reported message.

Parameters:
condition - the condition
reportedExpression - the reported message

ConcurrentAssertionStatement

public ConcurrentAssertionStatement(Expression condition,
                                    Expression reportedExpression,
                                    Expression severity)
Creates a concurrent assertion statement with reported message and severity.

Parameters:
condition - the condition
reportedExpression - the reported message
severity - the severity
Method Detail

getCondition

public Expression getCondition()
Returns the assertion condition.

Returns:
the condition

setCondition

public void setCondition(Expression condition)
Sets the assertion condition.

Parameters:
condition - the condition

getReportedExpression

public Expression getReportedExpression()
Returns the reported message expression.

Returns:
the reported expression

setReportedExpression

public void setReportedExpression(Expression reportedExpression)
Sets the reported expression.

Parameters:
reportedExpression - the reported message

getSeverity

public Expression getSeverity()
Returns the severity of this assertion.

Returns:
the severity or null if no severity is specified

setSeverity

public void setSeverity(Expression severity)
Sets the severity of this assertion.

Parameters:
severity - the severity or null to remove the severity