Java AnalysisMarkerManager Exemples

Exemple #1

Fichier : IgnoreResourceFilter.java Projet : rasmusgude/eclipse3

 @Override
 public void packageSourceAdded(SourceDeltaEvent event) {
   if (shouldForward(event)) {
     listener.packageSourceAdded(event);
   } else {
     IResource resource = event.getResource();
     if (resource != null) {
       markerManager.clearMarkers(resource);
     }
   }
 }

Exemple #2

Fichier : IgnoreResourceFilter.java Projet : rasmusgude/eclipse3

 public IgnoreResourceFilter() {
   this(DartCore.getIgnoreManager(), AnalysisMarkerManager.getInstance());
 }