Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia.io
Class ParsingTable

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

public class ParsingTable
extends Object

Table for Argument Positions.

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

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.