MySQL 5.6.14 Source Code Document
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
breakdancer.Action Class Reference
Inheritance diagram for breakdancer.Action:
Collaboration diagram for breakdancer.Action:

Public Member Functions

def name

Static Public Attributes

list preconditions = []
 effect = None
list postconditions = []
 enabled = True

Detailed Description

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.

Member Function Documentation

def breakdancer.Action.name (   self)
The name of this action (default derived from class name)

Definition at line 48 of file breakdancer.py.

Member Data Documentation

list breakdancer.Action.preconditions = []
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.


The documentation for this class was generated from the following file: