public static class Library.ClauseIndex
extends java.lang.Object
implements java.io.Serializable
ClauseIndex
class contains a TreeMap with key = Exact_PC-String
and value = ArrayListModifier and Type | Field and Description |
---|---|
java.util.TreeMap |
tMap |
Constructor and Description |
---|
Library.ClauseIndex() |
Library.ClauseIndex(java.io.BufferedReader file) |
public Library.ClauseIndex()
public Library.ClauseIndex(java.io.BufferedReader file) throws KSInternalErrorException, JavaSystemException