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

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

All Implemented Interfaces:

Formula

public class FormulaVo
extends java.lang.Object
implements Formula

Wraps a formula. Such an object is build out of Elements.

Author:

Michael Meyling

Constructor Summary

FormulaVo()
Empty constructor.

FormulaVo(Element element)
Constructs a formula.

Method Summary

boolean	equals(java.lang.Object obj)
Element	getElement() Get formula or term.
int	hashCode()
void	setElement(Element element) Set formula.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaVo

public FormulaVo(Element element)

Constructs a formula.

Parameters:

element - Element that should be a formula.

FormulaVo

public FormulaVo()

Empty constructor.

Method Detail

setElement

public final void setElement(Element element)

Set formula.

Parameters:

element - Formula.

getElement

public final Element getElement()

Description copied from interface: Formula

Get formula or term.

Specified by:

getElement in interface Formula

Returns:

Word that should be a formula.

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