 |
PK_DEBUG_roll_direction_t |
|
typedef int PK_DEBUG_roll_direction_t;
Used in:
PK_DEBUG_SESSION_check_o_t
This datatype is used to specify whether to roll the given list of
partitions to other states when checking the validity of a session and
in which direction to roll.
PK_DEBUG_roll_no_c Do not roll the partitions
PK_DEBUG_roll_back_main_c Roll the partitions to pmarks in the main
line backwards from the current pmark
PK_DEBUG_roll_back_c Initially, roll to the next pmark back along
the main line and then roll backwards
and forwards such that all pmarks on the main
line and all pmarks along any branches of the
main line are visited
PK_DEBUG_roll_fwd_c Roll the partitions to all pmarks forwards
from the current partition
PK_DEBUG_roll_both_c Roll the partitions backwards and forwards
to all pmarks