Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
9d472d9a4d38b9b1c1a0a72d74f36832afd3f739
/
contrib
/
org.eclipse.objectteams.jdt.nullity
20fc10d
some renaming.
by Stephan Herrmann
· 13 years ago
4f73900
remove one obsolete method
by Stephan Herrmann
· 13 years ago
376b705
remove one obsolete field
by Stephan Herrmann
· 13 years ago
567e178
rename all mentions of null contracts to null spec (specification).
by Stephan Herrmann
· 13 years ago
575878e
- abandon @NullableByDefault,
by Stephan Herrmann
· 13 years ago
87b2394
fixed a regression seen with 3.8M3: ctors of anonymous classes have not argument types.
by Stephan Herrmann
· 13 years ago
4b5ae3e
compatibility issues to bridge differences between 3.8 M2-M3 regarding:
by Stephan Herrmann
· 13 years ago
55c1705
avoid NPE seen in RL when compiling JDT/Core (FinallyFlowContext actually :)
by Stephan Herrmann
· 13 years ago
f6eb5fb
Resolved Bug 334457 - [compiler][null] check compatibility of inherited null contracts
by Stephan Herrmann
· 13 years ago
bbe10fa
publishing as 0.9.0.qualifier
by Stephan Herrmann
· 13 years ago
8e84aed
+ added checking for ctor args
by Stephan Herrmann
· 13 years ago
da9074e
apply deferred checking also in assignment local-decl to fix their analysis inside loops etc.
by Stephan Herrmann
· 13 years ago
337d5ac
+ fixed an NPE in MessageSend.analyseArguments()
by Stephan Herrmann
· 13 years ago
fabefc8
support upcoming M3 releases
by Stephan Herrmann
· 13 years ago
73ab01e
Handle also local classes within loop or try-finally
by Stephan Herrmann
· 13 years ago
7fa52bc
Implement deferred checking inside loops and finally blocks.
by Stephan Herrmann
· 13 years ago
cad5f54
compatibility with current builds towards Juno M2.
by Stephan Herrmann
· 13 years ago
b801979
Make the DOMAdaptation cope with OT/J-modifiers, too.
by Stephan Herrmann
· 13 years ago
c38197f
silly bug: need null to trigger initialization
by Stephan Herrmann
· 13 years ago
c372d3e
cross-test on top of the OTDT showed that calling bindArguments() early has unintended side-effects.
by Stephan Herrmann
· 13 years ago
a9c1f34
compatibility among different JDT versions: translate generated constants.
by Stephan Herrmann
· 13 years ago
f9b5c4e
avoid constant conflicts with TagBits in JDT version up-to OTDT 2.1M1
by Stephan Herrmann
· 13 years ago
46b2273
find the affected argument name also when the selected node *is* the argument.
by Stephan Herrmann
· 13 years ago
d6349c2
One more location needing a test for isBaseType() (test & fix).
by Stephan Herrmann
· 13 years ago
15d883b
Several issues regarding initialization order
by Stephan Herrmann
· 13 years ago
d6c282e
test & fix re non-reference types.
by Stephan Herrmann
· 13 years ago
4139268
fix regressions reported by jdt.tests.compiler.regression
by Stephan Herrmann
· 13 years ago
d08cf1b
protect generated annotations from being converted to DOM AST.
by Stephan Herrmann
· 13 years ago
24ccbe8
offer two proposals also in case of unknown nullness / missing annotation
by Stephan Herrmann
· 13 years ago
f3e0c45
ranking of proposals: local change before change in super class.
by Stephan Herrmann
· 13 years ago
15e141c
further adjust quickfixes to current implementation
by Stephan Herrmann
· 13 years ago
b9ecf4c
report null-issue in super call exactly once,
by Stephan Herrmann
· 13 years ago
411b63d
unify diagnostics for different nodes, using the same "type mismatch" messages throughout
by Stephan Herrmann
· 13 years ago
02b895c
+ Fix source positions for synthetic parameter annotations (from defaults)
by Stephan Herrmann
· 13 years ago
1b3dc0c
Adjust constants to avoid conflicts with new constants for Java7
by Stephan Herrmann
· 13 years ago
a39cdab
- remove copying of inherited null annotations
by Stephan Herrmann
· 13 years ago
acb097f
+ renamed one IProblem + adjust irritants to avoid conflict in v_C01
by Stephan Herrmann
· 13 years ago
7b74133
change scheme of warning/error message from "null contract violation" to "type mismatch"
by Stephan Herrmann
· 13 years ago
fc0c0d9
remove support for emulating annotation types.
by Stephan Herrmann
· 13 years ago
70eff36
remove obsolete workaround and specify what JDT/Core version resolved the issue.
by Stephan Herrmann
· 13 years ago
8b24477
Bugfix: arguments of a message send must be analyzed before checking against null contracts
by Stephan Herrmann
· 13 years ago
1b387a3
add legal files
by Stephan Herrmann
· 13 years ago
6f5943f
New test and required fix:
by Stephan Herrmann
· 13 years ago
00f75e1
better option handling, previous version killed all workspace defaults
by Stephan Herrmann
· 13 years ago
b73ebc7
update to new OT/J rules regarding unsafe lifting.
by Stephan Herrmann
· 13 years ago
e57451e
separate out non-OTDT projects like the nullity prototype
by Stephan Herrmann
· 14 years ago