public class Occurence
extends java.lang.Object
| Constructor and Description |
|---|
Occurence(Position position,
TextBuffer buffer)
Creates a new instance of Occurence.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getLineText()
Returns the lines text.
|
Position |
getPosition()
Returns the line number represented by this Occurence.
|
void |
setLineText(java.lang.String text)
Updates the lines text.
|
java.lang.String |
toString() |
public Occurence(Position position, TextBuffer buffer)
position - The position of this occurencebuffer - The text buffer this line belongs to.public Position getPosition()
public java.lang.String getLineText()
public void setLineText(java.lang.String text)
text - The text to set.public java.lang.String toString()
toString in class java.lang.ObjectCopyright © 2009-2012. All Rights Reserved.