Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 411b63da38afcb91656f3c736bdf7c998db662ad / contrib / org.eclipse.objectteams.jdt.nullity.tests
  1. b4a70d0 unify diagnostics for different nodes, using the same "type mismatch" messages throughout by Stephan Herrmann · 13 years ago
  2. 3e928e8 + Fix source positions for synthetic parameter annotations (from defaults) by Stephan Herrmann · 13 years ago
  3. d045c75 - remove copying of inherited null annotations by Stephan Herrmann · 13 years ago
  4. d6d46a2 change scheme of warning/error message from "null contract violation" to "type mismatch" by Stephan Herrmann · 13 years ago
  5. 892a6f6 remove support for emulating annotation types. by Stephan Herrmann · 13 years ago
  6. b8f5cfe Bugfix: arguments of a message send must be analyzed before checking against null contracts by Stephan Herrmann · 13 years ago
  7. 10113f6 New test and required fix: by Stephan Herrmann · 13 years ago
  8. 1b0d5b7 gather all nullity related projects under contrib by Stephan Herrmann · 13 years ago