Jadex 0.96

jadex.model
Class SourceLocation

java.lang.Object
  extended by jadex.model.SourceLocation

public class SourceLocation
extends Object

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

SourceLocation

public SourceLocation(String filename,
                      int linenumber,
                      int columnnumber)
Create a new source location.

Method Detail

getFilename

public String getFilename()
Get the file name.


setFilename

public void setFilename(String filename)
Set the filename.

Parameters:
filename - The filename to set.

getLineNumber

public int getLineNumber()
Get the line number.


setLineNumber

public void setLineNumber(int linenumber)
Set the line number.

Parameters:
linenumber - The linenumber to set.

getColumnNumber

public int getColumnNumber()
Get the column number.


setColumnNumber

public void setColumnNumber(int columnnumber)
Set the column number.

Parameters:
columnnumber - The columnnumber to set.

Jadex 0.96

Submit a bug or feature
For further API reference and developer documentation, see the Jadex User Guide and the Jadex Tutorial. That documentation contains more detailed, developer-targeted descriptions, with conceptual overviews, definitions of terms, and working code examples.

Copyright (C) 2002-2007 Lars Braubach, Alexander Pokahr - University of Hamburg. Use is subject to license terms.