![]() ![]() ![]() The various kinds of JML modifiers for field, method and class declarations may also be expressed as Java annotations. The result of that research is the following: The JML community also investigated this. The introduction of Java annotations sparked lots of work in many areas to see how such annotations could be put to good use. These also begin with the symbol, but are written in Java code, not in comments. The word ‘annotation’ is a bit ambiguous because (after the origin of JML) Java added to its programming language a concept of annotation interfaces. This tutorial describes how to use JML annotation comments - pure - and the like to write specifications for Java programs.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |