com.meyling.principia.argument
Class AbstractDynamicArgumentList

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

All Implemented Interfaces:

Argument

Direct Known Subclasses:

AuthorList, ImportList, LocationList, Module, Paragraph, ParagraphList, ProofLineList, Proposition, RuleDeclaration, UsedbyList, VariableList

public abstract class AbstractDynamicArgumentList

extends AbstractArgument

implements Argument

Every Operator with dynamic number of arguments 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().

Version:

$Revision 0.00.50$

Author:

Michael Meyling

Field Summary

private List

arguments here is are the arguments stored

Constructor Summary

AbstractDynamicArgumentList(Argument[] arguments)
Constructs an argument list.

Method Summary

void	add(Argument argument) Adds an argument to end of dynamic list.
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.
void	insert(int position, Argument argument) Inserts an argument to spezified position.
void	remove(int i) Deletes an argument of dynamic list.
void	replace(int position, Argument argument) Replaces an argument at spezified position.
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, registerNatives, wait, wait, wait

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

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

Field Detail

arguments

private List arguments

here is are the arguments stored

Constructor Detail

AbstractDynamicArgumentList

public AbstractDynamicArgumentList(Argument[] arguments)

Constructs an argument list.

Parameters:

arguments - the arguments to make a list of

Throws:

IllegalArgumentException - if the argument was a nullpointer

Method Detail

add

public void add(Argument argument)

Adds an argument to end of dynamic list.

Parameters:

argument - argument to add

Throws:

IllegalArgumentException - if the given argument was a nullpointer

insert

public void insert(int position,
                   Argument argument)

Inserts an argument to spezified position.

Parameters:

position - position of argument to add

argument - argument to add

Throws:

IllegalArgumentException - if the given argument was a nullpointer or the position was not valid

replace

public void replace(int position,
                    Argument argument)

Replaces an argument at spezified position.

Parameters:

position - position of argument to replace

argument - replacement argument

Throws:

IllegalArgumentException - if the given argument was a nullpointer or the position was not valid

remove

public void remove(int i)

Deletes an argument of dynamic list.

Parameters:

i - position of argument to delete

Throws:

IllegalArgumentException - if the given position was not valid

getArgumentSize

public final int getArgumentSize()

Description copied from interface: Argument

Get the number of arguments.

Specified by:

getArgumentSize in interface Argument

Overrides:

getArgumentSize in class AbstractArgument

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

Returns:

number of arguments

getArgument

public final 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

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

Parameters:

i - number of argument (starting with 0)

Returns:

i-th part formula

Throws:

IllegalArgumentException - if i is not inbetween 0 and Argument.getArgumentSize() - 1

copy

public final 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 abstract Argument create(Argument[] arguments)
                         throws ArgumentException

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