[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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] | [ ? ] |