Uses of Interface
edu.rice.cs.drjava.model.OrderedDocumentRegion

Packages that use OrderedDocumentRegion

edu.rice.cs.drjava.model	The model package is responsible for the majority of the logic and state in DrJava.
edu.rice.cs.drjava.model.debug	Contains the code for DrJava's JPDA-based debugger.
edu.rice.cs.drjava.model.debug.jpda
edu.rice.cs.drjava.ui	The ui package contains classes for the default user interface for DrJava.

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

Classes in edu.rice.cs.drjava.model with type parameters of type OrderedDocumentRegion

class

ConcreteRegionManager<R extends OrderedDocumentRegion> Simple region manager for the entire model.

Classes in edu.rice.cs.drjava.model that implement OrderedDocumentRegion

class	DocumentRegion Class for a simple document region that only records region offsets, not positions.
class	MovingDocumentRegion Class for a document region that moves with changes in the document; it also includes a lazy tool-tip and line boundaries.

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

int	DocumentRegion.compareTo(OrderedDocumentRegion r) Totally orders regions lexicographically based on (_doc, endOffset, startOffset).

Uses of OrderedDocumentRegion in edu.rice.cs.drjava.model.debug

Subinterfaces of OrderedDocumentRegion in edu.rice.cs.drjava.model.debug

interface

Breakpoint

Uses of OrderedDocumentRegion in edu.rice.cs.drjava.model.debug.jpda

Classes in edu.rice.cs.drjava.model.debug.jpda that implement OrderedDocumentRegion

class

JPDABreakpoint The breakpoint object which has references to its OpenDefinitionsDocument and its BreakpointRequest.

Methods in edu.rice.cs.drjava.model.debug.jpda with parameters of type OrderedDocumentRegion

int	JPDABreakpoint.compareTo(OrderedDocumentRegion r) Totally orders regions lexicographically based on (_doc, endOffset, startOffset).

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

Classes in edu.rice.cs.drjava.ui with type parameters of type OrderedDocumentRegion

class	RegionsTreePanel<R extends OrderedDocumentRegion> Panel for displaying regions in a tree sorted by class name and line number.
protected static class	RegionsTreePanel.RegionTreeUserObj<R extends OrderedDocumentRegion> Class that is embedded in each leaf node.

Fields in edu.rice.cs.drjava.ui declared as OrderedDocumentRegion

private OrderedDocumentRegion	MainFrame._firstRegion
private OrderedDocumentRegion	MainFrame._lastRegion
protected R	RegionsTreePanel._lastSelectedRegion the region that was last selected (may be null).
protected R	RegionsTreePanel.RegionTreeUserObj._region

Fields in edu.rice.cs.drjava.ui with type parameters of type OrderedDocumentRegion

private IdentityHashMap<OrderedDocumentRegion,HighlightManager.HighlightInfo>

MainFrame._documentBookmarkHighlights Table to map bookmarks to their corresponding highlight objects.

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

private static <R extends OrderedDocumentRegion> Pair<R,R>

MainFrame.maxInterval(Pair<R,R> i, Pair<R,R> j)