edu.wis.jtlv.env.ui.editors.smv
Class SMVReconcilingStrategy
java.lang.Object
edu.wis.jtlv.env.ui.editors.smv.SMVReconcilingStrategy
- All Implemented Interfaces:
- org.eclipse.jface.text.reconciler.IReconcilingStrategy
public class SMVReconcilingStrategy
- extends java.lang.Object
- implements org.eclipse.jface.text.reconciler.IReconcilingStrategy
Method Summary |
void |
reconcile(org.eclipse.jface.text.reconciler.DirtyRegion dirtyRegion,
org.eclipse.jface.text.IRegion subRegion)
|
void |
reconcile(org.eclipse.jface.text.IRegion partition)
|
void |
setDocument(org.eclipse.jface.text.IDocument document)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SMVReconcilingStrategy
public SMVReconcilingStrategy()
setDocument
public void setDocument(org.eclipse.jface.text.IDocument document)
- Specified by:
setDocument
in interface org.eclipse.jface.text.reconciler.IReconcilingStrategy
reconcile
public void reconcile(org.eclipse.jface.text.IRegion partition)
- Specified by:
reconcile
in interface org.eclipse.jface.text.reconciler.IReconcilingStrategy
reconcile
public void reconcile(org.eclipse.jface.text.reconciler.DirtyRegion dirtyRegion,
org.eclipse.jface.text.IRegion subRegion)
- Specified by:
reconcile
in interface org.eclipse.jface.text.reconciler.IReconcilingStrategy