Java Checker Framework - Pluggable (extensible) Type-System für Java

[Thomas Darimont]

Hallo,

das Java Checker-Framework erlaubt die Erweiterung des Java Typ-Systems um eigene Typ-Definitionen die über eigene Annotationen spezifiziert werden können. Dadurch können dann beispielsweite erweiterte Prüfungen zur Compile-Zeit realisiert werden. Dabei wird ach stark das Type-Annotation Feature von Java 8 verwendet: http://openjdk.java.net/projects/type-annotations/
schaut mal hier:
http://types.cs.washington.edu/checker-framework/
http://types.cs.washington.edu/checker-framework/current/checkers-manual.html
http://www.youtube.com/watch?v=6drjjYXKj9c&list=PLKCk3OyNwIztOH7f5C72NahQrsxzPb3P_&index=20

Gruß Tom