public interface OPPLTestCase
| Modifier and Type | Method and Description |
|---|---|
String |
getName()
Retrieves the name of this OPPLTest
|
OPPLScript |
getOPPLScript()
Retrieves the OPPLScript contained by this OPPLTestCase.
|
List<OPPLTest> |
getTests()
Retrieves the list of Test instances for this OPPLTestCase.
|
boolean |
requiresInference()
Determines whether this OPPLTestCase should be run in presence of a
reasoner.
|
String getName()
boolean requiresInference()
true if this OPPLTestCase needs a reasoner,
false otherwise.OPPLScript getOPPLScript()
Copyright © 2014 The University of Manchester. All Rights Reserved.