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

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

All Implemented Interfaces:

ChangedRuleList

public class ChangedRuleListVo
extends java.lang.Object
implements ChangedRuleList

List of changed rules.

Author:

Michael Meyling

Constructor Summary

ChangedRuleListVo()
Constructs an empty list of proofs.

Method Summary

void	add(ChangedRule rule) Add changed rule to this list.
boolean	equals(java.lang.Object obj)
ChangedRule	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

ChangedRuleListVo

public ChangedRuleListVo()

Constructs an empty list of proofs.

Method Detail

add

public final void add(ChangedRule rule)

Add changed rule to this list.

Parameters:

rule - Rule change to add.

size

public final int size()

Description copied from interface: ChangedRuleList

Get size of list.

Specified by:

size in interface ChangedRuleList

Returns:

List size.

get

public final ChangedRule get(int index)

Description copied from interface: ChangedRuleList

Get index-th element of list.

Specified by:

get in interface ChangedRuleList

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