+ super Visitor
+ fun get_type_by_name(clsname: Symbol): MMType
+ do
+ if not _mmmodule.has_global_class_named(clsname) then _tc.fatal_error(_mmmodule.location, "Missing necessary class: \"{clsname}\"")
+ var cls = _mmmodule.class_by_name(clsname)
+ return cls.get_type
+ end
+
+ fun get_instantiated_type_by_name(clsname: Symbol, vtype: Array[MMType]): MMType
+ do
+ if not _mmmodule.has_global_class_named(clsname) then _tc.fatal_error(_mmmodule.location, "Missing necessary class: \"{clsname}\"")
+ var cls = _mmmodule.class_by_name(clsname)
+ return cls.get_instantiate_type(vtype)
+ end
+