Crate eiffel_macros_gen

This create contains the procedural macros

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

Attribute Macros

contract

contract 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.