Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
ccf0840c517bae584a3eb8d238b8acd633ff142d
/
contrib
/
org.eclipse.objectteams.jdt.nullity.tests
/
src
/
org
cd966a1
rename all mentions of null contracts to null spec (specification).
by Stephan Herrmann
· 13 years ago
c28ab56
- abandon @NullableByDefault,
by Stephan Herrmann
· 13 years ago
6859a12
compatibility issues to bridge differences between 3.8 M2-M3 regarding:
by Stephan Herrmann
· 13 years ago
a0075f2
Resolved Bug 334457 - [compiler][null] check compatibility of inherited null contracts
by Stephan Herrmann
· 13 years ago
564e7dd
+ added checking for ctor args
by Stephan Herrmann
· 13 years ago
59b350f
+ fixed an NPE in MessageSend.analyseArguments()
by Stephan Herrmann
· 13 years ago
e258559
Handle also local classes within loop or try-finally
by Stephan Herrmann
· 13 years ago
d3eb79c
new tests challenging the reconciler
by Stephan Herrmann
· 13 years ago
cf3913a
Implement deferred checking inside loops and finally blocks.
by Stephan Herrmann
· 13 years ago
45238f5
One more location needing a test for isBaseType() (test & fix).
by Stephan Herrmann
· 13 years ago
75da5a3
Several issues regarding initialization order
by Stephan Herrmann
· 13 years ago
9168c69
test & fix re non-reference types.
by Stephan Herrmann
· 13 years ago
76d45ac
report null-issue in super call exactly once,
by Stephan Herrmann
· 13 years ago
b4a70d0
unify diagnostics for different nodes, using the same "type mismatch" messages throughout
by Stephan Herrmann
· 13 years ago
3e928e8
+ Fix source positions for synthetic parameter annotations (from defaults)
by Stephan Herrmann
· 13 years ago
d045c75
- remove copying of inherited null annotations
by Stephan Herrmann
· 13 years ago
d6d46a2
change scheme of warning/error message from "null contract violation" to "type mismatch"
by Stephan Herrmann
· 13 years ago
892a6f6
remove support for emulating annotation types.
by Stephan Herrmann
· 13 years ago
b8f5cfe
Bugfix: arguments of a message send must be analyzed before checking against null contracts
by Stephan Herrmann
· 13 years ago
10113f6
New test and required fix:
by Stephan Herrmann
· 13 years ago
1b0d5b7
gather all nullity related projects under contrib
by Stephan Herrmann
· 14 years ago