zeus.util
Class ReferenceTable

java.lang.Object
  java.util.Dictionary
      java.util.Hashtable
          zeus.util.ReferenceTable

All Implemented Interfaces:

java.lang.Cloneable, java.util.Map, java.io.Serializable

public class ReferenceTable

extends java.util.Hashtable

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class java.util.Hashtable

Field Summary

protected java.lang.String

defaultReference

Fields inherited from class java.util.Hashtable

Constructor Summary

ReferenceTable()

ReferenceTable(java.lang.String defaultReference)

Method Summary

void	add(java.lang.String name, java.lang.String reference)
void	del(java.lang.String name)
java.lang.String	lookup(java.lang.String name)
java.lang.String	lookup(java.lang.String name, java.lang.String otherwise)
static void	main(java.lang.String[] args)
java.lang.String	pprint()
java.lang.String	pprint(int sp)
void	replace(java.lang.String name, java.lang.String reference)
void	set(java.util.Vector data)
java.lang.String	toString()

Methods inherited from class java.util.Hashtable

clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

defaultReference

protected java.lang.String defaultReference

Constructor Detail

ReferenceTable

public ReferenceTable()

ReferenceTable

public ReferenceTable(java.lang.String defaultReference)

Method Detail

add

public void add(java.lang.String name,
                java.lang.String reference)

replace

public void replace(java.lang.String name,
                    java.lang.String reference)

del

public void del(java.lang.String name)

lookup

public java.lang.String lookup(java.lang.String name)

lookup

public java.lang.String lookup(java.lang.String name,
                               java.lang.String otherwise)

set

public void set(java.util.Vector data)

toString

public java.lang.String toString()

pprint

public java.lang.String pprint()

pprint

public java.lang.String pprint(int sp)

main

public static void main(java.lang.String[] args)