| commit | da428acb60bc3c92d08d61b04066ee1c92b0afd4 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jan 24 22:45:11 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jan 24 22:45:11 2011 +0000 |
| tree | ab1c70c7f1a0d8200f728a813a7003eee637cda0 | |
| parent | 036726cb26b2f2ff78e1aa099031c6d4012cc1d6 [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.