Implement @ThrowsException annotation - #135

Open

d367wang wants to merge 14 commits into

opprop:masterfrom

d367wang:throw-exception-annotation

Commits on May 20, 2020

initial implementation of ThrowsException annotation
d367wang
committed
b0f69e7

Commits on Jun 3, 2020

Commits on Jun 8, 2020

add edges for @ThrowsException and @TerminatesExecution method
d367wang
committed
6a8bde0

Commits on Jun 10, 2020

link node with @TerminatesExecution to exceptional-exit block
d367wang
committed
41ae712

Commits on Jun 14, 2020

resolve conficts and merge with opprop/master
d367wang
committed
f306464

Commits on Jul 12, 2020

Commits on Jul 29, 2020

restrict value of @ThrowsException to be subtype of RuntimeException
d367wang
committed
3aff59a

Commits on Oct 6, 2020

Merge branch 'master' of https://github.com/opprop/checker-framework into throw-exception-annotation
d367wang
committed
750c50d

Commits on Oct 7, 2020

redefine @ThrowsException semantic
d367wang
committed
be5df7e
update test case Issue2076
d367wang
committed
dba393f