infer_clone/infer/documentation/issues/CHECKERS_CALLS_EXPENSIVE_ME...

16 lines
238 B

A method annotated with `@PerformanceCritical` transitively calls a method annotated `@Expensive`.
Example:
```java
class C {
@PerformanceCritical
void perfCritical() {
expensive();
}
@Expensive
void expensive() {}
}
```