Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
83404c42f799583a06adef77ef4a724fabd72b85
/
contrib
f6eb5fb
Resolved Bug 334457 - [compiler][null] check compatibility of inherited null contracts
by Stephan Herrmann
· 13 years ago
a0075f2
Resolved Bug 334457 - [compiler][null] check compatibility of inherited null contracts
by Stephan Herrmann
· 13 years ago
361ba60
publishing as 0.9.0.qualifier
by Stephan Herrmann
· 13 years ago
bbe10fa
publishing as 0.9.0.qualifier
by Stephan Herrmann
· 13 years ago
94bc346
publishing as 0.9.0.qualifier
by Stephan Herrmann
· 13 years ago
8e84aed
+ added checking for ctor args
by Stephan Herrmann
· 13 years ago
564e7dd
+ 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
59b350f
+ 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
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
7fa52bc
Implement deferred checking inside loops and finally blocks.
by Stephan Herrmann
· 13 years ago
cf3913a
Implement deferred checking inside loops and finally blocks.
by Stephan Herrmann
· 13 years ago
28acab1
package as an OSGi bundle for easier consumption
by Stephan Herrmann
· 13 years ago
74df4d1
updated javadoc to the most recent semantics, main difference:
by Stephan Herrmann
· 13 years ago
b04bef6
draft of annotations for use by https://bugs.eclipse.org/bugs/show_bug.cgi?id=186342
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
749178b
add a description to the category
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
45238f5
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
75da5a3
Several issues regarding initialization order
by Stephan Herrmann
· 13 years ago
9ade599
J2SE-1.5 is enough for this project (and don't store OT-specific options)
by Stephan Herrmann
· 13 years ago
d6c282e
test & fix re non-reference types.
by Stephan Herrmann
· 13 years ago
9168c69
test & fix re non-reference types.
by Stephan Herrmann
· 13 years ago
cffa0e2
new version for the feature
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
76d45ac
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
b4a70d0
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
3e928e8
+ 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
d045c75
- 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
d6d46a2
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
892a6f6
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
b8f5cfe
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
4a47627
add legal files
by Stephan Herrmann
· 13 years ago
6f5943f
New test and required fix:
by Stephan Herrmann
· 13 years ago
10113f6
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
1b0d5b7
gather all nullity related projects under contrib
by Stephan Herrmann
· 13 years ago
e57451e
separate out non-OTDT projects like the nullity prototype
by Stephan Herrmann
· 13 years ago