| proofVisualization.views.ProofVisualizationView
| ProofVisualizationView | | public class ProofVisualizationView extends ViewPart (Code) | | |
| Inner Class :class ViewContentProvider implements IStructuredContentProvider,ITreeContentProvider | |
| Inner Class :class ViewLabelProvider extends LabelProvider | |
| Inner Class :class NameSorter extends ViewerSorter | |
| ProofVisualizationView | | public ProofVisualizationView()(Code) | | |
| createPartControl | | public void createPartControl(Composite parent)(Code) | | This is a callback that will allow us
to create the viewer and initialize it.
|
| getSourceViewer | | public ISourceViewer getSourceViewer(String file)(Code) | | |
| removeAnnotionMarkers | | public void removeAnnotionMarkers()(Code) | | |
| setFocus | | public void setFocus()(Code) | | Passing the focus request to the viewer's control.
|
|
|