com.meyling.principia.argument
Class Text

java.lang.Object
  |
  +--com.meyling.principia.argument.AbstractArgument
        |
        +--com.meyling.principia.argument.AbstractArgumentAtom
              |
              +--com.meyling.principia.argument.Text

All Implemented Interfaces:

Argument

public class Text

extends AbstractArgumentAtom

implements Argument

An object of this class represents a text string.

Version:

$Revision 0.00.50$

Author:

Michael Meyling

Field Summary

private String

text the plain text

Constructor Summary

Text(String text)
Constructs a Text.

Method Summary

Argument	copy() Returns an identical object (maybe "this").
boolean	equals(Object object) Is this object equal to the given one?
String	getText() Get the text.
String	toString() Get the argument in String form.

Methods inherited from class com.meyling.principia.argument.AbstractArgumentAtom

create, getArgument, getArgumentSize

Methods inherited from class com.meyling.principia.argument.AbstractArgument

containsPatternVariables, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches

Methods inherited from class java.lang.Object

, clone, finalize, getClass, notify, notifyAll, registerNatives, wait, wait, wait

Methods inherited from interface com.meyling.principia.argument.Argument

containsPatternVariables, create, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches

Field Detail

text

private final String text

the plain text

Constructor Detail

Text

public Text(String text)

Constructs a Text.

Parameters:

text - text string

Throws:

IllegalArgumentException - if text was a nullpointer

Method Detail

getText

public final String getText()

Get the text.

Returns:

text

equals

public final boolean equals(Object object)

Description copied from interface: Argument

Is this object equal to the given one? This is true iff object is an instance of Argument and both arguments have the same Argument.getArgumentSize() and each Argument.getArgument(int) Argument.equals(java.lang.Object).

Specified by:

equals in interface Argument

Overrides:

equals in class AbstractArgumentAtom

Following copied from interface: com.meyling.principia.argument.Argument

Parameters:

object - to compare with

Returns:

is object equal to this one?

copy

public final Argument copy()

Description copied from interface: Argument

Returns an identical object (maybe "this").

Specified by:

copy in interface Argument

Overrides:

copy in class AbstractArgumentAtom

Following copied from interface: com.meyling.principia.argument.Argument

Returns:

copy of this object

toString

public final String toString()

Description copied from interface: Argument

Get the argument in String form.

Specified by:

toString in interface Argument

Overrides:

toString in class AbstractArgumentAtom

Following copied from interface: com.meyling.principia.argument.Argument

Returns:

readable formula