PMII - JAVA-Packages - Principia Mathematica II

com.meyling.principia.io
Class ParsingTable

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

public class ParsingTable
extends Object

Table for Argument Positions.

Version:
$Revision: 1.3 $
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

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.