org.qedeq.kernel.bo.module
Class ProofListBo

java.lang.Object
  org.qedeq.kernel.bo.module.ProofListBo

All Implemented Interfaces:

ProofList

public final class ProofListBo

extends Object

implements ProofList

List of proofs.

Version:

$Revision: 1.2 $

Constructor Summary

ProofListBo()
Constructs an empty list of proofs.

Method Summary

void	add(Proof proof) Add proof to this list.
boolean	equals(Object obj)
Proof	get(int index) Get index-th element of list.
int	hashCode()
int	size() Get size of list.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ProofListBo

public ProofListBo()

Constructs an empty list of proofs.

Method Detail

add

public final void add(Proof proof)

Add proof to this list.

Parameters:

proof - Add this proof.

size

public final int size()

Description copied from interface: ProofList

Get size of list.

Specified by:

size in interface ProofList

Returns:

List size.

get

public final Proof get(int index)

Description copied from interface: ProofList

Get index-th element of list.

Specified by:

get in interface ProofList

Parameters:

index - Index.

Returns:

Index-th element.

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()