import counter
import typing
import parse_annotations
-import doc_down
import model::model_examples
redef class ToolContext
redef fun accept_example_visitor(v) do
var recvtype = self.recvtype
if recvtype != null then
+ v.counter.inc recvtype.mclass
v.counter.inc recvtype.mclass.intro
end
visit_all(v)