org.exist.dom
Class SymbolTable

java.lang.Object
  extended byorg.exist.dom.SymbolTable

public class SymbolTable
extends java.lang.Object


Field Summary
protected  boolean changed
           
protected  short max
           
protected  it.unimi.dsi.fastutil.Int2ObjectOpenHashMap names
           
protected  short nextPartition
           
protected  it.unimi.dsi.fastutil.Object2IntOpenHashMap symbols
           
 
Constructor Summary
SymbolTable()
           
 
Method Summary
 java.lang.String getName(short id)
           
 short getNextIndexPartition()
           
 short getSymbol(org.w3c.dom.Attr attr)
           
 short getSymbol(org.w3c.dom.Element element)
           
 short getSymbol(java.lang.String name)
           
 java.lang.String[] getSymbols()
           
 boolean hasChanged()
           
protected  void read(java.io.DataInput istream)
           
 void read(VariableByteInputStream istream)
           
protected  void write(java.io.DataOutput ostream)
           
 void write(VariableByteOutputStream ostream)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

symbols

protected it.unimi.dsi.fastutil.Object2IntOpenHashMap symbols

names

protected it.unimi.dsi.fastutil.Int2ObjectOpenHashMap names

max

protected short max

nextPartition

protected short nextPartition

changed

protected boolean changed
Constructor Detail

SymbolTable

public SymbolTable()
Method Detail

getSymbol

public short getSymbol(org.w3c.dom.Element element)

getSymbol

public short getSymbol(org.w3c.dom.Attr attr)

getSymbol

public short getSymbol(java.lang.String name)

hasChanged

public boolean hasChanged()

getName

public java.lang.String getName(short id)

getNextIndexPartition

public short getNextIndexPartition()

getSymbols

public java.lang.String[] getSymbols()

write

protected void write(java.io.DataOutput ostream)
              throws java.io.IOException
Throws:
java.io.IOException

write

public void write(VariableByteOutputStream ostream)
           throws java.io.IOException
Throws:
java.io.IOException

read

protected void read(java.io.DataInput istream)
             throws java.io.IOException
Throws:
java.io.IOException

read

public void read(VariableByteInputStream istream)
          throws java.io.IOException
Throws:
java.io.IOException


Copyright (C) Wolfgang Meier. All rights reserved.