Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 15d883b5952fd81cb517136a1777fb75eb7e5e27 / contrib / org.eclipse.objectteams.jdt.nullity / src / org / eclipse / objectteams / internal / jdt / nullity / problem_messages.properties
  1. 15d883b Several issues regarding initialization order by Stephan Herrmann · 11 years ago
  2. 411b63d unify diagnostics for different nodes, using the same "type mismatch" messages throughout by Stephan Herrmann · 11 years ago
  3. 1b3dc0c Adjust constants to avoid conflicts with new constants for Java7 by Stephan Herrmann · 11 years ago
  4. a39cdab - remove copying of inherited null annotations by Stephan Herrmann · 11 years ago
  5. 7b74133 change scheme of warning/error message from "null contract violation" to "type mismatch" by Stephan Herrmann · 11 years ago
  6. fc0c0d9 remove support for emulating annotation types. by Stephan Herrmann · 11 years ago
  7. e57451e separate out non-OTDT projects like the nullity prototype by Stephan Herrmann · 11 years ago[Renamed from plugins/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/problem_messages.properties]
  8. ea234cf More warnings (under existing irritants): by Stephan Herrmann · 11 years ago
  9. f3b02a4 OT/Equinox version of patch v7: https://bugs.eclipse.org/bugs/attachment.cgi?id=186890 by Stephan Herrmann · 11 years ago