|
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.AbstractArgumentList
Every Operator must inherit from this class. Its main function is to
provide the standard implemention of AbstractArgument.equals(java.lang.Object)
, AbstractArgument.matches(com.meyling.principia.argument.Argument, com.meyling.principia.argument.PatternVariables)
and AbstractArgument.hashCode()
.
Constructor Summary | |
AbstractArgumentList(Argument[] arguments)
Constructs an argument list. |
Method Summary | |
Argument |
copy()
Returns an identical object (maybe "this"). |
abstract Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
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, equals, 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, equals, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Constructor Detail |
public AbstractArgumentList(Argument[] arguments)
arguments
- the arguments to make a list of
IllegalArgumentException
- if the argument was a
nullpointerMethod Detail |
public final int getArgumentSize()
Argument
getArgumentSize
in interface Argument
getArgumentSize
in class AbstractArgument
public final Argument getArgument(int i) throws IllegalArgumentException
Argument
getArgument
in interface Argument
getArgument
in class AbstractArgument
IllegalArgumentException
public final Argument copy()
Argument
copy
in interface Argument
public abstract Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
create
in class AbstractArgument
ArgumentException
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. |