org.qedeq.gui.se.tree
Class ModuleElement

java.lang.Object
  org.qedeq.gui.se.tree.ModuleElement

public final class ModuleElement

extends Object

Some kind of Element of a Module.

Version:

$Revision: 1.2 $

Constructor Summary

ModuleElement()
Constructs a new ModuleElement object.

ModuleElement(String name, String listName, boolean atom)
Constructs a new ModuleElement object.

Method Summary

String	getName()
void	setName(String name)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ModuleElement

public ModuleElement()

Constructs a new ModuleElement object.

ModuleElement

public ModuleElement(String name,
                     String listName,
                     boolean atom)

Constructs a new ModuleElement object.

Parameters:

name - name of this element

listName - element belongs to this list

atom - is this element an atom?

Method Detail

getName

public final String getName()

Returns:

setName

public final void setName(String name)

Returns:

toString

public final String toString()

Returns: