org.basex.query.up
Class NamePool

java.lang.Object
  extended by org.basex.query.up.NamePool

public final class NamePool
extends Object

This class serves as a container for updated names.

Author:
Workgroup DBIS, University of Konstanz 2005-10, ISC License, Christian Gruen

Constructor Summary
NamePool()
           
 
Method Summary
 void add(QNm name, Type type)
          Adds an entry to the pool.
 void remove(Nod nod)
          Removes an entry from the pool.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NamePool

public NamePool()
Method Detail

add

public void add(QNm name,
                Type type)
Adds an entry to the pool.

Parameters:
name - name
type - node type

remove

public void remove(Nod nod)
Removes an entry from the pool.

Parameters:
nod - node