|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.argument.AbstractArgument
com.meyling.principia.argument.AbstractArgumentAtom
Every Atom must inherit from this class. Its main function is to
provide the standard implemention of equals(java.lang.Object)
, AbstractArgument.matches(com.meyling.principia.argument.Argument, com.meyling.principia.argument.PatternVariables)
and AbstractArgument.hashCode()
.
Constructor Summary | |
AbstractArgumentAtom()
|
Method Summary | |
abstract Argument |
copy()
Returns an identical object (maybe "this"). |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
abstract boolean |
equals(Object object)
Is this object equal to the given one? |
Argument |
getArgument(int i)
Get the requested argument. |
int |
getArgumentSize()
Get the number of arguments. |
abstract String |
toString()
Get the argument in String form. |
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, wait, wait, wait |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Constructor Detail |
public AbstractArgumentAtom()
Method Detail |
public int getArgumentSize()
Argument
getArgumentSize
in interface Argument
getArgumentSize
in class AbstractArgument
public Argument getArgument(int i) throws IllegalArgumentException
Argument
getArgument
in interface Argument
getArgument
in class AbstractArgument
i
- number of argument
IllegalArgumentException
- will always be thrownpublic abstract boolean equals(Object object)
Argument
object
is an instance of Argument
and
both arguments have the same
Argument.getArgumentSize()
and each Argument.getArgument(int)
Argument.equals(java.lang.Object)
.
equals
in interface Argument
equals
in class AbstractArgument
public abstract Argument copy()
Argument
copy
in interface Argument
public final Argument create(Argument[] arguments)
Argument
create
in interface Argument
create
in class AbstractArgument
public abstract String toString()
Argument
String
form.
toString
in interface Argument
toString
in class AbstractArgument
|
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. |