/// TKS_ActiveNamespace.h
///
/// (c) 2008-2009 Bastian Spiegel <bs@tkscript.de>
///    - distributed under terms of the GNU general public license (GPL).
///

#ifndef __TKS_ACTIVENAMESPACE_H__
#define __TKS_ACTIVENAMESPACE_H__


class TKS_ActiveNamespace {
public:
   TKS_ActiveNamespace *next;
   TKS_Namespace *      nspace;

public:
   TKS_FreezedNamespaceArray freeze(void) const; // Convert list to NULL terminated array
};


#endif // __TKS_ACTIVENAMESPACE_H__


