Contracts für Java
Ein neues Projekt eines Google-Mitarbeiter verspricht Zusicherungen zur Laufzeit zu prüfen. Ankündigung: , Projekt unter . Mal sehen wie sich das entwickelt, im .NET Umfeld ist da einiges im Gange. In Java 7 waren mal einige Annotationen geplant, die sind aber gestorben. @NotNull und so weiter hat sich als sehr nützlich erwiesen, das funktioniert in der Praxis.