Java 类org.eclipse.ui.INavigationLocation 实例源码

public INavigationLocation createEmptyNavigationLocation() {
    final NavigationLocationComposite combinedFormNav = new NavigationLocationComposite();

    // save the current FormPage as a navigation control
    combinedFormNav.add(new TabNavigationLocation(this));

    // the control selected on the current page
    final Control focusControl = getSite().getShell().getDisplay().getFocusControl();
    if (focusControl != null) {
        combinedFormNav.add(new ControlNavigationLocation(focusControl));
    }

    return combinedFormNav;
}

public boolean mergeInto(INavigationLocation currentLocation) {
    // merge this and the given currentLocation if they both are the same type and handle the same page
    if(currentLocation instanceof TabNavigationLocation) {
        TabNavigationLocation fpnlc = (TabNavigationLocation) currentLocation;
        return formPage == fpnlc.formPage;
    }
    return false;
}

/**
 * The navigation location stack tries to minimize the number of entries by merging duplicates/similar entries together.
 */
public boolean mergeInto(INavigationLocation currentLocation) {
    if (currentLocation instanceof MultiPageEditorLocation) {
        if (((MultiPageEditorLocation) currentLocation).getCurrentGraphID() != null
                && ((MultiPageEditorLocation) currentLocation).getCurrentGraphID().equals(currentGraphID))
            return true;
    }
    return false;
}

public INavigationLocation createEmptyNavigationLocation() {
    return tlaEditor.createEmptyNavigationLocation();
}

public INavigationLocation createNavigationLocation() {
    return tlaEditor.createNavigationLocation();
}

public INavigationLocation createNavigationLocation() {
    return createEmptyNavigationLocation();
}

public boolean mergeInto(INavigationLocation currentLocation) {
    return false;
}

public void dispose() {
    for (INavigationLocation location : locations) {
        location.dispose();
    }
}

public void releaseState() {
    for (INavigationLocation location : locations) {
        location.releaseState();
    }
}

public void restoreLocation() {
    for (INavigationLocation location : locations) {
        location.restoreLocation();
    }
}

public boolean mergeInto(INavigationLocation currentLocation) {
    // not supported right now
    return false;
}

public void add(INavigationLocation aNavigationLocation) {
    locations.add(aNavigationLocation);
}

public boolean mergeInto(INavigationLocation currentLocation) {
    // TODO Auto-generated method stub
    return false;
}

/**
 * Creates a {@link MultiPageEditorLocation}
 * 
 * @see org.eclipse.ui.INavigationLocationProvider#createEmptyNavigationLocation()
 */
public INavigationLocation createEmptyNavigationLocation() {
    return new MultiPageEditorLocation(this);
}

/**
 * Creates a {@link MultiPageEditorLocation}
 * 
 * @see org.eclipse.ui.INavigationLocationProvider#createNavigationLocation()
 */
public INavigationLocation createNavigationLocation() {
    return new MultiPageEditorLocation(this);
}