Thanks to Java, GLS must support "throws" annotations on methods. See Java's Specifying the Exceptions Thrown by a Method.
This is a relatively complex but still doable task. Any particular function will need to crawl all its call sites and manual throws to collect a list of what exceptions those are able to throw.
Thanks to Java, GLS must support "throws" annotations on methods. See Java's Specifying the Exceptions Thrown by a Method.
This is a relatively complex but still doable task. Any particular function will need to crawl all its call sites and manual
throwsto collect a list of what exceptions those are able to throw.