import location
class Message
-special Comparable
+ super Comparable
redef type OTHER: Message
readable var _location: nullable Location
# Global context for tools
class ToolContext
-special MMContext
+ super MMContext
# Number of errors
readable var _error_count: Int = 0