public class AadlMarkerComparator
extends java.lang.Object
implements java.util.Comparator<org.eclipse.core.resources.IMarker>
IMarkers
based on an instance of ReporterSettings
Constructor and Description |
---|
AadlMarkerComparator(ReporterSettings settings)
Creates a new
AadlMarkerComparator with the specified ReporterSettings . |
Modifier and Type | Method and Description |
---|---|
int |
compare(org.eclipse.core.resources.IMarker marker1,
org.eclipse.core.resources.IMarker marker2)
Compares two AadlMarkers based on the
ReporterSettings that an object of this class
is constructed with. |
public AadlMarkerComparator(ReporterSettings settings)
AadlMarkerComparator
with the specified ReporterSettings
.settings
- Used to compare two IMarkers
.public int compare(org.eclipse.core.resources.IMarker marker1, org.eclipse.core.resources.IMarker marker2)
ReporterSettings
that an object of this class
is constructed with.compare
in interface java.util.Comparator<org.eclipse.core.resources.IMarker>
marker1
- The first AadlMarker to be compared.marker2
- The second AadlMarker to be compared.org.eclipse.core.runtime.CoreException
- If this method fails. Reasons include: