mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
Leonid Shalupovandintellij-monorepo-bot
40795fe787
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
13 lines
578 B
HTML
13 lines
578 B
HTML
<html>
|
|
<body>
|
|
Reports methods that are identical to their super methods. Such methods have the same signature
|
|
as their super method and either have an identical body or only their body consists only of a call to the super method.
|
|
These methods are redundant and can be removed.
|
|
<!-- tooltip end -->
|
|
<p>
|
|
Use the first checkbox below to run the inspection for the methods that override library methods.
|
|
Checking library methods may slow down the inspection.
|
|
<p>
|
|
Use the second checkbox below to ignore methods that only delegate calls to their super methods.
|
|
</body>
|
|
</html> |