MySQL 5.6.14 Source Code Document
|
Public Member Functions | |
def | name |
Static Public Attributes | |
list | preconditions = [] |
effect = None | |
list | postconditions = [] |
enabled = True |
Actions are the operations that will be permuted into test cases. Each action has a collection of preconditions and postconditions that will be evaluated for checking input and output state for the action. Action.preconditions is the collection of conditions that must all be true upon input to the action. If any condition is not true, the effect is not executed and the action state is considered "errored." Action.effect is the callable that is expected to alter the state to satisfy the postconditions of the action. Action.postconditions is the collection of conditions that must all be true after the effect of the action completes.
Definition at line 23 of file breakdancer.py.
def breakdancer.Action.name | ( | self | ) |
The name of this action (default derived from class name)
Definition at line 48 of file breakdancer.py.
|
static |
Actions are the operations that will be permuted into test cases. Each action has a collection of preconditions and postconditions that will be evaluated for checking input and output state for the action. Action.preconditions is the collection of conditions that must all be true upon input to the action. If any condition is not true, the effect is not executed and the action state is considered "errored." Action.effect is the callable that is expected to alter the state to satisfy the postconditions of the action. Action.postconditions is the collection of conditions that must all be true after the effect of the action completes.
Definition at line 42 of file breakdancer.py.