Exemplo n.º 1
0
        public TypeSpace CreateTypeSpace(string name)
        {
            TypeSpace new_ts = new TypeSpace(name, _typespace_address);

            _sub_typespace.Add(name, new_ts);
            return(new_ts);
        }
Exemplo n.º 2
0
        public TypeSpace PullTypeSpace(string name)
        {
            TypeSpace space = _sub_typespace[name];

            _sub_typespace.Remove(name);
            return(space);
        }