com.depthexplorer.registrar
Class Registrar
java.lang.Object
com.depthexplorer.registrar.Registrar
public class Registrar
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
inited
static boolean inited
groups
static HashMap<String,RegisteredObjectGroup<? extends edu.tufts.cs.geometry.ComputationUnit>> groups
Registrar
public Registrar()
init
public static void init()
printTree
public static void printTree()
hasBeenInited
public static boolean hasBeenInited()
getClassProperties
static Properties getClassProperties(String groupId,
String className)
getValidGroupNames
public static String[] getValidGroupNames()
getValidNamesInGroup
public static String[] getValidNamesInGroup(String groupId)
getInstance
public static edu.tufts.cs.geometry.ComputationUnit getInstance(String groupId,
String className)
throws Exception
- Throws:
Exception
getHTMLHelp
public static String getHTMLHelp(String groupId,
String className)
getLatexHelp
public static String getLatexHelp(String groupId,
String className)
flushLatexHelp
public static void flushLatexHelp(String path)