class AnalysisManager
super Noter
var opts = new OptionContext
-
- init do end
end
abstract class Noter
redef fun prefix do return "Warning: "
end
-class Error
+class P8Error
super Note
init (line: Location, msg: String) do super
init range(from, to: Location, msg: String) do super
end
end
-protected fun manager: AnalysisManager do return once new AnalysisManager
+fun manager: AnalysisManager do return once new AnalysisManager