Skip to content

#697 Additional type checking constraints for state annotations

  • Best to review per commit.
  • Added additional type checking constraints for state annotations.
  • Improved/extended the documentation for state annotations a bit.
  • Fixed typos in JavaDoc of AnnotationProblemReporter.

Closes #697 (closed)

Edited by Dennis Hendriks

Merge request reports