Interface | Description |
---|---|
HasInvariant |
Interface for classes that have an invariant method implemented
|
Randomizable |
Interface for classes that have a randomize method implemented
|
Class | Description |
---|---|
DateHeader |
Simple utility code to provide a header for test files
|
SeedRNGCommandLine |
Simple utility code used to produce a
Random RNG object The RNG seed can be set by passing in the command line String parameter array from main() If no parameter is passed or if the first parameter is not a valid integer then a default value of 0 is used to seed the RNG. This is useful for running random tests/simulations where we need to be able to reproduce the same 'random' behaviour (by knowing and setting the seed for the RNG) |
Exception | Description |
---|---|
InvariantBrokenException |
InvariantBrokenException is raised when the invariant of a class is not true in
the current state of the instance (corresponding to an invalid or unsafe state) |