Crate ruex_macro

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.