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

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

All Implemented Interfaces:

FormalProofLineList

public class FormalProofLineListVo
extends java.lang.Object
implements FormalProofLineList

List of formal proofs.

Author:

Michael Meyling

Constructor Summary

FormalProofLineListVo()
Constructs an empty list of proof lines.

Method Summary

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

FormalProofLineListVo

public FormalProofLineListVo()

Constructs an empty list of proof lines.

Method Detail

add

public final void add(FormalProofLine proofLine)

Add proof line to this list.

Parameters:

proofLine - Proof line to add.

size

public final int size()

Description copied from interface: FormalProofLineList

Get size of list.

Specified by:

size in interface FormalProofLineList

Returns:

List size.

get

public final FormalProofLine get(int index)

Description copied from interface: FormalProofLineList

Get index-th element of list.

Specified by:

get in interface FormalProofLineList

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