|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectcom.meyling.principia.io.Position
Class for remembering parsing positions.
| Constructor Summary | |
Position(int begin,
int end)
Constructs a marker for begin and end position. |
|
| Method Summary | |
int |
getBegin()
Get start position. |
int |
getEnd()
Get end position. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public Position(int begin,
int end)
begin - start positionend - end position| Method Detail |
public final int getBegin()
public final int getEnd()
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |