org.gjt.universe
Class KnowledgeList

java.lang.Object
  |
  +--org.gjt.universe.KnowledgeList

public final class KnowledgeList

extends java.lang.Object

Field Summary

private static DBList

DB

Constructor Summary

private

KnowledgeList()

Method Summary

static void	add(KnowledgeBase obj)
static KnowledgeBase	get(KnowledgeID idx)
(package private) static void	readObject(java.io.ObjectInputStream in)
static int	size()
(package private) static void	writeObject(java.io.ObjectOutputStream out)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DB

private static DBList DB

Constructor Detail

KnowledgeList

private KnowledgeList()

Method Detail

add

public static void add(KnowledgeBase obj)

get

public static KnowledgeBase get(KnowledgeID idx)

size

public static int size()

writeObject

static void writeObject(java.io.ObjectOutputStream out)
                 throws java.io.IOException

java.io.IOException

readObject

static void readObject(java.io.ObjectInputStream in)
                throws java.io.IOException,
                       java.lang.ClassNotFoundException

java.io.IOException

java.lang.ClassNotFoundException