org.qedeq.kernel.se.dto.module
Class ProofListVo

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

All Implemented Interfaces:

ProofList

public class ProofListVo
extends java.lang.Object
implements ProofList

List of proofs.

Author:

Michael Meyling

Constructor Summary

ProofListVo()
Constructs an empty list of proofs.

Method Summary

void	add(ProofVo proof) Add proof to this list.
boolean	equals(java.lang.Object obj)
Proof	get(int index) Get index-th element of list.
int	hashCode()
int	size() Get size of list.
java.lang.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(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object