Uses of Interface
edu.rice.cs.util.docnavigation.IDocumentNavigator

Packages that use IDocumentNavigator

edu.rice.cs.drjava.model	The model package is responsible for the majority of the logic and state in DrJava.
edu.rice.cs.util.docnavigation

Uses of IDocumentNavigator in edu.rice.cs.drjava.model

Fields in edu.rice.cs.drjava.model declared as IDocumentNavigator

protected IDocumentNavigator<OpenDefinitionsDocument>

AbstractGlobalModel._documentNavigator The abstract container which contains views of open documents and allows user to navigate document focus among this collection of open documents

Methods in edu.rice.cs.drjava.model that return IDocumentNavigator

IDocumentNavigator<OpenDefinitionsDocument>	GlobalModel.getDocumentNavigator() Gets the DocumentNavigator, which controls the document view.
IDocumentNavigator<OpenDefinitionsDocument>	DummyGlobalModel.getDocumentNavigator()
IDocumentNavigator<OpenDefinitionsDocument>	AbstractGlobalModel.getDocumentNavigator()

Methods in edu.rice.cs.drjava.model with parameters of type IDocumentNavigator

void	GlobalModel.setDocumentNavigator(IDocumentNavigator<OpenDefinitionsDocument> newnav)
void	DummyGlobalModel.setDocumentNavigator(IDocumentNavigator<OpenDefinitionsDocument> newnav)
void	AbstractGlobalModel.setDocumentNavigator(IDocumentNavigator<OpenDefinitionsDocument> newnav)

Uses of IDocumentNavigator in edu.rice.cs.util.docnavigation

Classes in edu.rice.cs.util.docnavigation that implement IDocumentNavigator

class

JTreeSortNavigator<ItemT extends INavigatorItem>

Methods in edu.rice.cs.util.docnavigation that return IDocumentNavigator

IDocumentNavigator<ItemT>	IDocumentNavigatorFactory.makeListNavigator() Creates a new List Navigator
IDocumentNavigator<ItemT>	AWTContainerNavigatorFactory.makeListNavigator() Creates a new List Navigator
IDocumentNavigator<ItemT>	IDocumentNavigatorFactory.makeListNavigator(IDocumentNavigator<ItemT> parent) Creates a list navigator and migrates the navigator items from parent to the new navigator
IDocumentNavigator<ItemT>	AWTContainerNavigatorFactory.makeListNavigator(IDocumentNavigator<ItemT> parent) Creates a list navigator and migrates the navigator items from parent to the new navigator.
IDocumentNavigator<ItemT>	IDocumentNavigatorFactory.makeTreeNavigator(String name) Returns a new tree Navigator with the specified root
IDocumentNavigator<ItemT>	AWTContainerNavigatorFactory.makeTreeNavigator(String path) Returns a new tree Navigator with the specified root
IDocumentNavigator<ItemT>	IDocumentNavigatorFactory.makeTreeNavigator(String name, IDocumentNavigator<ItemT> parent, List<Pair<String,INavigatorItemFilter<ItemT>>> l) Creates a tree navigator and migrates the navigator items from the parent to the new navigator
IDocumentNavigator<ItemT>	AWTContainerNavigatorFactory.makeTreeNavigator(String name, IDocumentNavigator<ItemT> parent, List<Pair<String,INavigatorItemFilter<ItemT>>> l) Creates a tree navigator and migrates the navigator items from the parent to the new navigator.

Methods in edu.rice.cs.util.docnavigation with parameters of type IDocumentNavigator

ReturnType	IDocumentNavigatorAlgo.forList(IDocumentNavigator<ItemT> navigator, InType input) the List case for the visitor
ReturnType	IDocumentNavigatorAlgo.forTree(IDocumentNavigator<ItemT> navigator, InType input) the Tree case for the visitor
IDocumentNavigator<ItemT>	IDocumentNavigatorFactory.makeListNavigator(IDocumentNavigator<ItemT> parent) Creates a list navigator and migrates the navigator items from parent to the new navigator
IDocumentNavigator<ItemT>	AWTContainerNavigatorFactory.makeListNavigator(IDocumentNavigator<ItemT> parent) Creates a list navigator and migrates the navigator items from parent to the new navigator.
IDocumentNavigator<ItemT>	IDocumentNavigatorFactory.makeTreeNavigator(String name, IDocumentNavigator<ItemT> parent, List<Pair<String,INavigatorItemFilter<ItemT>>> l) Creates a tree navigator and migrates the navigator items from the parent to the new navigator
IDocumentNavigator<ItemT>	AWTContainerNavigatorFactory.makeTreeNavigator(String name, IDocumentNavigator<ItemT> parent, List<Pair<String,INavigatorItemFilter<ItemT>>> l) Creates a tree navigator and migrates the navigator items from the parent to the new navigator.