Home
last modified time | relevance | path

Searched defs:generatorDesc (Results 1 – 1 of 1) sorted by relevance

/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 DMarkerSupportRegistry.java312 ContentGeneratorDescriptor generatorDesc = new ContentGeneratorDescriptor(element); in processExtension() local
313 generators.put(generatorDesc.getId(), generatorDesc); in processExtension() local
377 ContentGeneratorDescriptor generatorDesc = generatorIterator.next(); in postProcessContentGenerators() local
651 …ContentGeneratorDescriptor generatorDesc = generators.get(element.getAttribute(ATTRIBUTE_GENERATOR… in removeExtension() local