public class Range
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Document |
doc
the document this range points to
|
int |
high
the high line of this range.
|
int |
low
the low line of this range
|
Constructor and Description |
---|
Range(Document doc,
int low,
int high)
Creates a new range
|
Modifier and Type | Method and Description |
---|---|
int |
len()
Returns the length of this range
|
java.lang.String |
toRangeString()
Returns a string suitable for inclusion in a diff output (line number is
incremented by one).
|
java.lang.String |
toString()
Returns a debug string
|
public final Document doc
public final int low
public final int high
public Range(Document doc, int low, int high)
doc
- the documentlow
- the low linehigh
- the high linepublic int len()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toRangeString()
"Copyright © 2010 - 2020 Adobe Systems Incorporated. All Rights Reserved"