TPTP 4.1.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.analysis.engine.ui.codereview
Class SolutionMarkerGenerator

java.lang.Object
  extended byorg.eclipse.tptp.platform.analysis.engine.ui.codereview.SolutionMarkerGenerator
All Implemented Interfaces:
org.eclipse.ui.IMarkerResolutionGenerator, org.eclipse.ui.IMarkerResolutionGenerator2

public class SolutionMarkerGenerator
extends java.lang.Object
implements org.eclipse.ui.IMarkerResolutionGenerator2

SolutionMarkerGenerator


Constructor Summary
SolutionMarkerGenerator()
           
 
Method Summary
 org.eclipse.ui.IMarkerResolution[] getResolutions(org.eclipse.core.resources.IMarker marker)
          Get the resolutions for a marker.
 boolean hasResolutions(org.eclipse.core.resources.IMarker marker)
          Return the hasResolution flag.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SolutionMarkerGenerator

public SolutionMarkerGenerator()
Method Detail

hasResolutions

public boolean hasResolutions(org.eclipse.core.resources.IMarker marker)
Return the hasResolution flag.

Specified by:
hasResolutions in interface org.eclipse.ui.IMarkerResolutionGenerator2

getResolutions

public org.eclipse.ui.IMarkerResolution[] getResolutions(org.eclipse.core.resources.IMarker marker)
Get the resolutions for a marker.

Specified by:
getResolutions in interface org.eclipse.ui.IMarkerResolutionGenerator

TPTP 4.1.0 Platform Project
Public API Specification