240241242243244245246247
} } // --- VISITOR IMPLEMENTATION --- public void accept(Visitor v) { InstanceVisitor iv = (InstanceVisitor) v; iv.visit(this); }