org.eclipse.gmt.umlx.editor.problems
Class ProblemDomain
java.lang.Object
org.eclipse.gmt.umlx.editor.problems.ProblemDomain
- All Implemented Interfaces:
- IRefreshEntry
public class ProblemDomain
- extends java.lang.Object
- implements IRefreshEntry
The ProblemDomain manages the problem markers for a particular editor.
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ProblemDomain
public ProblemDomain(ActiveEditDomain domain,
org.eclipse.core.resources.IFile file)
createProblem
public <M> IProblem createProblem(IProblemMessage<M> problemMessage)
- Return a new Problem for problemMessage.
dispose
public void dispose()
getPriority
public IRefreshEntry.Priority getPriority()
- Description copied from interface:
IRefreshEntry
- Return the priority of this refresh queue entry.
- Specified by:
getPriority
in interface IRefreshEntry
- Returns:
- the priority
getProblemForMarker
public IProblem getProblemForMarker(org.eclipse.core.resources.IMarker marker)
getProblemForModel
public IProblem getProblemForModel(java.lang.Object model)
refresh
public void refresh()
- Description copied from interface:
IRefreshEntry
- Perform the queued refresh.
- Specified by:
refresh
in interface IRefreshEntry
resetProblem
public void resetProblem(IProblem problem)
setProblemForModel
public void setProblemForModel(java.lang.Object model,
IProblem problem)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object