PMII - JAVA-Packages - Principia Mathematica II

com.meyling.principia.io
Class ArgumentPointer

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

public class ArgumentPointer
extends Object

Wrapper for Arguments.

Version:
$Revision: 1.3 $
Author:
Michael Meyling

Constructor Summary
ArgumentPointer(Argument argument)
          Constructs an marker for begin and end position.
 
Method Summary
 boolean equals(Object object)
          Has object same getArgument()?
 Argument getArgument()
          Get wrapped argument.
 String toString()
          Get the argument in String form.
 
Methods inherited from class java.lang.Object
, clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ArgumentPointer

public ArgumentPointer(Argument argument)
Constructs an marker for begin and end position.
Parameters:
argument - to remember
Method Detail

getArgument

public final Argument getArgument()
Get wrapped argument.
Returns:
start position

equals

public final boolean equals(Object object)
Has object same getArgument()?
Overrides:
equals in class Object
Parameters:
object - compare with this object
Returns:
are the arguments of this instance and object the same?

toString

public final String toString()
Get the argument in String form.
Overrides:
toString in class Object
Returns:
readable argument

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.