Package org.eclipse.epsilon.evl.emf.validation

Class EvlMarkerResolutionGenerator

java.lang.Object

org.eclipse.epsilon.evl.emf.validation.EvlMarkerResolutionGenerator

All Implemented Interfaces:

org.eclipse.ui.IMarkerResolutionGenerator

public class EvlMarkerResolutionGenerator
extends Object
implements org.eclipse.ui.IMarkerResolutionGenerator

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<FixInstance,String>	ePackageUris
static EvlMarkerResolutionGenerator	INSTANCE
protected Map<FixInstance,String>	messages
protected Map<FixInstance,String>	modelNames
protected EmfPrettyPrinter	printer
protected Map<String,Collection<FixInstance>>	resolutions

Constructor Summary

Constructors

Constructor	Description
EvlMarkerResolutionGenerator()

Method Summary

Modifier and Type	Method	Description
void	addResolution(String message, FixInstance fix, String modelName, String ePackageUri)
protected FixInstance	disconnect(FixInstance fix)
String	getEObjectId(Object instance)
org.eclipse.ui.IMarkerResolution[]	getResolutions(org.eclipse.core.resources.IMarker marker)
void	removeFixesFor(org.eclipse.emf.ecore.EObject eObject)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static EvlMarkerResolutionGenerator INSTANCE

resolutions

protected Map<String,Collection<FixInstance>> resolutions

messages

protected Map<FixInstance,String> messages

modelNames

protected Map<FixInstance,String> modelNames

ePackageUris

protected Map<FixInstance,String> ePackageUris

printer

protected EmfPrettyPrinter printer

Constructor Detail

EvlMarkerResolutionGenerator

public EvlMarkerResolutionGenerator()

Method Detail

getResolutions

public org.eclipse.ui.IMarkerResolution[] getResolutions(org.eclipse.core.resources.IMarker marker)

Specified by:

getResolutions in interface org.eclipse.ui.IMarkerResolutionGenerator

removeFixesFor

public void removeFixesFor(org.eclipse.emf.ecore.EObject eObject)

getEObjectId

public String getEObjectId(Object instance)

addResolution

public void addResolution(String message,
                          FixInstance fix,
                          String modelName,
                          String ePackageUri)

disconnect

protected FixInstance disconnect(FixInstance fix)