All Packages Class Hierarchy This Package Previous Next Index
Class it.unipi.di.compass.cctwo.tree.NodeNames
java.lang.Object
|
+----it.unipi.di.compass.cctwo.tree.NodeNames
- public class NodeNames
- extends Object
Questa classe contiene i nomi dei nodi di visualizzazione.
Viene utilizzata dal package cctwo.constraint; per controllare
i constraint.
- Version:
- 1.0
- Author:
- Antonio Cisternino
-
nodes
- Tabella che contiene i nomi dei nodi.
-
NodeNames()
- Costruisce un contenitore di nomi.
-
addNodeName(String)
- Aggiunge un nome di un nodo alla tabella.
-
isNodeName(String)
- Dice se un esiste un nodo di visualizzazione con un
dato nome.
nodes
private Hashtable nodes
- Tabella che contiene i nomi dei nodi.
NodeNames
NodeNames()
- Costruisce un contenitore di nomi.
addNodeName
void addNodeName(String name)
- Aggiunge un nome di un nodo alla tabella.
isNodeName
public boolean isNodeName(String name)
- Dice se un esiste un nodo di visualizzazione con un
dato nome.
- Parameters:
- name - Nome da controllare
- Returns:
- true Se il nome è quello di un nodo di
visualizzazione, false altrimenti.
All Packages Class Hierarchy This Package Previous Next Index