|
Jadex 0.96 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjadex.model.SourceLocation
public class SourceLocation
A location in a source file represented by line number and column number.
Constructor Summary | |
---|---|
SourceLocation(String filename,
int linenumber,
int columnnumber)
Create a new source location. |
Method Summary | |
---|---|
int |
getColumnNumber()
Get the column number. |
String |
getFilename()
Get the file name. |
int |
getLineNumber()
Get the line number. |
void |
setColumnNumber(int columnnumber)
Set the column number. |
void |
setFilename(String filename)
Set the filename. |
void |
setLineNumber(int linenumber)
Set the line number. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SourceLocation(String filename, int linenumber, int columnnumber)
Method Detail |
---|
public String getFilename()
public void setFilename(String filename)
filename
- The filename to set.public int getLineNumber()
public void setLineNumber(int linenumber)
linenumber
- The linenumber to set.public int getColumnNumber()
public void setColumnNumber(int columnnumber)
columnnumber
- The columnnumber to set.
|
Jadex 0.96 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Copyright (C) 2002-2007 Lars Braubach, Alexander Pokahr - University of Hamburg. Use is subject to license terms.