uber / NullAway / 1401
89%
master: 93%

LAST BUILD BRANCH: manu/casttononnull-fix-no-comment-delete
DEFAULT BRANCH: master
Ran
Jobs 1
Files 42
Run time 6s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
1401

Pull #423

travis-ci-com

web-flow 
<a href="https://github.com/uber/NullAway/commit/<a class=hub.com/uber/NullAway/commit/16aa9829804add99089466b9f9ac58a3ff3cf751">16aa98298<a href="https://github.com/uber/NullAway/commit/16aa9829804add99089466b9f9ac58a3ff3cf751">">Merge </a><a class="double-link" href="https://github.com/uber/NullAway/commit/<a class="double-link" href="https://github.com/uber/NullAway/commit/c869551b2759293716da2e460c986c62b22ad443">c869551b2</a>">c869551b2</a><a href="https://github.com/uber/NullAway/commit/16aa9829804add99089466b9f9ac58a3ff3cf751"> into cd93d7fd9">cd93d7fd9</a>
Pull Request #423: Adds support for expressing methods precondition and postcondition using @RequiresNonnull and @EnsuresNonnull annotation

283 of 283 new or added lines in 13 files covered. (100.0%)

3430 of 3862 relevant lines covered (88.81%)

0.89 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
91.57
 nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessAnalysis.java
1
92.59
 nullaway/src/main/java/com/uber/nullaway/handlers/contract/ContractUtils.java
2
93.47
 nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPath.java
3
94.44
 nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java
4
94.12
 nullaway/src/main/java/com/uber/nullaway/handlers/contract/fieldcontract/RequiresNonNullHandler.java
8
87.3
 nullaway/src/main/java/com/uber/nullaway/handlers/contract/fieldcontract/EnsuresNonNullHandler.java
9
83.64
 nullaway/src/main/java/com/uber/nullaway/handlers/AbstractFieldContractHandler.java
Jobs
ID Job ID Ran Files Coverage
1 1401.1 42
88.81
 Travis Job 1401.1
Source Files on build 1401