Trees | Indices | Help |
|
---|
|
object --+ | Supervisor
Class used to globally check accesses from device threads and verify result correctness.
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
List of String |
|
||
|
|||
List of device.Device |
|
||
Integer |
|
|
|||
|
|||
|
|||
|
|
!!! This is not part of the assignment API, do not call it !!! Create a new supervisor for the test case.
|
!!! This is not part of the assignment API, do not call it !!! Registers a tester thread. This thread must not be used by devices for any method execution.
|
!!! This is not part of the assignment API, do not call it !!! Check device execution.
|
!!! This is not part of the assignment API, do not call it !!! Checks for correct device shutdown. There must not be any active device threads. |
!!! This is not part of the assignment API, do not call it !!! Validates the current state of the data. |
!!! This is not part of the assignment API, do not call it !!! Reports an error message. All messages are stored in a list for retrieval at the end of the test.
|
!!! This is not part of the assignment API, do not call it !!! Returns the list of logged error messages.
|
!!! This is not part of the assignment API, do not call it !!! Returns the list of neighbours for device_id for the current timepoint, and increments the timepoint for the next invocation. This method is wrapped by Runtime. WARNING: this method is not thread-safe and must not be called concurrently with the same device_id.
|
!!! This is not part of the assignment API, do not call it !!! Runs the test case by creating the devices, unblocking the script assignment and waiting for device termination.
|
Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0.1 | http://epydoc.sourceforge.net |