/[eiffelstudio]
ViewVC logotype

Revision 88386


Jump to revision: Previous Next
Author: sualitu
Date: Mon Mar 12 10:02:51 2012 UTC (7 years, 6 months ago)
Changed paths: 6
Log Message:
Textual BON constraints (invariant, pre- and post condition).

Changed paths

Path Details
Directorybranches/eth/eve/Src/Eiffel/modules/textual_bon/bench/tbon_text_items.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/modules/textual_bon/bench/textual_bon_model/atomic_elements/tbon_constraint.e added
Directorybranches/eth/eve/Src/Eiffel/modules/textual_bon/bench/textual_bon_model/atomic_elements/tbon_invariant.e added
Directorybranches/eth/eve/Src/Eiffel/modules/textual_bon/bench/textual_bon_model/atomic_elements/tbon_postcondition.e added
Directorybranches/eth/eve/Src/Eiffel/modules/textual_bon/bench/textual_bon_model/atomic_elements/tbon_precondition.e added
Directorybranches/eth/eve/Src/Eiffel/modules/textual_bon/bench/textual_bon_model/formal_assertions/tbon_assertion.e added

  ViewVC Help
Powered by ViewVC 1.1.23