|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objecthmi.util.StringUtil.TextPos
public static class StringUtil.TextPos
Local class, for reposting positions in a String in the form of (line-number, line-pos).
| Field Summary | |
|---|---|
private int |
lineNumber
|
private int |
linePos
|
| Constructor Summary | |
|---|---|
StringUtil.TextPos()
Creates a new undefined LinePos |
|
StringUtil.TextPos(int lineNumber,
int linePos)
Creates a new LinePos |
|
| Method Summary | |
|---|---|
boolean |
equals(Object textpos)
|
int |
getLineNumber()
returns the line number |
int |
getLinePos()
returns the line pos |
int |
hashCode()
|
boolean |
isDefined()
return true for a defined text position, i.e. when (at least) the line number is >= 0 |
void |
setLineNumber(int lineNumber)
Sets the line number |
void |
setLinePos(int linePos)
Sets the line position |
String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
private int lineNumber
private int linePos
| Constructor Detail |
|---|
public StringUtil.TextPos()
public StringUtil.TextPos(int lineNumber,
int linePos)
| Method Detail |
|---|
public void setLineNumber(int lineNumber)
public void setLinePos(int linePos)
public int getLineNumber()
public int getLinePos()
public boolean equals(Object textpos)
equals in class Objectpublic int hashCode()
hashCode in class Objectpublic boolean isDefined()
public String toString()
toString in class Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||