jack.plugin.source
Class JmlMergeViewer

java.lang.Object
  org.eclipse.jface.viewers.Viewer
      org.eclipse.jface.viewers.ContentViewer
          org.eclipse.compare.contentmergeviewer.ContentMergeViewer
              org.eclipse.compare.contentmergeviewer.TextMergeViewer
                  jack.plugin.source.JmlMergeViewer

All Implemented Interfaces:

org.eclipse.jface.viewers.IInputProvider, org.eclipse.jface.viewers.IInputSelectionProvider, org.eclipse.compare.IPropertyChangeNotifier, org.eclipse.compare.internal.ISavable, org.eclipse.jface.viewers.ISelectionProvider

public class JmlMergeViewer

extends org.eclipse.compare.contentmergeviewer.TextMergeViewer

A text merge viewer for JML files.

Author:

L. Burdy

Constructor Summary

JmlMergeViewer(org.eclipse.swt.custom.ViewForm treeForm, org.eclipse.compare.CompareConfiguration configuration)

Methods inherited from class org.eclipse.compare.contentmergeviewer.TextMergeViewer

invalidateTextPresentation, setBackgroundColor, setForegroundColor

Methods inherited from class org.eclipse.compare.contentmergeviewer.ContentMergeViewer

addPropertyChangeListener, getControl, getSelection, getTitle, refresh, removePropertyChangeListener, save, setConfirmSave, setContentProvider, setSelection

Methods inherited from class org.eclipse.jface.viewers.ContentViewer

getContentProvider, getInput, getLabelProvider, setInput, setLabelProvider

Methods inherited from class org.eclipse.jface.viewers.Viewer

addHelpListener, addSelectionChangedListener, getData, removeHelpListener, removeSelectionChangedListener, scrollDown, scrollUp, setData, setSelection

Methods inherited from class java.lang.Object

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

Constructor Detail

JmlMergeViewer

public JmlMergeViewer(org.eclipse.swt.custom.ViewForm treeForm,
                      org.eclipse.compare.CompareConfiguration configuration)