11. Annotations and Contracts

Function annotations, compile-time contracts, type traits, deferred execution, and other compile-time utilities.

• 11.1. Miscellaneous contract annotations
  • 11.1.1. Function annotations
  • 11.1.2. Type queries
• 11.2. Apply reflection pattern
  • 11.2.1. Call macros
• 11.3. defer and defer_delete macros
  • 11.3.1. Function annotations
  • 11.3.2. Call macros
  • 11.3.3. Defer
  • 11.3.4. Stub
• 11.4. with_ macro: locked array/table element binding
  • 11.4.1. Call macros
• 11.5. if_not_null macro
  • 11.5.1. Call macros
• 11.6. is_local_xxx ast helpers
  • 11.6.1. Scope checks
• 11.7. safe_addr macro
  • 11.7.1. Function annotations
  • 11.7.2. Safe temporary address
    • 11.7.2.1. safe_addr
    • 11.7.2.2. shared_addr
  • 11.7.3. Temporary pointers
    • 11.7.3.1. temp_ptr
  • 11.7.4. Temporary values
    • 11.7.4.1. temp_value
• 11.8. static_let macro
  • 11.8.1. Function annotations
  • 11.8.2. Static variable declarations
    • 11.8.2.1. static_let
• 11.9. lpipe macro
  • 11.9.1. Call macros
• 11.10. Assert once
  • 11.10.1. Function annotations
  • 11.10.2. Assertion
• 11.11. Loop unrolling
  • 11.11.1. Function annotations
  • 11.11.2. Unrolling
• 11.12. Bitfield operator overloads
  • 11.12.1. Bitfield element access
  • 11.12.2. Iteration
• 11.13. Bitfield name traits
  • 11.13.1. Function annotations
  • 11.13.2. Iteration
• 11.14. Enumeration traits
  • 11.14.1. Typeinfo macros
  • 11.14.2. Handled enumerations
  • 11.14.3. Enumeration iteration
  • 11.14.4. Enumeration conversion
    • 11.14.4.1. to_enum
• 11.15. Type trait macros
  • 11.15.1. Call macros
  • 11.15.2. Typeinfo macros
• 11.16. C++ bindings generator
  • 11.16.1. Generation of bindings