**/
typedef FRSH_SHAREDOBJ_HANDLE_T_OPAQUE frsh_sharedobj_handle_t;
-
-#define SHAREDOBJ_LABEL_MAXLENGTH 15
-typedef char frsh_sharedobj_label_t[CONTRACT_LABEL_MAXLENGTH + 1];
-
-
+/**
+ * Shared object textual label
+ **/
+typedef char frsh_sharedobj_label_t[FRSH_MAX_SIZE_SHARED_OBJ_LABEL + 1];
/**
- * Kind of shared object protected or unprotected
+ * Kind of shared object: protected or unprotected
*/
-typedef enum {FRSH_SOK_UNPROTECTED, FRSH_SOK_PROTECTED}
- frsh_sharedobj_kind_t;
+typedef enum
+ {FRSH_SOK_UNPROTECTED, FRSH_SOK_PROTECTED}
+frsh_sharedobj_kind_t;
/**
* Kind of protected operation: read, write or unchecked
**/
-typedef enum {FRSH_CSOK_UNCHECKED, FRSH_CSOK_READ, FRSH_CSOK_WRITE} frsh_csect_op_kind_t;
+typedef enum
+ {FRSH_CSOK_UNCHECKED, FRSH_CSOK_READ, FRSH_CSOK_WRITE}
+frsh_csect_op_kind_t;
/**
* Pointer to protected operation, which takes a pointer to
void * area;
} frsh_memory_area_data_t;
-/** Memory areas container **/
+/**
+ * Memory areas container
+ **/
typedef struct {
int size; // = 0
frsh_memory_area_data_t memory_areas[FRSH_MAX_N_MEMORY_AREAS];
/**
- * Critical section data (opaque type)
+ * Critical section data (opaque type)
**/
-typedef FRSH_CSECT_T_OPAQUE
- frsh_csect_t;
+typedef FRSH_CSECT_T_OPAQUE frsh_csect_t;
/**
- * Critical section container
+ * Container of a group of critical sections, up to a maximum size
**/
typedef struct {
- int size; // = 0
- frsh_csect_t csects[FRSH_MAX_N_CRITICAL_SECTIONS];
+ int size; // size of the group; initially=0
+ frsh_csect_t csects[FRSH_MAX_N_CRITICAL_SECTIONS]; // array of csect
} frsh_csects_group_t;
/*@}*/