may be `const vector <ObjCMessageExpr*>& getViolations() const`