| <html> |
| <body> |
| Reports any methods which are not <b>static</b>, |
| <b>private</b>, <b>final</b> or <b>abstract</b>, |
| and whose bodies are not empty. Coding in a style that avoids such methods protects |
| the contracts of classes from being broken by their subclasses. The benefit of this style is that |
| subclasses cannot corrupt the state of the superclass by forgetting to call the super method. |
| The cost is that subclasses are limited in their flexibility, in particular they cannot prevent |
| execution of code in the superclass. |
| <p> |
| This inspection is intended for code to be used in secure environments, and is probably not |
| appropriate for less restrictive environments. |
| <!-- tooltip end --> |
| <p> |
| |
| </body> |
| </html> |
