module check_annotation
import phase
-import annotation
+private import annotation
redef class ToolContext
var check_annotation_phase: Phase = new CheckAnnotationPhase(self, null)
readonly
writable
cached
+nosuper
+old_style_init
pkgconfig
c_compiler_option