Analysis Details

Declare the particular checked exceptions which can be thrown by your method

es.uniovi.reflection.analyses.bloch.9.62

This rule detects methods that may throw a checked exception whose particular type is not explicitly declared in the throws clause (because a supertype is declared to be thrown instead). All the particular types of checked exception that may be thrown in a method must be declared in its signature.

Computational Reflection Research Group

09-30-2026 22:23

Program Understandability

Callable Declaration

MATCH (cu:ORDINARY_CU)-[:DECLARES_TYPE | HAS_NESTED_TYPE]->()-[:DECLARES_CONSTRUCTOR | DECLARES_METHOD]->(callable:CALLABLE_DEC{isUserCode:true})<-[: CFG_END_OF]-(: CFG_EXCEPTIONAL_END)<-[exRel:CFG_MAY_THROW | CFG_THROWS | CFG_IF_UNCAUGHT_EXCEPTION]-()-[:EXCEPTION_TYPE]-> (exType:TYPE_DEC)
OPTIONAL MATCH (exType)-[extendsRel:EXTENDS_CLASS*0..]->({fullyQualifiedName:"java.lang.RuntimeException"})
WITH cu, callable, exType, extendsRel
WHERE extendsRel IS NULL
OPTIONAL MATCH (callable:CALLABLE_DEC)-[:CALLABLE_THROWS]->(throwsClause)-[:REFERS_TO_TYPE]->(exType)
WITH DISTINCT cu, callable, exType, throwsClause
WHERE throwsClause IS NULL
WITH cu, callable, apoc.text.join(COLLECT(exType.fullyQualifiedName), ',') as notInThrows
RETURN '{"node":"THROWS CLAUSE of '+callable.fullyQualifiedName+'","line":"'+callable.lineNumber+'","column":"'+callable.column+'","rule":"BLOCH-9.62","location":"'+cu.fileName+'","message":"Callable '+callable.fullyQualifiedName +' may throw checked exceptions of type(s) ' + notInThrows + ', that must be explicitly declared in its throws clause."}'