# limitations under the License.
# Module containing all bases for the reachable method analysis
-package reachable_method_analysis
+module reachable_method_analysis
import icode
import program
# Subclasses of this class would represent an analysis that produces
# at least a way of knowing if a property is reachable from the entry
# point of the program
-class ReachableMethodAnalysis
+interface ReachableMethodAnalysis
fun is_iroutine_reachable(ir: nullable IRoutine): Bool is abstract
fun is_method_reachable(method: MMMethod): Bool is abstract
end