Position (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.io.Position class

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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.