Wiki

Changes between Version 6 and Version 7 of Contracts

Show
Ignore:
Timestamp:
11/22/10 20:37:39 (14 years ago)
Author:
todd.a
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Contracts

    v6 v7  
    160160== Grammar == 
    161161{{{ 
    162 #!cobra 
    163162require  
    164163    BODY 
     
    175174on one line and skip 'body'. 
    176175{{{ 
    177 #!cobra 
    178176require EXPR 
    179177ensure  EXPR