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

Variable Index

 o nodes
Tabella che contiene i nomi dei nodi.

Constructor Index

 o NodeNames()
Costruisce un contenitore di nomi.

Method Index

 o addNodeName(String)
Aggiunge un nome di un nodo alla tabella.
 o isNodeName(String)
Dice se un esiste un nodo di visualizzazione con un dato nome.

Variables

 o nodes
 private Hashtable nodes
Tabella che contiene i nomi dei nodi.

Constructors

 o NodeNames
 NodeNames()
Costruisce un contenitore di nomi.

Methods

 o addNodeName
 void addNodeName(String name)
Aggiunge un nome di un nodo alla tabella.

 o 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