File fpc.h
↰ Parent directory (rcsw/common
)
Function precondition/post-condition definitions (very useful!).
Definition (rcsw/common/fpc.h
)
Detailed Description
Allows you to define a set of conditions that must be met for a function to proceed (preconditions) or that must be true when it returns (post conditions). If a condition is not met:
Return a specified return value if exhale_define_fpc_8h_1a7104ce6a75a9387fcfd90e307f902109`=:ref:`exhale_define_fpc_8h_1a4aeca8a1a2c7b398e954002449c34810
Abort if exhale_define_fpc_8h_1a7104ce6a75a9387fcfd90e307f902109`=:ref:`exhale_define_fpc_8h_1afa18bed5e7ec18b7974d21615b3127ec
Ignore if exhale_define_fpc_8h_1a7104ce6a75a9387fcfd90e307f902109`=:ref:`exhale_define_fpc_8h_1addfd746cf635242bcd5ec67f0a2ebcfb
2017 John Harwell, All rights reserved.
SPDX-License-Identifier: MIT
Includes
assert.h
rcsw/rcsw.h
(File rcsw.h)