Skip to main content
AgeCommit message (Expand)AuthorFilesLines
2011-11-05rename all mentions of null contracts to null spec (specification).Stephan Herrmann1-40/+41
2011-11-05sync with distribution pluginStephan Herrmann1-10/+15
2011-11-05- abandon @NullableByDefault,Stephan Herrmann5-80/+170
2011-11-05new resource needed by a test in NullAnnotationModelTestsStephan Herrmann1-0/+0
2011-10-29compatibility issues to bridge differences between 3.8 M2-M3 regarding:Stephan Herrmann1-1/+20
2011-10-23Resolved Bug 334457 - [compiler][null] check compatibility of inherited null ...Stephan Herrmann1-1/+160
2011-10-10+ added checking for ctor argsStephan Herrmann1-0/+46
2011-10-08+ fixed an NPE in MessageSend.analyseArguments()Stephan Herrmann1-5/+32
2011-10-08Handle also local classes within loop or try-finallyStephan Herrmann1-1/+57
2011-10-06new tests challenging the reconcilerStephan Herrmann2-1/+148
2011-10-06Implement deferred checking inside loops and finally blocks.Stephan Herrmann1-1/+139
2011-08-11One more location needing a test for isBaseType() (test & fix).Stephan Herrmann1-0/+21
2011-08-11Several issues regarding initialization orderStephan Herrmann1-3/+155
2011-08-11J2SE-1.5 is enough for this project (and don't store OT-specific options)Stephan Herrmann3-8/+6
2011-08-11test & fix re non-reference types.Stephan Herrmann1-0/+29
2011-08-09report null-issue in super call exactly once,Stephan Herrmann1-1/+38
2011-08-07unify diagnostics for different nodes, using the same "type mismatch" message...Stephan Herrmann2-333/+201
2011-08-07+ Fix source positions for synthetic parameter annotations (from defaults)Stephan Herrmann1-6/+39
2011-07-31- remove copying of inherited null annotationsStephan Herrmann1-13/+63
2011-07-31change scheme of warning/error message from "null contract violation" to "typ...Stephan Herrmann1-43/+43
2011-07-31remove support for emulating annotation types.Stephan Herrmann8-56/+340
2011-06-18Bugfix: arguments of a message send must be analyzed before checking against ...Stephan Herrmann1-1/+23
2011-06-09New test and required fix:Stephan Herrmann1-0/+33
2011-06-02gather all nullity related projects under contribStephan Herrmann6-0/+1280

    Back to the top