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.Objectpublic java.lang.String toRangeString()
Copyright © 2010 - 2023 Adobe. All Rights Reserved