Home
last modified time | relevance | path

Searched refs:UPDATE_MARKERS_FAMILY (Results 1 – 1 of 1) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/lint/
DLintList.java97 private static final Object UPDATE_MARKERS_FAMILY = new Object(); field in LintList
579 return UPDATE_MARKERS_FAMILY == family; in belongsTo()