PowerloomServer

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.isi.powerloom.server
Class PowerloomServer

java.lang.Object
  edu.isi.powerloom.server.PowerloomServer

public class PowerloomServer
extends java.lang.Object
extends java.lang.Object

Field Summary
`static boolean`	$ALLOW_REMOTE_FILEBROWSING$
`static java.lang.String`	$DEFAULT_KB_DIRECTORY$
`static java.lang.String`	$KB_DIRECTORY$
`static java.lang.String`	$KB_FILENAME_INDEX$
`static java.lang.String`	$PLGUI_EXPLANATION_TRACE_FILE$
`static StellaSpecialVariable`	$PLGUI_URL_ACTION$ The action parameter for URL printing
`static Module`	$POWERLOOM_SERVER_MODULE$
`static StellaSpecialVariable`	$REQUESTOR_ADDRESS$ The ip address of the current requestor in numerical host:port format.
`static StringHashTable`	$SERVER_DISPATCH_TABLE$ Hash Table for used for dispatching server API methods.
`static java.lang.String`	$SERVER_LOG_FILE$
`static Keyword`	$SERVER_LOG_LEVEL$
`static StringHashTable`	$SESSION_TABLE$ System-wide session table, each session is index on the IP address of the associated client.
`static java.lang.String`	$SOAP_EXCEPTION_PREFIX$
`static java.lang.String`	$SOAP_EXCEPTION_SUFFIX$
`static java.lang.String`	$SOAP_RESULT_PREFIX$
`static java.lang.String`	$SOAP_RESULT_SUFFIX$
`static Keyword`	`KWD_ALL`
`static Keyword`	`KWD_APPEND`
`static Keyword`	`KWD_BRIEF`
`static Keyword`	`KWD_CREATE`
`static Keyword`	`KWD_EQUIVALENT`
`static Keyword`	`KWD_EXISTS`
`static Keyword`	`KWD_FORALL`
`static Keyword`	`KWD_FUNCTION`
`static Keyword`	`KWD_HTML`
`static Keyword`	`KWD_IF_EXISTS`
`static Keyword`	`KWD_IF_NOT_EXISTS`
`static Keyword`	`KWD_IMPLIES`
`static Keyword`	`KWD_ISA`
`static Keyword`	`KWD_JAVA_GUI_HTML`
`static Keyword`	`KWD_KIF`
`static Keyword`	`KWD_KIF_ONTOSAURUS`
`static Keyword`	`KWD_LAY`
`static Keyword`	`KWD_NONE`
`static Keyword`	`KWD_NOT`
`static Keyword`	`KWD_ORIGINAL`
`static Keyword`	`KWD_PREDICATE`
`static Surrogate`	`SGT_LOGIC_LOGIC_OBJECT`
`static Surrogate`	`SGT_LOGIC_NAMED_DESCRIPTION`
`static Surrogate`	`SGT_LOGIC_PATTERN_VARIABLE`
`static Surrogate`	`SGT_LOGIC_PROPOSITION`
`static Surrogate`	`SGT_LOGIC_SKOLEM`
`static Surrogate`	`SGT_LOGIC_TRUTH_VALUE`
`static Surrogate`	`SGT_POWERLOOM_SERVER_Address`
`static Surrogate`	`SGT_POWERLOOM_SERVER_MyModule`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLConcept`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLConceptContainer`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLDirectory`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLDirectoryContents`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLFile`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLFileContent`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLInstance`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLInstanceContainer`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLModule`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLModuleContainer`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLModuleFile`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLModuleFileList`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLObjectUnion`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLProposition`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLPropositionContainer`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLQuery`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLQueryResult`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLRelation`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLRelationContainer`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLRule`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLSearchParameter`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLSearchResult`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLSearchResultItem`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLServerInfo`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLString`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLSurrogate`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLSurrogateCollection`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLTuple`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLVariable`
`static Surrogate`	`SGT_POWERLOOM_SERVER_PLVariableList`
`static Surrogate`	`SGT_POWERLOOM_SERVER_ServerException`
`static Surrogate`	`SGT_POWERLOOM_SERVER_SESSION`
`static Surrogate`	`SGT_STELLA_CONS`
`static Surrogate`	`SGT_STELLA_GENERALIZED_SYMBOL`
`static Surrogate`	`SGT_STELLA_LITERAL`
`static Surrogate`	`SGT_STELLA_LITERAL_WRAPPER`
`static Surrogate`	`SGT_STELLA_MODULE`
`static Surrogate`	`SGT_STELLA_THING`
`static Symbol`	`SYM_LOGIC_ID`
`static Symbol`	`SYM_LOGIC_MASTER_PROPOSITION`
`static Symbol`	`SYM_LOGIC_TIMESTAMP`
`static Symbol`	`SYM_POWERLOOM_SERVER_Address`
`static Symbol`	`SYM_POWERLOOM_SERVER_AllowRemoteFileBrowsing`
`static Symbol`	`SYM_POWERLOOM_SERVER_API`
`static Symbol`	`SYM_POWERLOOM_SERVER_attrCity`
`static Symbol`	`SYM_POWERLOOM_SERVER_CaseSensitive`
`static Symbol`	`SYM_POWERLOOM_SERVER_ConceptName`
`static Symbol`	`SYM_POWERLOOM_SERVER_CppPackage`
`static Symbol`	`SYM_POWERLOOM_SERVER_DirectoryName`
`static Symbol`	`SYM_POWERLOOM_SERVER_Documentation`
`static Symbol`	`SYM_POWERLOOM_SERVER_DontOptimize`
`static Symbol`	`SYM_POWERLOOM_SERVER_FileName`
`static Symbol`	`SYM_POWERLOOM_SERVER_HASHTABLE`
`static Symbol`	`SYM_POWERLOOM_SERVER_InferenceLevel`
`static Symbol`	`SYM_POWERLOOM_SERVER_InstanceName`
`static Symbol`	`SYM_POWERLOOM_SERVER_IsAsk`
`static Symbol`	`SYM_POWERLOOM_SERVER_IsAsserted`
`static Symbol`	`SYM_POWERLOOM_SERVER_IsClosed`
`static Symbol`	`SYM_POWERLOOM_SERVER_IsFunction`
`static Symbol`	`SYM_POWERLOOM_SERVER_IsRule`
`static Symbol`	`SYM_POWERLOOM_SERVER_IsStrict`
`static Symbol`	`SYM_POWERLOOM_SERVER_JavaCatchallClass`
`static Symbol`	`SYM_POWERLOOM_SERVER_JavaPackage`
`static Symbol`	`SYM_POWERLOOM_SERVER_KBDescription`
`static Symbol`	`SYM_POWERLOOM_SERVER_KBName`
`static Symbol`	`SYM_POWERLOOM_SERVER_LispPackage`
`static Symbol`	`SYM_POWERLOOM_SERVER_LiteralValue`
`static Symbol`	`SYM_POWERLOOM_SERVER_MatchMode`
`static Symbol`	`SYM_POWERLOOM_SERVER_MaximizeScore`
`static Symbol`	`SYM_POWERLOOM_SERVER_MaxUnknowns`
`static Symbol`	`SYM_POWERLOOM_SERVER_Message`
`static Symbol`	`SYM_POWERLOOM_SERVER_MinScore`
`static Symbol`	`SYM_POWERLOOM_SERVER_Module`
`static Symbol`	`SYM_POWERLOOM_SERVER_ModuleName`
`static Symbol`	`SYM_POWERLOOM_SERVER_Moveout`
`static Symbol`	`SYM_POWERLOOM_SERVER_MyModule`
`static Symbol`	`SYM_POWERLOOM_SERVER_NumResults`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLConcept`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLDirectory`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLFile`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLFileContent`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLInstance`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLModule`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLModuleFile`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLObjectUnion`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLProposition`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLRelation`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLSearchResultItem`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLSurrogate`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLTuple`
`static Symbol`	`SYM_POWERLOOM_SERVER_PLVariable`
`static Symbol`	`SYM_POWERLOOM_SERVER_PropositionName`
`static Symbol`	`SYM_POWERLOOM_SERVER_Query`
`static Symbol`	`SYM_POWERLOOM_SERVER_QueryName`
`static Symbol`	`SYM_POWERLOOM_SERVER_RelationName`
`static Symbol`	`SYM_POWERLOOM_SERVER_RuleName`
`static Symbol`	`SYM_POWERLOOM_SERVER_SearchConcept`
`static Symbol`	`SYM_POWERLOOM_SERVER_SearchInstance`
`static Symbol`	`SYM_POWERLOOM_SERVER_SearchRelation`
`static Symbol`	`SYM_POWERLOOM_SERVER_SearchString`
`static Symbol`	`SYM_POWERLOOM_SERVER_SourceString`
`static Symbol`	`SYM_POWERLOOM_SERVER_STARTUP_HTML_PRINTING`
`static Symbol`	`SYM_POWERLOOM_SERVER_STARTUP_POWERLOOM_SERVER_SYSTEM`
`static Symbol`	`SYM_POWERLOOM_SERVER_STARTUP_SERVER_INTERFACE`
`static Symbol`	`SYM_POWERLOOM_SERVER_STARTUP_SESSIONS`
`static Symbol`	`SYM_POWERLOOM_SERVER_STARTUP_XML_OBJECTS`
`static Symbol`	`SYM_POWERLOOM_SERVER_STARTUP_XML_SUPPORT`
`static Symbol`	`SYM_POWERLOOM_SERVER_Timeout`
`static Symbol`	`SYM_POWERLOOM_SERVER_TIMEOUT`
`static Symbol`	`SYM_POWERLOOM_SERVER_Type`
`static Symbol`	`SYM_POWERLOOM_SERVER_Value`
`static Symbol`	`SYM_POWERLOOM_SERVER_VariableName`
`static Symbol`	`SYM_POWERLOOM_SERVER_VariableType`
`static Symbol`	`SYM_POWERLOOM_SERVER_WILD`
`static Symbol`	`SYM_STELLA_APIp`
`static Symbol`	`SYM_STELLA_ASK`
`static Symbol`	`SYM_STELLA_CODE_ONLYp`
`static Symbol`	`SYM_STELLA_JAVA_FLOTSAM_CLASS`
`static Symbol`	`SYM_STELLA_METHOD_STARTUP_CLASSNAME`
`static Symbol`	`SYM_XML_OBJECTS_textContent`

Constructor Summary
`PowerloomServer()`

Method Summary
`static boolean`	`codeModuleP(Module module)`
`static List`	`collectAllModules(Module module, List collectedmodules)`
`static java.lang.String`	`compactWhitespace(java.lang.String instring)`
`static PLConceptContainer`	`createConceptContainer(List collectedconcepts, Module module, boolean includechildrenP)`
`static PLSurrogateCollection`	`createModuleCollection(List modules)`
`static PLModuleContainer`	`createModuleContainer(List collectedmodules)`
`static PLRelationContainer`	`createRelationContainer(List collectedrelations, Module module, boolean includechildrenP)`
`static PLSurrogateCollection`	`createSuperrelationsContainer(NamedDescription relation, Module module)`
`static PLSurrogateCollection`	`createSurrogateCollection(List surrogates)`
`static PLSurrogateCollection`	`createSurrogateCollectionForLogicObject(List relations)`
`static PLVariableList`	`createVariablesList(NamedDescription relation)`
`static Stella_Object`	`dispatchCall(java.lang.String functionname, Cons args)`
`static java.lang.String`	`evaluateLogicCommandInModule(java.lang.String command, java.lang.String modulename, boolean finalizeP)`
`static Cons`	`evaluateQueryCommandInModule(java.lang.String query, java.lang.String modulename, boolean continuationqueryP, boolean partialqueryP)`
`static java.lang.String`	`extractModuleNameFromFile(java.lang.String filename)`
`static java.lang.String`	`extractModuleNameFromStream(InputStream stream)`
`static List`	`getAllConcepts(Module module, boolean localP)`
`static List`	`getAllConceptsWithPrefix(Module module, boolean localP, java.lang.String prefix)`
`static List`	`getAllRelations(Module module)`
`static List`	`getAllRelationsWithPrefix(Module module, boolean localP, java.lang.String prefix)`
`static PLConceptContainer`	`getConcepts(Module module)`
`static PLConceptContainer`	`getConceptsWithPrefix(Module module, java.lang.String prefix)`
`static List`	`getDirectoryListing(java.lang.String currentdirectory)`
`static List`	`getDirectRelationsForConcept(Module module, LogicObject concept)`
`static PLString`	`getDocumentationForObject(java.lang.String modulename, java.lang.String objectname)`
`static StringWrapper`	`getFirstNonWild(Cons matchlist)`
`static List`	`getInheritedRelationsForConcept(Module module, LogicObject concept)`
`static java.lang.String`	`getJustificationString(Justification justification)`
`static java.lang.String`	`getLogicObjectName(LogicObject renamed_Object, java.lang.String casesensitiveP)`
`static PLModuleContainer`	`getModules(Module module)`
`static List`	`getPropositionsForInstanceAndRelation(java.lang.String modulename, java.lang.String instancename, java.lang.String relationname)`
`static List`	`getPropositionsForObject(java.lang.String modulename, java.lang.String instancename, boolean relationP)` Get all the propositions for a given instance
`static java.lang.String`	`getPropositionString(Proposition prop, Module module)`
`static PLRelationContainer`	`getRelations(Module module)`
`static PLRelationContainer`	`getRelationsWithPrefix(Module module, java.lang.String prefix)`
`static List`	`getRelevantRulesForRelation(java.lang.String modulename, java.lang.String relationname)` Get all the relevant rules for a given logic object.
`static Cons`	`getRestAfterFirstNonWild(Cons matchlist)`
`static List`	`getRulesForRelation(java.lang.String modulename, java.lang.String instancename)` Get all the rules for a given logic object
`static Session`	`getSession(boolean forcenewP, boolean newiftimeoutP)` Retrieve an existing session object if one exists, or a new one if one doesn't yet exist.
`static List`	`getStellaLiteralConcepts()`
`static void`	`getStellaLiteralConceptsHelper(Module module, NamedDescription concept, List collectedconcepts)`
`static java.lang.String`	`getStringifiedModule(Module module)`
`static List`	`getSubconcepts(Description concept, Module module)`
`static List`	`getSubrelations(Description relation, Module module)`
`static List`	`getSuperconcepts(Description concept, Module module)`
`static List`	`getSuperrelations(Description relation, Module module)`
`static java.lang.String`	`getTruthValueString(TruthValue tv)`
`static void`	`initializeDispatchTable()`
`static void`	`invalidateSession()` Invalidate the current session for the current client.
`static Cons`	`loadIndexFile()`
`static boolean`	`logLevelLE(Keyword level1, Keyword level2)`
`static PLSurrogate`	`makeLogicSurrogate(LogicObject obj)`
`static PLSurrogate`	`makeModuleSurrogate(Module module)`
`static PLConcept`	`makePlConcept(Description concept)`
`static PLModuleFile`	`makePlFile(Cons filedescription)`
`static PLInstance`	`makePlInstance(LogicObject instance)`
`static List`	`makePlInstances(List instances, boolean skipuninternedinstancesP)`
`static PLObjectUnion`	`makePlObjectUnion(Stella_Object renamed_Object)`
`static PLProposition`	`makePlProposition(Proposition proposition, Module module, boolean isrule)`
`static List`	`makePlPropositions(List propositions, Module module, boolean isrule)`
`static PLQuery`	`makePlQuery()`
`static PLRelation`	`makePlRelation(Description relation, java.lang.String modulename)`
`static List`	`makePlRelations(List relations, java.lang.String modulename)`
`static PLTuple`	`makePlTuple(Cons tuple)`
`static PLTuple`	`makePlTupleFromProposition(Proposition proposition)`
`static PLVariable`	`makePlVariable(java.lang.String variablename, Surrogate variabletype)`
`static PLSearchResultItem`	`makeSearchResultItem(java.lang.String modulename, LogicObject renamed_Object)`
`static PLSurrogate`	`makeSurrogateSurrogate(Surrogate surrogate)`
`static edu.isi.webservices.xml_objects.XMLObject`	`makeTestObject()`
`static Cons`	`parseMatchString(java.lang.String matchstring, java.lang.String casesensitiveP)`
`static void`	`plguiHtmlPprintAtomicObject(Stella_Object self, java.io.PrintStream stream)`
`static void`	`plguiHtmlPprintObject(Stella_Object self, OutputStream stream)`
`static void`	`plguiWriteUrl(java.io.PrintStream stream, java.lang.String action, java.lang.String objecttype, StandardObject renamed_Object)`
`static void`	`plguiWriteUrlInDetail(java.io.PrintStream stream, java.lang.String target, java.lang.String action, java.lang.String objecttype, java.lang.String contextname, java.lang.String objectname, java.lang.String objecttitle, boolean rawtitleP)`
`static void`	`printJustificationToHtmlFile(Justification justification, java.lang.String file)`
`static void`	`printPlguiUrl(LogicObject theObject, java.i`

edu.isi.powerloom.server Class PowerloomServer

edu.isi.powerloom.server
Class PowerloomServer