| java.lang.Object edu.rice.cs.drjava.model.SimpleDocumentRegion
SimpleDocumentRegion | public class SimpleDocumentRegion implements DocumentRegion(Code) | | Class for a simple document region. If a document is provided, then the region will move within the document.
version: $Id$ |
_endOffset | protected volatile int _endOffset(Code) | | |
_startOffset | protected volatile int _startOffset(Code) | | |
SimpleDocumentRegion | public SimpleDocumentRegion(OpenDefinitionsDocument doc, File file, int so, int eo)(Code) | | Create a new simple document region.
Parameters: doc - document that contains this region, or null if we don't have a document yet Parameters: file - file that contains the region Parameters: so - start offset of the region; if doc is non-null, then a Position will be created that moves within the document Parameters: eo - end offset of the region; if doc is non-null, then a Position will be created that moves within the document |
equals | public static boolean equals(Object o1, Object o2)(Code) | | Structural equality method that copes with null! This method should be a member of class Object.
|
equals | public boolean equals(Object other)(Code) | | true if the specified region is equal to this one. |
getEndOffset | public int getEndOffset()(Code) | | the end offset |
getStartOffset | public int getStartOffset()(Code) | | the start offset |
|
|