Attribute Macros§
- aspect
- Aspect-oriented methodology.
- debug_
ensures - Debug ensures for contracts.
- debug_
invariant - Debug invariant for contracts.
- debug_
requires - Debug requires for contracts.
- decorate
- Decorate methods.
- delegate
- Delegate method to a field.
- ensures
- Ensures for contracts.
- invariant
- Invariant for contracts.
- main
- Composition root for application entry point.
- mock
- Elegant trait mocking.
- mount
- Subject mounting.
- register
- Subject registration.
- requires
- Requires for contracts.
- test_
ensures - Test ensures for contracts.
- test_
invariant - Test invariant for contracts.
- test_
requires - Test requires for contracts.
Derive Macros§
- Compose
- Composition pattern implementation.