Uses of Class
edu.rice.cs.drjava.model.BrowserDocumentRegion

Packages that use BrowserDocumentRegion

edu.rice.cs.drjava.model	The model package is responsible for the majority of the logic and state in DrJava.
edu.rice.cs.drjava.ui	The ui package contains classes for the default user interface for DrJava.

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

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

BrowserDocumentRegion	BrowserHistoryManager.getCurrentRegion()
BrowserDocumentRegion	BrowserHistoryManager.nextCurrentRegion(GlobalEventNotifier notifier) Make the region that is more recent the current region.
BrowserDocumentRegion	BrowserHistoryManager.prevCurrentRegion(GlobalEventNotifier notifier) Make the region that is less recent the current region.

Methods in edu.rice.cs.drjava.model that return types with arguments of type BrowserDocumentRegion

SortedSet<BrowserDocumentRegion>

BrowserHistoryManager.getRegions()

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

void	OpenDefinitionsDocument.addBrowserRegion(BrowserDocumentRegion r) Adds region r to the browserRegions collection for this
void	DummyOpenDefDoc.addBrowserRegion(BrowserDocumentRegion r)
void	BrowserHistoryManager.addBrowserRegion(BrowserDocumentRegion r, GlobalEventNotifier notifier) Add the supplied DocumentRegion r to the manager just above _current and set _current to refer to r.
void	BrowserHistoryManager.changeRegion(BrowserDocumentRegion region, Lambda<BrowserDocumentRegion,Object> cmd) Apply the given command to the specified region to change it.
int	BrowserDocumentRegion.compareTo(BrowserDocumentRegion r) This relation is consistent with equals.
void	BrowserHistoryManager.remove(BrowserDocumentRegion r) Remove the given DocumentRegion from the manager.
void	OpenDefinitionsDocument.removeBrowserRegion(BrowserDocumentRegion r) Removes region r from the browserRegions collection
void	DummyOpenDefDoc.removeBrowserRegion(BrowserDocumentRegion r)
void	BrowserHistoryManager.setCurrentRegion(BrowserDocumentRegion r) Set the current region.

Method parameters in edu.rice.cs.drjava.model with type arguments of type BrowserDocumentRegion

void	BrowserHistoryManager.changeRegion(BrowserDocumentRegion region, Lambda<BrowserDocumentRegion,Object> cmd) Apply the given command to the specified region to change it.

Uses of BrowserDocumentRegion in edu.rice.cs.drjava.ui

Methods in edu.rice.cs.drjava.ui that return types with arguments of type BrowserDocumentRegion

protected RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>	BrowserHistoryPanel.getUserObjForRegion(BrowserDocumentRegion r)
protected RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>	BrowserHistoryPanel.makeRegionListUserObj(BrowserDocumentRegion r) Factory method to create user objects put in the tree.

Methods in edu.rice.cs.drjava.ui with parameters of type BrowserDocumentRegion

protected RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>	BrowserHistoryPanel.getUserObjForRegion(BrowserDocumentRegion r)
protected RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>	BrowserHistoryPanel.makeRegionListUserObj(BrowserDocumentRegion r) Factory method to create user objects put in the tree.

Constructors in edu.rice.cs.drjava.ui with parameters of type BrowserDocumentRegion

BrowserHistoryPanel.BrowserHistoryListUserObj(BrowserDocumentRegion r)