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.1 $

Field Summary

static boolean	ATOM
static boolean	LIST

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

Field Detail

ATOM

public static final boolean ATOM

See Also:

Constant Field Values

LIST

public static final boolean LIST

See Also:

Constant Field Values

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: