Crate eiffel_macros_gen

This create contains the procedural macros

Mostly the procedural macro check_invariant which is used to check if a given invariant holds true before and after a method call.

Attribute Macros

• check_invariant
  check_invariant is a procedural macro that checks if a given invariant holds true before and after a method call. If the invariant does not hold, the macro will cause the program to panic with a specified message.