public class ConsoleDocument
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
protected static class |
ConsoleDocument.ConsoleLine |
Modifier and Type | Field and Description |
---|---|
private static int |
BUFFER_SIZE |
static int |
COMMAND |
static int |
DELIMITER |
static int |
ERROR |
private java.lang.String[] |
lines |
private int[] |
lineTypes |
static int |
MESSAGE |
private int |
readIndex |
static int |
STATUS |
private int |
writeIndex |
Constructor and Description |
---|
ConsoleDocument()
Creates an empty console document.
|
Modifier and Type | Method and Description |
---|---|
void |
appendConsoleLine(int type,
java.lang.String line)
Appends a line of the specified type to the end of the console.
|
void |
clear()
Clears the console document.
|
ConsoleDocument.ConsoleLine[] |
getLines() |
boolean |
isEmpty() |
public static final int COMMAND
public static final int MESSAGE
public static final int ERROR
public static final int STATUS
public static final int DELIMITER
private int[] lineTypes
private java.lang.String[] lines
private int writeIndex
private int readIndex
private static final int BUFFER_SIZE
public void clear()
public void appendConsoleLine(int type, java.lang.String line)
public ConsoleDocument.ConsoleLine[] getLines()
public boolean isEmpty()