|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||
java.lang.Object extended by dk.brics.misc.Origin
public class Origin
Representation of source point.
| Constructor Summary | |
|---|---|
Origin(String str)
Constructs an origin object from its string representation. |
|
Origin(String file,
int line,
int col)
Constructs a new origin object. |
|
| Method Summary | |
|---|---|
int |
compareTo(Origin o)
|
boolean |
equals(Object obj)
|
int |
getColumn()
Returns the column number. |
String |
getFile()
Returns the file name. |
int |
getLine()
Returns the line number. |
int |
hashCode()
|
String |
toString()
Returns string representation of this origin. |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public Origin(String str)
str - originpublic Origin(String file, int line, int col)
file - file nameline - line numbercol - column number| Method Detail |
|---|
public int compareTo(Origin o)
compareTo in interface Comparable<Origin>public boolean equals(Object obj)
public int getColumn()
public String getFile()
public int getLine()
public int hashCode()
public String toString()
|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||