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.Object
Copyright © 2009-2012. All Rights Reserved.