eiffelstudio-public - Revision 107781: /branches/Eiffel_14.05/Src/Delivery/studio/templates/eiffel

• ..
• check.code
• ensure.code
• invariant.code
• loop.code
• require.code