PMII - JAVA-Packages - Principia Mathematica II

com.meyling.principia.io
Class Position

java.lang.Object
  |
  +--com.meyling.principia.io.Position

public class Position
extends Object

Class for remembering parsing positions.

Version:
$Revision: 1.3 $
Author:
Michael Meyling

Constructor Summary
Position(int begin, int end)
          Constructs an 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

Position

public Position(int begin,
                int end)
Constructs an marker for begin and end position.
Parameters:
begin - start position
end - end position
Method Detail

getBegin

public final int getBegin()
Get start position.
Returns:
start position

getEnd

public final int getEnd()
Get end position.
Returns:
end position

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.