|
Hilbert II - Version 0.03.08 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.common.SourceArea
Describes an area of an URL contents.
| Constructor Summary | |
SourceArea(URL address,
SourcePosition startPosition,
SourcePosition endPosition)
Constructs file position object. |
|
| Method Summary | |
URL |
getAddress()
Get address (or something to identify it) of input source. |
SourcePosition |
getEndPosition()
Get end position. |
SourcePosition |
getStartPosition()
Get start position. |
String |
toString()
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public SourceArea(URL address,
SourcePosition startPosition,
SourcePosition endPosition)
address - For identifying source.startPosition - Start position.endPosition - Start position.| Method Detail |
public final URL getAddress()
public final SourcePosition getStartPosition()
public final SourcePosition getEndPosition()
public final String toString()
|
Hilbert II - Version 0.03.08 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |