Hello,
you could give the checker framework a try:
http://types.cs.washington.edu/checker-framework/
>From the documentation:
"The Checker Framework enhances Java’s type system to make it more powerful
and useful. This lets software developers detect and prevent errors in
their Java programs. The Checker Framework includes compiler plug-ins
("checkers") that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins."
It leverages the Java 8 "Annotation on types"- feature. It also works with
older Java versions by using Java-comments instead of Annotations.
They have some examples for introducing additional "logical" string types.
http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#signature-checker
http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#regex-checker
http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#tainting-checker
The developers gave an interesting talk about pluggable type systems for
Java at Java One 2012.
See: Build Your Own Type System for Fun and Profit (Oracle Learning)
http://www.youtube.com/watch?v=6drjjYXKj9c&list=PLKCk3OyNwIztOH7f5C72NahQrsxzPb3P_&index=20
Best regards,
Thomas
--
You received this message because you are subscribed to the Google Groups "Java
Posse" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/javaposse?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
