ROSS
crv-state.h File Reference
#include "ross-types.h"
#include <stdbool.h>
#include <stdio.h>

Go to the source code of this file.

Data Structures

struct  crv_checkpointer
struct  crv_lpstate_checkpoint_internal

Typedefs

typedef void(* save_checkpoint_state_f) (void *into, void const *from)
typedef void(* clean_checkpoint_state_f) (void *state)
typedef bool(* check_states_f) (void *current_state, void const *before_state)
typedef void(* print_lpstate_f) (FILE *, char const *prefix, void *state)
typedef void(* print_checkpoint_state_f) (FILE *, char const *prefix, void *state)
typedef void(* print_event_f) (FILE *, char const *prefix, void *lp_state, void *event_msg)
typedef struct crv_checkpointer crv_checkpointer
typedef struct crv_lpstate_checkpoint_internal crv_lpstate_checkpoint_internal

Functions

void crv_add_custom_state_checkpoint (crv_checkpointer *)
size_t crv_init_checkpoints (void)
void crv_copy_lpstate (crv_lpstate_checkpoint_internal *into, tw_lp const *clp)
void crv_clean_lpstate (crv_lpstate_checkpoint_internal *state, tw_lp const *clp)
void crv_check_lpstates (tw_lp *clp, tw_event *cev, crv_lpstate_checkpoint_internal const *before_state, char const *before_msg, char const *after_msg)

Typedef Documentation

◆ check_states_f

typedef bool(* check_states_f) (void *current_state, void const *before_state)

Definition at line 10 of file crv-state.h.

◆ clean_checkpoint_state_f

typedef void(* clean_checkpoint_state_f) (void *state)

Definition at line 9 of file crv-state.h.

◆ crv_checkpointer

typedef struct crv_checkpointer crv_checkpointer

◆ crv_lpstate_checkpoint_internal

typedef struct crv_lpstate_checkpoint_internal crv_lpstate_checkpoint_internal

◆ print_checkpoint_state_f

typedef void(* print_checkpoint_state_f) (FILE *, char const *prefix, void *state)

Definition at line 12 of file crv-state.h.

◆ print_event_f

typedef void(* print_event_f) (FILE *, char const *prefix, void *lp_state, void *event_msg)

Definition at line 13 of file crv-state.h.

◆ print_lpstate_f

typedef void(* print_lpstate_f) (FILE *, char const *prefix, void *state)

Definition at line 11 of file crv-state.h.

◆ save_checkpoint_state_f

typedef void(* save_checkpoint_state_f) (void *into, void const *from)

Definition at line 8 of file crv-state.h.

Function Documentation

◆ crv_add_custom_state_checkpoint()

void crv_add_custom_state_checkpoint ( crv_checkpointer * state_checkpoint)

Definition at line 14 of file crv-state.c.

References head_linked_list, llist_chptr::next, tail_linked_list, tw_error(), TW_LOC, and llist_chptr::val.

Referenced by main().

◆ crv_check_lpstates()

◆ crv_clean_lpstate()

void crv_clean_lpstate ( crv_lpstate_checkpoint_internal * state,
tw_lp const * clp )

◆ crv_copy_lpstate()

◆ crv_init_checkpoints()

size_t crv_init_checkpoints ( void )