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

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

All Implemented Interfaces:

FormalProofList

public class FormalProofListVo
extends java.lang.Object
implements FormalProofList

List of formal proofs.

Author:

Michael Meyling

Constructor Summary

FormalProofListVo()
Constructs an empty list of proofs.

Method Summary

void	add(FormalProofVo proof) Add proof to this list.
boolean	equals(java.lang.Object obj)
FormalProof	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

FormalProofListVo

public FormalProofListVo()

Constructs an empty list of proofs.

Method Detail

add

public final void add(FormalProofVo proof)

Add proof to this list.

Parameters:

proof - Proof to add.

size

public final int size()

Description copied from interface: FormalProofList

Get size of list.

Specified by:

size in interface FormalProofList

Returns:

List size.

get

public final FormalProof get(int index)

Description copied from interface: FormalProofList

Get index-th element of list.

Specified by:

get in interface FormalProofList

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