org.qedeq.kernel.bo.module
Class FormulaOrTermBo

java.lang.Object
  org.qedeq.kernel.bo.module.FormulaOrTermBo

All Implemented Interfaces:

FormulaOrTerm

public final class FormulaOrTermBo

extends Object

implements FormulaOrTerm

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

Version:

$Revision: 1.5 $

Constructor Summary

FormulaOrTermBo()
Empty constructor.

FormulaOrTermBo(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

FormulaOrTermBo

public FormulaOrTermBo(Element element)

Constructs a formula or term.

Parameters:

element - Element that should be a formula or term.

FormulaOrTermBo

public FormulaOrTermBo()

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()