Motr  M0
Motr Sample Module Internals

Detailed functional specification of the internals of the sample module. More...

Data Structures

struct  dld_sample_internal
 

Functions

static bool dld_sample_internal_invariant (const struct dld_sample_internal *dsi)
 

Detailed Description

Detailed functional specification of the internals of the sample module.

This example is part of the DLD Template and Style Guide. It illustrates how to keep internal documentation separate from external documentation by using multiple @defgroup commands in different files.

Please make sure that the module cross-reference the DLD, as shown below.

See also
Motr DLD Template and Logical Specification

Function Documentation

◆ dld_sample_internal_invariant()

static bool dld_sample_internal_invariant ( const struct dld_sample_internal dsi)
static

Invariant for dld_sample_internal must be called holding the mutex

Definition at line 602 of file dld-template.c.