Home
last modified time | relevance | path

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

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/
H A DMarkerTypeFieldFilter.java87 if (selectedTypes.containsAll(contentGenerator.getMarkerTypes())) { in saveSettings()
171 selectedTypes.addAll(generator.getMarkerTypes()); in setContentGenerator()
H A DMarkerContentGenerator.java761 public Collection<MarkerType> getMarkerTypes() { in getMarkerTypes() method in MarkerContentGenerator
762 return generatorDescriptor.getMarkerTypes(); in getMarkerTypes()
771 Collection<MarkerType> types = getMarkerTypes(); in getTypes()
H A DMarkerFieldFilterGroup.java158 return generator.getMarkerTypes(); in getAllTypes()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/
H A DMarkerGroup.java364 for (MarkerType type : getMarkerTypes(markerType)) { in addEntry()
464 private MarkerType[] getMarkerTypes(String markerType) { in getMarkerTypes() method in MarkerGroup
H A DContentGeneratorDescriptor.java200 public Collection<MarkerType> getMarkerTypes() { in getMarkerTypes() method in ContentGeneratorDescriptor
H A DMarkerSupportRegistry.java289 String[] markerTypes = getMarkerTypes(element); in processExtension()
454 private String[] getMarkerTypes(IConfigurationElement element) { in getMarkerTypes() method in MarkerSupportRegistry
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.team/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/synchronize/
H A DSynchronizeModelUpdateHandler.java155 protected String[] getMarkerTypes() { in getMarkerTypes() method in SynchronizeModelUpdateHandler
170 String[] markerTypes = getMarkerTypes(); in resourceChanged()