| commit | c133990290c268252fbec1a8052eb6c9886d91cb | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jan 24 22:45:16 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jan 24 22:45:16 2011 +0000 |
| tree | 070c45aaf36f6d19d98a4ecb45573cd78686422f | |
| parent | da428acb60bc3c92d08d61b04066ee1c92b0afd4 [diff] |
- implement general preference org.eclipse.jdt.core.compiler.annotation.nulldefault - apply its value in fillInNullNessDefault() - temporary tweak: don't complain against tightening contract inherited from binary type (disabled) - fix issue with compile order where bindArguments of super type was not done before verifyMethods TODO: check if transitive inheritance of annotations and defaults play well together regarding compile order.