Add @IfNullThrows parameter annotation and unify with AssertMethod in CFG#1566

HenryXi1 wants to merge 3 commits into

eisop:mastereisop/checker-framework:masterfrom

HenryXi1:add-if-null-throws-contractHenryXi1/checker-framework:add-if-null-throws-contractCopy head branch name to clipboard