public class RopeNodes
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static interface |
RopeNodes.ChunkUpdater |
static class |
RopeNodes.Node |
| Modifier and Type | Field and Description |
|---|---|
static int |
MAX_BRANCHES |
static int |
MAX_CHUNK_CODE_UNITS |
static int |
SHIFT_INCREMENT |
| Constructor and Description |
|---|
RopeNodes() |
| Modifier and Type | Method and Description |
|---|---|
static int |
numCodePoints(java.lang.Object node) |
static int |
numCodeUnits(java.lang.Object node) |
static RopeNodes.Node |
pushLast(RopeNodes.Node a,
java.lang.Object b,
java.lang.Object editor) |
static java.lang.Object |
slice(java.lang.Object chunk,
int start,
int end,
java.lang.Object editor) |
public static final int SHIFT_INCREMENT
public static final int MAX_BRANCHES
public static final int MAX_CHUNK_CODE_UNITS
public static java.lang.Object slice(java.lang.Object chunk,
int start,
int end,
java.lang.Object editor)
public static int numCodeUnits(java.lang.Object node)
public static int numCodePoints(java.lang.Object node)
public static RopeNodes.Node pushLast(RopeNodes.Node a, java.lang.Object b, java.lang.Object editor)