stdio_stream_default_cfg() specifications

Signature

stdio_stream_cfg_t stdio_stream_default_cfg(void);

Purpose

Return a default configuration for the stdio_stream adapter.

Preconditions

• None.

Invalid arguments

• None.

Success

• Returns a well-formed default stdio_stream_cfg_t.
• Returns a value-initialized baseline configuration.
• ret.reserved == 0.

Failure

• None.

Notes

• This helper provides a baseline configuration that the Composition Root may override.
• This helper does not allocate.