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

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

All Implemented Interfaces:

Term

public class TermVo
extends java.lang.Object
implements Term

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

Author:

Michael Meyling

Constructor Summary

TermVo()
Empty constructor.

TermVo(Element element)
Constructs a term.

Method Summary

boolean	equals(java.lang.Object obj)
Element	getElement() Get term.
int	hashCode()
void	setElement(Element element) Set term.
java.lang.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(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