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

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

All Implemented Interfaces:

Add, Reason

public class AddVo
extends java.lang.Object
implements Add

Usage of formula addition.

Author:

Michael Meyling

Constructor Summary

AddVo()
Default constructor.

AddVo(java.lang.String reference)
Constructs an addition argument.

Method Summary

boolean	equals(java.lang.Object obj)
Add	getAdd() Get this reason.
java.lang.String	getName() Get name for this reason.
java.lang.String	getReference() Get reference to formula.
java.lang.String[]	getReferences() Get references to previous formulas.
int	hashCode()
void	setReference(java.lang.String reference) Set formula reference.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AddVo

public AddVo(java.lang.String reference)

Constructs an addition argument.

Parameters:

reference - Reference to a valid formula.

AddVo

public AddVo()

Default constructor.

Method Detail

getAdd

public Add getAdd()

Description copied from interface: Add

Get this reason.

Specified by:

getAdd in interface Add

Returns:

This reason.

getReference

public java.lang.String getReference()

Description copied from interface: Add

Get reference to formula.

Specified by:

getReference in interface Add

Returns:

Reference to previously proved formula.

setReference

public void setReference(java.lang.String reference)

Set formula reference.

Parameters:

reference - Reference to formula. Might be null.

getReferences

public java.lang.String[] getReferences()

Description copied from interface: Reason

Get references to previous formulas.

Specified by:

getReferences in interface Reason

Returns:

List of references. Contains no entries with value null.

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

getName

public java.lang.String getName()

Description copied from interface: Reason

Get name for this reason.

Specified by:

getName in interface Reason

Returns:

Name.