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.Exception
private char[] grabLine(boolean continued) throws BadLocationException
BadLocationException
public IRegion region()
public java.lang.String key()
public java.lang.String value()