|
||||||||||
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.statement.SequentialStatement
de.upb.hni.vmagic.statement.AssertionStatement
public class AssertionStatement
Assertion statement.
AssertionStatement statement = new AssertionStatement( Standard.BOOLEAN_TRUE, "true is not true", Standard.SEVERITY_LEVEL_NOTE);
assert TRUE report "true is true" severity NOTE;
Constructor Summary | |
---|---|
AssertionStatement(Expression condition)
Creates an assertion statement. |
|
AssertionStatement(Expression condition,
Expression reportedExpression)
Creates an assertion statement with a reported message. |
|
AssertionStatement(Expression condition,
Expression reportedExpression,
Expression severity)
Creates an assertion statement with reported message and severity. |
|
AssertionStatement(Expression condition,
java.lang.String reportedExpression)
Creates an assertion statement with a reported expression. |
|
AssertionStatement(Expression condition,
java.lang.String reportedExpression,
Expression severity)
Creates an assertion statement with reported message and severity. |
Method Summary | |
---|---|
Expression |
getCondition()
Returns the assertion condition. |
Expression |
getReportedExpression()
Returns the reported message. |
Expression |
getSeverity()
Returns the severity. |
void |
setCondition(Expression condition)
Sets the assertion condition. |
void |
setReportedExpression(Expression reportedExpression)
Sets the reported message. |
void |
setReportedExpression(java.lang.String reportedExpression)
Sets the reported message. |
void |
setSeverity(Expression severity)
Sets the severity. |
Methods inherited from class de.upb.hni.vmagic.statement.SequentialStatement |
---|
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 AssertionStatement(Expression condition)
condition
- the assertion conditionpublic AssertionStatement(Expression condition, Expression reportedExpression)
condition
- the assertion condtionreportedExpression
- the reported messagepublic AssertionStatement(Expression condition, java.lang.String reportedExpression)
condition
- the assertion conditionreportedExpression
- the reported messagepublic AssertionStatement(Expression condition, Expression reportedExpression, Expression severity)
condition
- the assertion conditionreportedExpression
- the reported messageseverity
- the severitypublic AssertionStatement(Expression condition, java.lang.String reportedExpression, Expression severity)
condition
- the assertion 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 void setReportedExpression(java.lang.String reportedExpression)
reportedExpression
- the reported messagepublic Expression getSeverity()
public void setSeverity(Expression severity)
severity
- the severity
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |