com.meyling.principia.argument
Class AbstractArgumentAtom
java.lang.Object
|
+--com.meyling.principia.argument.AbstractArgument
|
+--com.meyling.principia.argument.AbstractArgumentAtom
- All Implemented Interfaces:
- Argument
- Direct Known Subclasses:
- Counter, Text
- public abstract class AbstractArgumentAtom
- extends AbstractArgument
- implements Argument
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()
.
- Version:
- $Revision: 1.3 $
- Author:
- Michael Meyling
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
AbstractArgumentAtom
public AbstractArgumentAtom()
getArgumentSize
public int getArgumentSize()
- Description copied from interface:
Argument
- Get the number of arguments.
- Specified by:
getArgumentSize
in interface Argument
- Overrides:
getArgumentSize
in class AbstractArgument
- Returns:
- always 0
getArgument
public Argument getArgument(int i)
throws IllegalArgumentException
- Description copied from interface:
Argument
- Get the requested argument.
- Specified by:
getArgument
in interface Argument
- Overrides:
getArgument
in class AbstractArgument
- Parameters:
i
- number of argument- Returns:
- will never return anything, this is an Atom
- Throws:
IllegalArgumentException
- will always be thrown
equals
public abstract 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 AbstractArgument
- Following copied from interface:
com.meyling.principia.argument.Argument
- Parameters:
object
- to compare with- Returns:
- is
object
equal to this one?
copy
public abstract Argument copy()
- Description copied from interface:
Argument
- Returns an identical object (maybe "this").
- Specified by:
copy
in interface Argument
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- copy of this object
create
public final Argument create(Argument[] arguments)
- Description copied from interface:
Argument
- Create a new Argument with given arguments.
- Specified by:
create
in interface Argument
- Overrides:
create
in class AbstractArgument
- Following copied from interface:
com.meyling.principia.argument.Argument
- Parameters:
arguments
- with these arguments the operator should
be created- Returns:
- new constructed Argument
- Throws:
ArgumentException
- if creation failed
toString
public abstract String toString()
- Description copied from interface:
Argument
- Get the argument in
String
form.
- Specified by:
toString
in interface Argument
- Overrides:
toString
in class AbstractArgument
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- readable formula