public class PropertiesLineReader
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private IDocument |
document |
private java.lang.String |
lastKey |
private IRegion |
lastRegion |
private java.lang.String |
lastValue |
private int |
lineCount |
private int |
lineNum |
| Constructor and Description |
|---|
PropertiesLineReader(IDocument document) |
PropertiesLineReader(java.lang.String data) |
| Modifier and Type | Method and Description |
|---|---|
private char[] |
grabLine(boolean continued) |
java.lang.String |
key() |
LineType |
next() |
IRegion |
region() |
java.lang.String |
value() |
private final IDocument document
private final int lineCount
private int lineNum
private IRegion lastRegion
private java.lang.String lastKey
private java.lang.String lastValue
public PropertiesLineReader(IDocument document)
public PropertiesLineReader(java.lang.String data)
public LineType next() throws java.lang.Exception
java.lang.Exceptionprivate char[] grabLine(boolean continued)
throws BadLocationException
BadLocationExceptionpublic IRegion region()
public java.lang.String key()
public java.lang.String value()