| Package | Description |
|---|---|
| org.coode.parsers.oppl.testcase | |
| org.coode.parsers.oppl.testcase.assertions |
| Modifier and Type | Field and Description |
|---|---|
Assertion |
OPPLTestCaseTypes.assertion_return.a |
| Modifier and Type | Method and Description |
|---|---|
Assertion |
OPPLTest.getAssertion() |
| Modifier and Type | Method and Description |
|---|---|
AssertionComplement |
OPPLTestCaseSymbolTable.getAssertionComplement(Assertion a) |
| Constructor and Description |
|---|
OPPLTest(Assertion assertion) |
OPPLTest(String message,
Assertion assertion) |
| Modifier and Type | Class and Description |
|---|---|
class |
AssertContains
Asserts that the bindings of a Variable contain a specified value.
|
class |
AssertEqual
Asserts that the expression on the left is equal to the one on the right.
|
class |
AssertionComplement |
class |
AssertNotEqual
Asserts that the expression on the left is not equal to the one on the right.
|
class |
GreaterThanEqualToAssertion
Represents the assertion that the left hand side is less than the right hand
side
|
class |
GreatThanAssertion
Represents the assertion that the left hand side is less than the right hand
side
|
class |
LessThanAssertion
Represents the assertion that the left hand side is less than the right hand
side
|
class |
LessThanEqualToAssertion
Represents the assertion that the left hand side is less than the right hand
side
|
| Modifier and Type | Method and Description |
|---|---|
Assertion |
AssertionComplement.getOperand() |
| Constructor and Description |
|---|
AssertionComplement(Assertion assertion) |
Copyright © 2014 The University of Manchester. All Rights Reserved.