org.qedeq.kernel.dto.module
Class FormulaOrTermVo

java.lang.Object
  org.qedeq.kernel.dto.module.FormulaOrTermVo

All Implemented Interfaces:

FormulaOrTerm

public final class FormulaOrTermVo

extends Object

implements FormulaOrTerm

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

Version:

$Revision: 1.5 $

Constructor Summary

FormulaOrTermVo()
Empty constructor.

FormulaOrTermVo(Element element)
Constructs a formula or term.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaOrTermVo

public FormulaOrTermVo(Element element)

Constructs a formula or term.

Parameters:

element - Element that should be a formula or term.

FormulaOrTermVo

public FormulaOrTermVo()

Empty constructor.

Method Detail

setElement

public final void setElement(Element element)

Set formula or term.

Parameters:

element - Formula or term.

getElement

public final Element getElement()

Description copied from interface: FormulaOrTerm

Get formula or term.

Specified by:

getElement in interface FormulaOrTerm

Returns:

Word that should be a formula or term.

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()