Warum ist nicht JML als Annotationen in Java implementiert?

StackOverflow https://stackoverflow.com/questions/2473331

  •  20-09-2019
  •  | 
  •  

Frage

Im Gegensatz zu Code Verträge in C #, in JML-Code Verträgen sind nur Text, der in Form von Kommentaren in der Kopfzeile einer Methode verwendet wird. Wäre es nicht besser, sie als Annotations ausgesetzt zu haben, dann? Auf diese Weise, auch wenn die Zusammenstellung von Informationen über die .class-Metadaten bestehen würde, im Gegensatz zu Kommentaren, die gelöscht erhalten.

Bin ich etwas fehlt?

War es hilfreich?

Lösung

Von dem, was ich sehen kann JML Java-Annotationen durch eine gute Anzahl von Jahren zurückdatiert. Sie könnten natürlich, aktualisieren Sie es vermutlich Verwendung von Anmerkungen zu machen.

Andere Tipps

Es gibt experimentelle Implementierung von JML mit Java-Annotationen:
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
Hoffentlich wird es in irgendeiner Form veröffentlicht werden, in OpenJML dieses Jahr (2010).

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow
scroll top