Delete chrome.mediaGalleriesPrivate because the functionality unique to it has since...
[chromium-blink-merge.git] / tools / android / findbugs_plugin / findbugs.xml
blob43b1f3417dcc10b1dc78da03069b4fb7bf3fc4df
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!--
3   Copyright (c) 2012 The Chromium Authors. All rights reserved.
4   Use of this source code is governed by a BSD-style license that can be
5   found in the LICENSE file.
6 -->
8 <FindbugsPlugin xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
9         xsi:noNamespaceSchemaLocation="findbugsplugin.xsd"
10         pluginid="SynchronizedThisDetector"
11         provider="chromium"
12         website="http://code.google.com/p/chromium/wiki/UseFindBugsForAndroid">
13         <Detector class="org.chromium.tools.findbugs.plugin.SynchronizedThisDetector" reports="CHROMIUM_SYNCHRONIZED_THIS" />
14         <BugPattern type="CHROMIUM_SYNCHRONIZED_THIS" abbrev="CST" category="CORRECTNESS"/>
16         <Detector class="org.chromium.tools.findbugs.plugin.SynchronizedMethodDetector" reports="CHROMIUM_SYNCHRONIZED_METHOD" />
17         <BugPattern type="CHROMIUM_SYNCHRONIZED_METHOD" abbrev="CSM" category="CORRECTNESS"/>
18 </FindbugsPlugin>