Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
d6a7f662348f671d8d65cd495062a56dddebec4a
/
plugins
/
org.eclipse.objectteams.jdt.nullity
0eaf0b7
implemented annotations for nullness defaults and their application to types.
by Stephan Herrmann
· 14 years ago
e455448
a minor pure refactoring
by Stephan Herrmann
· 14 years ago
210834a
draft of another quickfix: if parameter is explicitly checked for null add @Nullable to its declaration
by Stephan Herrmann
· 14 years ago
4781b80
NPE fix (need to check array element, too).
by Stephan Herrmann
· 14 years ago
d05aafb
draft of another quickfix: if parameter is explicitly checked for null add @Nullable to its declaration
by Stephan Herrmann
· 14 years ago
c351294
workaround for missing array growing in UnconditionalFlowInfo.markAsDefinititelyNonNull et al.
by Stephan Herrmann
· 14 years ago
0289ab5
First take at quickfixes/cleanup for null-annotation related problems,
by Stephan Herrmann
· 14 years ago
ea234cf
More warnings (under existing irritants):
by Stephan Herrmann
· 14 years ago
24802c0
- implement general preference org.eclipse.jdt.core.compiler.annotation.nulldefault
by Stephan Herrmann
· 14 years ago
036726c
- feed our option names into the java model so these options will be processed, too.
by Stephan Herrmann
· 14 years ago
f3b02a4
OT/Equinox version of patch v7: https://bugs.eclipse.org/bugs/attachment.cgi?id=186890
by Stephan Herrmann
· 14 years ago