Package | Description |
---|---|
csheets.ext.assertion |
Provides support for user-specified and system-generated assertions.
|
Modifier and Type | Method and Description |
---|---|
void |
AssertionParser.assertion(USAssertion ass,
List<Interval> orIntervals,
List<Interval> exceptIntervals) |
void |
AssertionParser.except_clause(List<Interval> lst) |
void |
AssertionParser.interval(List<Interval> lst) |
void |
AssertionParser.or_expr(List<Interval> lst) |
void |
AssertionParser.os_interval(List<Interval> lst) |
void |
AssertionParser.term(List<Interval> lst) |
Constructor and Description |
---|
USAssertion(String assertion)
Constructs an Assertion object
|