[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

B. Incompatible Changes

In older versions of JML and older tools, method specifications that were placed in separate files (see section 17. Separate Files for Specifications) had to start with the JML keyword also. However, with the present verison of JML, method specifications in separate files only start with also if the method being specified is an overriding method, as is normal in the rest of JML.


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by U-leavens-nd\leavens on May, 31 2013 using texi2html