org.topbraidcomposer.editors
Class ResourceEditorLauncher

java.lang.Object
  org.topbraidcomposer.editors.ResourceEditorLauncher

All Implemented Interfaces:

org.eclipse.ui.IEditorLauncher

public class ResourceEditorLauncher
extends java.lang.Object
implements org.eclipse.ui.IEditorLauncher

The IEditorLauncher used when users open an existing file in the workspace.

Author:

Holger Knublauch

Constructor Summary

ResourceEditorLauncher()

Method Summary

void	open(org.eclipse.core.resources.IFile file)
void	open(org.eclipse.core.runtime.IPath filePath)
void	showModel(com.hp.hpl.jena.ontology.OntModel model, java.net.URI baseURI, java.lang.Object file, org.eclipse.core.runtime.IProgressMonitor monitor)

Methods inherited from class java.lang.Object

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

Constructor Detail

ResourceEditorLauncher

public ResourceEditorLauncher()

Method Detail

open

public void open(org.eclipse.core.runtime.IPath filePath)

Specified by:

open in interface org.eclipse.ui.IEditorLauncher

open

public void open(org.eclipse.core.resources.IFile file)

showModel

public void showModel(com.hp.hpl.jena.ontology.OntModel model,
                      java.net.URI baseURI,
                      java.lang.Object file,
                      org.eclipse.core.runtime.IProgressMonitor monitor)