ParsingTable (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.io.ParsingTable 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 ParsingTable

    java.lang.Object
      com.meyling.principia.io.ParsingTable

public class ParsingTable
extends Object

Table for `Argument` `Position`s.

Version:
  $Revision: 1.5 $
Author:
  Michael Meyling

Constructor Summary
`ParsingTable()` Constructs a new parsing table.

Method Summary
`Position` | `get(Argument argument)` Get position of argument.
`void` | `put(Argument argument, Position position)` Put argument position.

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### ParsingTable

    public ParsingTable()

  Constructs a new parsing table.

Method Detail

### get

    public final Position get(Argument argument)

  Get position of argument.

  Parameters:
    `argument` - lookup information for this argument
  Returns:
    position information
  Throws:
    `IllegalArgumentException` - if argument is unknown

### put

    public final void put(Argument argument,
                          Position position)

  Put argument position.

  Parameters:
    `argument` - lookup information for this argument
    `position` - `argument` has this position
  Throws:
    `IllegalArgumentException` - if argument was already there

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.