| commit | 24802c0c981218654026aa8cf97df8d2d5c7be36 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jan 24 22:45:22 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jan 24 22:45:22 2011 +0000 |
| tree | 055894b816f4facbe28099fcc9b0e2f7294419d6 | |
| parent | c133990290c268252fbec1a8052eb6c9886d91cb [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.