org.topbraidcomposer.editors
Class ResourceNavigationLocation

java.lang.Object
  extended by org.eclipse.ui.NavigationLocation
      extended by org.topbraidcomposer.editors.ResourceNavigationLocation
All Implemented Interfaces:
org.eclipse.ui.INavigationLocation

public class ResourceNavigationLocation
extends org.eclipse.ui.NavigationLocation


Constructor Summary
ResourceNavigationLocation(org.eclipse.ui.IEditorPart editorPart, com.hp.hpl.jena.rdf.model.Resource resource)
           
 
Method Summary
 java.lang.String getResourceURI()
           
 java.lang.String getText()
           
static boolean isRestoring()
           
 boolean mergeInto(org.eclipse.ui.INavigationLocation currentLocation)
           
 void restoreLocation()
           
 void restoreState(org.eclipse.ui.IMemento memento)
           
 void saveState(org.eclipse.ui.IMemento memento)
           
 void setResource(com.hp.hpl.jena.rdf.model.Resource resource)
           
 void update()
           
 
Methods inherited from class org.eclipse.ui.NavigationLocation
dispose, getEditorPart, getInput, releaseState, setInput
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ResourceNavigationLocation

public ResourceNavigationLocation(org.eclipse.ui.IEditorPart editorPart,
                                  com.hp.hpl.jena.rdf.model.Resource resource)
Method Detail

getText

public java.lang.String getText()
Specified by:
getText in interface org.eclipse.ui.INavigationLocation
Overrides:
getText in class org.eclipse.ui.NavigationLocation

getResourceURI

public java.lang.String getResourceURI()

isRestoring

public static boolean isRestoring()

mergeInto

public boolean mergeInto(org.eclipse.ui.INavigationLocation currentLocation)

restoreLocation

public void restoreLocation()

restoreState

public void restoreState(org.eclipse.ui.IMemento memento)

saveState

public void saveState(org.eclipse.ui.IMemento memento)

setResource

public void setResource(com.hp.hpl.jena.rdf.model.Resource resource)

update

public void update()