Determines the org.opalj.fpcf.properties.ClientCallable property of non-static methods.
Determines the org.opalj.fpcf.properties.ClientCallable property of non-static methods. It is tailored to entry point set computation where we have to consider different kind of program/library usage scenarios. Computational differences regarding static methods are : - private methods can be handled equal in every context - if OPA is met, all package visible classes are visible which implies that all non-private methods are visible too - if CPA is met, methods in package visible classes are not visible by default.
This Analysis determines the ´ClientCallable´ property of a method. A method is considered as leaked if it is overridden in every immediate non-abstract subclass.
In the following scenario, m defined by B overrides m in C and (in this specific scenario) m in C is also always overridden.