edu.cmu.sei.aadl.model.core.presentation
Class AaxlNavigationLocation

java.lang.Object
  extended by org.eclipse.ui.NavigationLocation
      extended by edu.cmu.sei.aadl.model.core.presentation.AaxlNavigationLocation
All Implemented Interfaces:
org.eclipse.ui.INavigationLocation

public class AaxlNavigationLocation
extends org.eclipse.ui.NavigationLocation

Author:
phf

Constructor Summary
AaxlNavigationLocation(CoreEditor part, boolean initialize)
          Creates a new text selection navigation location.
 
Method Summary
 void dispose()
           
 boolean mergeInto(org.eclipse.ui.INavigationLocation location)
          Merges the given location into this one.
 void partSaved(org.eclipse.ui.IEditorPart part)
          Hook method which is called when the given editor has been saved.
 void releaseState()
          Releases the state of this location.
 void restoreLocation()
          Restores this location.
 void restoreState(org.eclipse.ui.IMemento memento)
          Restores the object state from the given memento.
 void saveState(org.eclipse.ui.IMemento memento)
          Stores the object state into the given memento.
 java.lang.String toString()
           
 void update()
          Updates the this location.
 
Methods inherited from class org.eclipse.ui.NavigationLocation
getEditorPart, getInput, getText, setInput
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AaxlNavigationLocation

public AaxlNavigationLocation(CoreEditor part,
                              boolean initialize)
Creates a new text selection navigation location.

Parameters:
part - the text editor part
initialize - a boolean indicating whether to initialize the new instance from the current selection
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

mergeInto

public boolean mergeInto(org.eclipse.ui.INavigationLocation location)
Merges the given location into this one.

Parameters:
location - the location to merge into this one
Returns:
true if merging was successful

dispose

public void dispose()
Specified by:
dispose in interface org.eclipse.ui.INavigationLocation
Overrides:
dispose in class org.eclipse.ui.NavigationLocation

releaseState

public void releaseState()
Releases the state of this location.

Specified by:
releaseState in interface org.eclipse.ui.INavigationLocation
Overrides:
releaseState in class org.eclipse.ui.NavigationLocation

restoreLocation

public void restoreLocation()
Restores this location.


restoreState

public void restoreState(org.eclipse.ui.IMemento memento)
Restores the object state from the given memento.

Parameters:
memento - the memento

saveState

public void saveState(org.eclipse.ui.IMemento memento)
Stores the object state into the given memento.

Parameters:
memento - the memento

partSaved

public void partSaved(org.eclipse.ui.IEditorPart part)
Hook method which is called when the given editor has been saved.

Parameters:
part - the editor part

update

public void update()
Updates the this location.