Class NameSpaceContext

public class NameSpaceContext
{
  // Methods
  public final void addNameSpace(Atom url, Atom n);
  public final Atom findNameSpace(Atom n);
  public final void pop();
  public final void push();
}

Methods

addNameSpace 

public final void addNameSpace(Atom url, Atom n);

add name space. long name is the key

findNameSpace 

public final Atom findNameSpace(Atom n);

find name space, long name is the key

pop 

public final void pop();

push 

public final void push();