# limitations under the License.
# Module containing all bases for instantiated type analysis
-package instantiated_type_analysis
+module instantiated_type_analysis
import program
# Subclasses of this class would represent an analysis that produces
# at least a way of knowing if a class is instantiated somewhere in a
# method that is reachable from the entry point of the program
-class InstantiatedTypeAnalysis
+interface InstantiatedTypeAnalysis
fun is_class_instantiated(local_class: MMLocalClass): Bool is abstract
end