Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia.io
Class Position

java.lang.Object
  extended bycom.meyling.principia.io.Position

public class Position
extends Object

Class for remembering parsing positions.

Version:
$Revision: 1.5 $
Author:
Michael Meyling

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

Position

public Position(int begin,
                int end)
Constructs a 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

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.