public class KahinaText extends KahinaObject
Modifier and Type | Field and Description |
---|---|
java.util.List<java.lang.String> |
lines |
needsUpdate
Constructor and Description |
---|
KahinaText() |
KahinaText(java.util.List<java.lang.String> lines) |
KahinaText(java.lang.String absolutePathName) |
Modifier and Type | Method and Description |
---|---|
int |
addLine(java.lang.String line)
appends a new line to the end of this text
|
java.lang.String |
getCompleteContent() |
KahinaTextWithMarking |
getCompleteContentWithLineOffsets(int lineNumber) |
java.lang.String |
getLine(int lineID) |
java.lang.String |
getLineContent(int lineNumber) |
java.util.List<java.lang.String> |
getLines() |
static KahinaText |
loadFromFile(java.lang.String absolutePathName) |
needsUpdate, requireUpdate
public KahinaText()
public KahinaText(java.util.List<java.lang.String> lines)
public KahinaText(java.lang.String absolutePathName)
public java.util.List<java.lang.String> getLines()
public int addLine(java.lang.String line)
line
- - the new line to be added to the textpublic java.lang.String getLine(int lineID)
public static KahinaText loadFromFile(java.lang.String absolutePathName)
public java.lang.String getLineContent(int lineNumber)
public java.lang.String getCompleteContent()
public KahinaTextWithMarking getCompleteContentWithLineOffsets(int lineNumber)