#475
93%

Ran 22 Feb 2021 07:49PM UTC

Jobs 1

Files 42

Run time 12s

Badge

Embed ▾

pending completion

Build # #475

Build Type

push

github-actions

Committed by

web-flow

Commit Message

[ContractHandler] Handle @Contract with empty value. (#450)

The IntelliJ `@Contract` annotation has two fields, `value`
and `pure`. When `pure = true`, `value` can be left empty.
As such, the following is a valid `@Contract` annotation:

```
@Contract(
  pure = true
)
```

See. https://www.jetbrains.com/help/idea/contract-annotations.html

Here, retriving the annotation value produces an empty
string.

However, existing ContractHandler logic expects `value` to
either be `null` or a properly formated string in
IntelliJ contract syntax (`"[...] -> [...]; [...]"`).

Previous to this change, NullAway would report an error
AND crash when seeing the `@Contract` annotation above,
rather than ignore it. This patch fixes this.

Run Details

3457 of 3878 relevant lines covered (89.14%)

0.89 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#475.1	22 Feb 2021 07:49PM UTC	0	89.14

Source Files on build #475

Detailed source file information is not available for this build.

uber / NullAway / #475
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #475

uber / NullAway / #475 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #475

uber / NullAway / #475
93%

README BADGES
x