Home
last modified time | relevance | path

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

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/
H A DICoreConstants.java126 IResource[] EMPTY_RESOURCE_ARRAY = new IResource[0]; field
H A DContainer.java143 return ICoreConstants.EMPTY_RESOURCE_ARRAY; in getChildren()
/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 DMarkerSupportInternalUtilities.java91 static final IResource[] EMPTY_RESOURCE_ARRAY = new IResource[0]; field in MarkerSupportInternalUtilities
H A DMarkerContentGenerator.java96 private IResource[] selectedResources = MarkerSupportInternalUtilities.EMPTY_RESOURCE_ARRAY;