import modelize_property
import parser_util
-import simple_misc_analysis
import modelbuilder
redef class ToolContext
#
# Services will be added to this class in other modules.
abstract class Platform
+ fun supports_libunwind: Bool do return true
+
+ fun supports_libgc: Bool do return true
+
+ # Does this platform declare its own main function? If so, we won't generate one in Nit.
+ fun no_main: Bool do return false
end