org.qedeq.kernel.dto.module
Class TermVo

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

All Implemented Interfaces:

Term

public final class TermVo

extends Object

implements Term

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

Version:

$Revision: 1.5 $

Constructor Summary

TermVo()
Empty constructor.

TermVo(Element element)
Constructs a term.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TermVo

public TermVo(Element element)

Constructs a term.

Parameters:

element - Element that should be a term.

TermVo

public TermVo()

Empty constructor.

Method Detail

setElement

public final void setElement(Element element)

Set term.

Parameters:

element - Term.

getElement

public final Element getElement()

Description copied from interface: Term

Get term.

Specified by:

getElement in interface Term

Returns:

Word that should be a formula or term.

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()