public class Chars
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static char |
DEDENT
Special non-character used by the
IndentDedentInputBuffer . |
static char |
DEL_ERROR
Special non-character used during error recovery.
|
static char |
EOI
The End-of-Input non-character.
|
static char |
INDENT
Special non-character used by the
IndentDedentInputBuffer . |
static char |
INS_ERROR
Special non-character used during error recovery.
|
static char |
RESYNC
Special non-character used during error recovery.
|
static char |
RESYNC_END
Special non-character used during error recovery.
|
static char |
RESYNC_EOI
Special non-character used during error recovery.
|
static char |
RESYNC_START
Special non-character used during error recovery.
|
Modifier | Constructor and Description |
---|---|
private |
Chars() |
public static final char DEL_ERROR
public static final char INS_ERROR
public static final char RESYNC
public static final char RESYNC_START
public static final char RESYNC_END
public static final char RESYNC_EOI
public static final char EOI
public static final char INDENT
IndentDedentInputBuffer
.public static final char DEDENT
IndentDedentInputBuffer
.