ContractsBrowser

What is the ContracsBrowser?

The ContractsBrowser is a advanced Browser to easily add, edit and delete all Contract related Tests (via BlockClosures) to a Method. It extends the Browser of a new Contracts Pane, where the developer can edit the Invariant (when a class is selected) or the Pre- and Postcondition (when a Method is selected). Installation and Deleting of Contracts is done automatically by the Browser and it is NOT recommended to even create a single Contract by your own.

How to open a ContractsBrowser?

ContractsBrowser open.

Help, there are two Models in my Browser!!!

Yes this is intended. In Order to support syntax highlighting for Pre- and Postconditions, I had to split the model. The ContractsModel is just for providing an independent Model for the Styler's stylesettings. Furthermore it encapsulates contractspecific browserevents.