|
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 ArgumentgetArgumentSize in class AbstractArgument
public Argument getArgument(int i)
throws IllegalArgumentException
Argument
getArgument in interface ArgumentgetArgument in class AbstractArgumenti - number of argument
IllegalArgumentException - will always be thrownpublic abstract boolean equals(Object object)
Argumentobject 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 Argumentequals in class AbstractArgumentpublic abstract Argument copy()
Argument
copy in interface Argumentpublic final Argument create(Argument[] arguments)
Argument
create in interface Argumentcreate in class AbstractArgumentpublic abstract String toString()
ArgumentString form.
toString in interface ArgumenttoString 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. |