Package org.eclipse.epsilon.hutn.dt.markers

Class MarkerManager

java.lang.Object

org.eclipse.epsilon.hutn.dt.markers.MarkerManager

public class MarkerManager
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
MarkerManager(org.eclipse.core.resources.IResource resource)

Method Summary

Modifier and Type	Method	Description
void	removeMarkers()
void	replaceErrorMarkers(java.util.Collection<ParseProblem> problems)

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkerManager

public MarkerManager(org.eclipse.core.resources.IResource resource)

Method Detail

replaceErrorMarkers

public void replaceErrorMarkers(java.util.Collection<ParseProblem> problems)
                         throws org.eclipse.core.runtime.CoreException

Throws:

org.eclipse.core.runtime.CoreException

removeMarkers

public void removeMarkers()
                   throws org.eclipse.core.runtime.CoreException

Throws:

org.eclipse.core.runtime.CoreException