org.qedeq.kernel.dto.module
Class ProofListVo

java.lang.Object
  org.qedeq.kernel.dto.module.ProofListVo

All Implemented Interfaces:

ProofList

public final class ProofListVo

extends Object

implements ProofList

List of proofs.

Version:

$Revision: 1.4 $

Constructor Summary

ProofListVo()
Constructs an empty list of proofs.

Method Summary

void	add(ProofVo 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

ProofListVo

public ProofListVo()

Constructs an empty list of proofs.

Method Detail

add

public final void add(ProofVo proof)

Add proof to this list.

Parameters:

proof - Proof to add.

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()