|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.isi.powerloom.server.PowerloomServer
public class PowerloomServer
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.io.PrintStream nativestream)
Prints a URL following PowerLoom Plgui conventions. |
static java.lang.String |
replaceChokableCharsWithEntities(java.lang.String instring)
|
static java.lang.String |
replaceDoubleQuotesWithSingleQuotes(java.lang.String instring)
|
static boolean |
rulePropositionP(Proposition proposition)
|
static void |
saveIndexFile(Cons index)
|
static List |
searchAllModules(java.lang.String searchstring,
java.lang.String searchinstanceP,
java.lang.String searchconceptP,
java.lang.String searchrelationP,
java.lang.String casesensitiveP)
|
static List |
searchConcepts(java.lang.String modulename,
Cons matchlist,
java.lang.String casesensitiveP)
|
static List |
searchInstances(java.lang.String modulename,
Cons matchlist,
java.lang.String casesensitiveP)
|
static List |
searchLogicObjects(java.lang.String modulename,
List objects,
Cons matchlist,
java.lang.String casesensitiveP)
|
static List |
searchModule(java.lang.String modulename,
java.lang.String searchstring,
java.lang.String searchinstanceP,
java.lang.String searchconceptP,
java.lang.String searchrelationP,
java.lang.String casesensitiveP)
|
static List |
searchRelations(java.lang.String modulename,
Cons matchlist,
java.lang.String casesensitiveP)
|
static boolean |
searchStringMatchP(java.lang.String inputstring,
Cons matchlist)
|
static Cons |
serverExtractArguments(Cons bodycontents)
|
static java.lang.String |
serverExtractMethodName(Cons bodycontents)
|
static Stella_Object |
serverExtractSoapBodyContents(Cons parsetree)
|
static java.lang.String |
serverGenerateSoapResponse(java.lang.String response,
java.lang.String exception)
|
static PLServerInfo |
serverGetInfo()
Return a data structure describing the characteristics and capabilities of this server instance. |
static PLModuleFileList |
serverGetLoadableKbs()
|
static PLModuleContainer |
serverGetModules()
Get all the loaded modules, structured, hierarchically |
static java.lang.String |
serverInvokePowerloomMethod(Cons bodycontents)
|
static void |
serverLog(Keyword loglevel,
Cons message)
|
static java.lang.String |
serverMarshalException(java.lang.String type,
java.lang.Exception exception)
|
static Cons |
serverParseXmlDocumentString(java.lang.String request)
|
static java.lang.String |
serverProcessSoapRequest(java.lang.String requestbody)
|
static boolean |
startsWithP(java.lang.String candidate,
java.lang.String prefix)
|
static java.lang.String |
stripModule(java.lang.String instring,
Module module)
|
static java.lang.String |
stripNewlines(java.lang.String instring)
|
static boolean |
subrelationRuleP(Proposition rule)
|
static java.lang.String |
test1()
|
static edu.isi.webservices.xml_objects.XMLObject |
test2()
|
static void |
testServerClearKb()
|
static PLString |
testServerDestroyObject()
|
static PLString |
testServerEvaluateLogicCommand(java.lang.String command)
|
static PLConceptContainer |
testServerGetConcept()
|
static PLConceptContainer |
testServerGetConceptCompletions()
|
static PLConceptContainer |
testServerGetConceptsForModule()
|
static PLDirectoryContents |
testServerGetDefaultDirectoryListing()
|
static PLInstanceContainer |
testServerGetDirectInstancesForConcept()
|
static PLString |
testServerGetDocumentationForConcept()
|
static PLString |
testServerGetDocumentationForInstance()
|
static PLString |
testServerGetDocumentationForRelation()
|
static PLString |
testServerGetExplanationForQuery()
|
static PLQueryResult |
testServerGetExtensionForRelation()
|
static PLSurrogateCollection |
testServerGetIncludesForModule()
|
static PLServerInfo |
testServerGetInfo()
|
static PLRelationContainer |
testServerGetInheritedRelationsForConcept()
|
static PLInstanceContainer |
testServerGetInstance()
|
static PLInstanceContainer |
testServerGetInstanceCompletions()
|
static PLInstanceContainer |
testServerGetInstancesForConcept()
|
static PLInstanceContainer |
testServerGetInstancesForModule()
|
static PLPropositionContainer |
testServerGetPropositionsForConcept()
|
static PLPropositionContainer |
testServerGetPropositionsForInstance()
|
static PLPropositionContainer |
testServerGetPropositionsForInstanceAndRelation()
|
static PLPropositionContainer |
testServerGetPropositionsForModule()
|
static PLPropositionContainer |
testServerGetPropositionsForRelation()
|
static PLRelationContainer |
testServerGetRelation()
|
static PLRelationContainer |
testServerGetRelationCompletions()
|
static PLRelationContainer |
testServerGetRelationsForConcept()
|
static PLRelationContainer |
testServerGetRelationsForModule()
|
static PLPropositionContainer |
testServerGetRulesForConcept()
|
static PLPropositionContainer |
testServerGetRulesForRelation()
|
static PLSurrogateCollection |
testServerGetShadowedSurrogatesForModule()
|
static PLString |
testServerGetSourceForConcept()
|
static PLSurrogateCollection |
testServerGetSuperconceptsForConcept()
|
static PLSurrogateCollection |
testServerGetSuperrelationsForRelation()
|
static PLSurrogateCollection |
testServerGetTypesForInstance()
|
static PLSurrogateCollection |
testServerGetUsesForModule()
|
static PLVariableList |
testServerGetVariablesForRelation()
|
static PLString |
testServerLoadKb()
|
static PLQueryResult |
testServerQuery()
|
static PLString |
testServerSaveKb()
|
static PLFile |
testServerSaveKb2()
|
static PLSearchResult |
testServerSearch1()
|
static void |
writeHtmlCharacterQuotingChokableCharacters(java.io.PrintStream stream,
char ch)
|
static void |
writeHtmlQuotingChokableCharacters(java.io.PrintStream stream,
java.lang.String input)
|
static java.lang.String |
xmlifyFormattedString(java.lang.String instring)
|
static java.lang.String |
xmlifyString(java.lang.String instring)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static Surrogate SGT_POWERLOOM_SERVER_PLString
public static Symbol SYM_POWERLOOM_SERVER_Value
public static Surrogate SGT_POWERLOOM_SERVER_PLSurrogate
public static Symbol SYM_LOGIC_ID
public static Surrogate SGT_POWERLOOM_SERVER_ServerException
public static Symbol SYM_POWERLOOM_SERVER_Type
public static Symbol SYM_POWERLOOM_SERVER_Message
public static Surrogate SGT_POWERLOOM_SERVER_PLModuleContainer
public static Symbol SYM_POWERLOOM_SERVER_PLModule
public static Surrogate SGT_POWERLOOM_SERVER_PLModule
public static Symbol SYM_POWERLOOM_SERVER_ModuleName
public static Symbol SYM_POWERLOOM_SERVER_SourceString
public static Symbol SYM_POWERLOOM_SERVER_CppPackage
public static Symbol SYM_POWERLOOM_SERVER_LispPackage
public static Symbol SYM_POWERLOOM_SERVER_JavaPackage
public static Symbol SYM_POWERLOOM_SERVER_JavaCatchallClass
public static Symbol SYM_POWERLOOM_SERVER_Documentation
public static Symbol SYM_POWERLOOM_SERVER_API
public static Symbol SYM_POWERLOOM_SERVER_CaseSensitive
public static Symbol SYM_POWERLOOM_SERVER_PLSurrogate
public static Surrogate SGT_POWERLOOM_SERVER_PLConcept
public static Symbol SYM_POWERLOOM_SERVER_ConceptName
public static Symbol SYM_POWERLOOM_SERVER_Module
public static Symbol SYM_POWERLOOM_SERVER_PLConcept
public static Surrogate SGT_POWERLOOM_SERVER_PLConceptContainer
public static Surrogate SGT_POWERLOOM_SERVER_PLRelation
public static Symbol SYM_POWERLOOM_SERVER_RelationName
public static Symbol SYM_POWERLOOM_SERVER_IsFunction
public static Symbol SYM_POWERLOOM_SERVER_IsClosed
public static Symbol SYM_POWERLOOM_SERVER_PLRelation
public static Surrogate SGT_POWERLOOM_SERVER_PLRelationContainer
public static Surrogate SGT_POWERLOOM_SERVER_PLInstance
public static Symbol SYM_POWERLOOM_SERVER_InstanceName
public static Surrogate SGT_POWERLOOM_SERVER_PLInstanceContainer
public static Symbol SYM_POWERLOOM_SERVER_PLInstance
public static Surrogate SGT_POWERLOOM_SERVER_PLProposition
public static Symbol SYM_POWERLOOM_SERVER_PropositionName
public static Symbol SYM_POWERLOOM_SERVER_IsStrict
public static Symbol SYM_POWERLOOM_SERVER_IsAsserted
public static Symbol SYM_POWERLOOM_SERVER_IsRule
public static Surrogate SGT_POWERLOOM_SERVER_PLPropositionContainer
public static Symbol SYM_POWERLOOM_SERVER_PLProposition
public static Surrogate SGT_POWERLOOM_SERVER_PLRule
public static Symbol SYM_POWERLOOM_SERVER_RuleName
public static Surrogate SGT_POWERLOOM_SERVER_PLVariable
public static Symbol SYM_POWERLOOM_SERVER_VariableName
public static Symbol SYM_POWERLOOM_SERVER_VariableType
public static Surrogate SGT_POWERLOOM_SERVER_PLVariableList
public static Symbol SYM_POWERLOOM_SERVER_PLVariable
public static Surrogate SGT_POWERLOOM_SERVER_PLModuleFileList
public static Symbol SYM_POWERLOOM_SERVER_PLModuleFile
public static Surrogate SGT_POWERLOOM_SERVER_PLModuleFile
public static Symbol SYM_POWERLOOM_SERVER_KBName
public static Symbol SYM_POWERLOOM_SERVER_KBDescription
public static Symbol SYM_POWERLOOM_SERVER_FileName
public static Surrogate SGT_POWERLOOM_SERVER_PLFile
public static Symbol SYM_POWERLOOM_SERVER_PLFileContent
public static Surrogate SGT_POWERLOOM_SERVER_PLFileContent
public static Symbol SYM_XML_OBJECTS_textContent
public static Surrogate SGT_POWERLOOM_SERVER_PLDirectory
public static Symbol SYM_POWERLOOM_SERVER_DirectoryName
public static Surrogate SGT_POWERLOOM_SERVER_PLDirectoryContents
public static Symbol SYM_POWERLOOM_SERVER_PLDirectory
public static Symbol SYM_POWERLOOM_SERVER_PLFile
public static Surrogate SGT_POWERLOOM_SERVER_PLSurrogateCollection
public static Surrogate SGT_POWERLOOM_SERVER_PLObjectUnion
public static Symbol SYM_POWERLOOM_SERVER_LiteralValue
public static Surrogate SGT_POWERLOOM_SERVER_PLTuple
public static Symbol SYM_POWERLOOM_SERVER_PLObjectUnion
public static Surrogate SGT_POWERLOOM_SERVER_PLQuery
public static Symbol SYM_POWERLOOM_SERVER_IsAsk
public static Symbol SYM_POWERLOOM_SERVER_QueryName
public static Symbol SYM_POWERLOOM_SERVER_Query
public static Symbol SYM_POWERLOOM_SERVER_InferenceLevel
public static Symbol SYM_POWERLOOM_SERVER_Timeout
public static Symbol SYM_POWERLOOM_SERVER_Moveout
public static Symbol SYM_POWERLOOM_SERVER_MatchMode
public static Symbol SYM_POWERLOOM_SERVER_NumResults
public static Symbol SYM_POWERLOOM_SERVER_MinScore
public static Symbol SYM_POWERLOOM_SERVER_MaxUnknowns
public static Symbol SYM_POWERLOOM_SERVER_MaximizeScore
public static Symbol SYM_POWERLOOM_SERVER_DontOptimize
public static Surrogate SGT_POWERLOOM_SERVER_PLQueryResult
public static Symbol SYM_POWERLOOM_SERVER_PLTuple
public static Surrogate SGT_POWERLOOM_SERVER_PLSearchParameter
public static Symbol SYM_POWERLOOM_SERVER_SearchString
public static Symbol SYM_POWERLOOM_SERVER_SearchConcept
public static Symbol SYM_POWERLOOM_SERVER_SearchRelation
public static Symbol SYM_POWERLOOM_SERVER_SearchInstance
public static Surrogate SGT_POWERLOOM_SERVER_PLSearchResult
public static Symbol SYM_POWERLOOM_SERVER_PLSearchResultItem
public static Surrogate SGT_POWERLOOM_SERVER_PLSearchResultItem
public static Surrogate SGT_POWERLOOM_SERVER_PLServerInfo
public static Symbol SYM_POWERLOOM_SERVER_AllowRemoteFileBrowsing
public static Surrogate SGT_POWERLOOM_SERVER_Address
public static Symbol SYM_POWERLOOM_SERVER_attrCity
public static Surrogate SGT_POWERLOOM_SERVER_MyModule
public static Symbol SYM_POWERLOOM_SERVER_Address
public static Symbol SYM_POWERLOOM_SERVER_MyModule
public static Symbol SYM_POWERLOOM_SERVER_STARTUP_XML_OBJECTS
public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME
public static Module $POWERLOOM_SERVER_MODULE$
public static java.lang.String $SOAP_RESULT_PREFIX$
public static java.lang.String $SOAP_EXCEPTION_PREFIX$
public static java.lang.String $SOAP_RESULT_SUFFIX$
public static java.lang.String $SOAP_EXCEPTION_SUFFIX$
public static Keyword KWD_ALL
public static Symbol SYM_POWERLOOM_SERVER_STARTUP_XML_SUPPORT
public static boolean $ALLOW_REMOTE_FILEBROWSING$
public static java.lang.String $SERVER_LOG_FILE$
public static Keyword $SERVER_LOG_LEVEL$
public static Keyword KWD_NONE
public static Keyword KWD_IF_EXISTS
public static Keyword KWD_APPEND
public static Keyword KWD_IF_NOT_EXISTS
public static Keyword KWD_CREATE
public static Surrogate SGT_LOGIC_LOGIC_OBJECT
public static Surrogate SGT_STELLA_CONS
public static Surrogate SGT_LOGIC_TRUTH_VALUE
public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION
public static Surrogate SGT_LOGIC_SKOLEM
public static Symbol SYM_STELLA_CODE_ONLYp
public static Symbol SYM_STELLA_JAVA_FLOTSAM_CLASS
public static Symbol SYM_STELLA_APIp
public static Surrogate SGT_STELLA_LITERAL
public static Keyword KWD_FORALL
public static Keyword KWD_EXISTS
public static Keyword KWD_IMPLIES
public static Symbol SYM_LOGIC_MASTER_PROPOSITION
public static Symbol SYM_STELLA_ASK
public static Keyword KWD_ORIGINAL
public static java.lang.String $KB_FILENAME_INDEX$
public static java.lang.String $KB_DIRECTORY$
public static Symbol SYM_POWERLOOM_SERVER_WILD
public static java.lang.String $DEFAULT_KB_DIRECTORY$
public static StringHashTable $SERVER_DISPATCH_TABLE$
public static Symbol SYM_POWERLOOM_SERVER_STARTUP_SERVER_INTERFACE
public static final StellaSpecialVariable $REQUESTOR_ADDRESS$
public static StringHashTable $SESSION_TABLE$
public static Surrogate SGT_POWERLOOM_SERVER_SESSION
public static Symbol SYM_POWERLOOM_SERVER_TIMEOUT
public static Symbol SYM_LOGIC_TIMESTAMP
public static Symbol SYM_POWERLOOM_SERVER_HASHTABLE
public static Symbol SYM_POWERLOOM_SERVER_STARTUP_SESSIONS
public static Keyword KWD_KIF
public static Surrogate SGT_LOGIC_PROPOSITION
public static Keyword KWD_ISA
public static Keyword KWD_FUNCTION
public static Keyword KWD_PREDICATE
public static Keyword KWD_NOT
public static Keyword KWD_EQUIVALENT
public static Surrogate SGT_STELLA_LITERAL_WRAPPER
public static Surrogate SGT_LOGIC_PATTERN_VARIABLE
public static Surrogate SGT_STELLA_GENERALIZED_SYMBOL
public static Surrogate SGT_STELLA_MODULE
public static Surrogate SGT_STELLA_THING
public static final StellaSpecialVariable $PLGUI_URL_ACTION$
public static Keyword KWD_JAVA_GUI_HTML
public static Keyword KWD_HTML
public static Keyword KWD_LAY
public static Keyword KWD_KIF_ONTOSAURUS
public static Keyword KWD_BRIEF
public static java.lang.String $PLGUI_EXPLANATION_TRACE_FILE$
public static Symbol SYM_POWERLOOM_SERVER_STARTUP_HTML_PRINTING
public static Symbol SYM_POWERLOOM_SERVER_STARTUP_POWERLOOM_SERVER_SYSTEM
Constructor Detail |
---|
public PowerloomServer()
Method Detail |
---|
public static java.lang.String serverProcessSoapRequest(java.lang.String requestbody)
public static java.lang.String serverMarshalException(java.lang.String type, java.lang.Exception exception)
public static java.lang.String serverGenerateSoapResponse(java.lang.String response, java.lang.String exception)
public static Cons serverParseXmlDocumentString(java.lang.String request)
public static Stella_Object serverExtractSoapBodyContents(Cons parsetree)
public static java.lang.String serverExtractMethodName(Cons bodycontents)
public static Cons serverExtractArguments(Cons bodycontents)
public static java.lang.String serverInvokePowerloomMethod(Cons bodycontents)
public static java.lang.String test1()
public static edu.isi.webservices.xml_objects.XMLObject makeTestObject()
public static edu.isi.webservices.xml_objects.XMLObject test2()
public static boolean logLevelLE(Keyword level1, Keyword level2)
public static void serverLog(Keyword loglevel, Cons message)
public static PLModuleContainer serverGetModules()
public static PLModuleFileList serverGetLoadableKbs()
public static PLServerInfo serverGetInfo()
public static java.lang.String extractModuleNameFromStream(InputStream stream)
public static java.lang.String extractModuleNameFromFile(java.lang.String filename)
public static PLTuple makePlTupleFromProposition(Proposition proposition)
public static PLTuple makePlTuple(Cons tuple)
public static PLObjectUnion makePlObjectUnion(Stella_Object renamed_Object)
public static PLModuleContainer getModules(Module module)
public static boolean codeModuleP(Module module)
public static List collectAllModules(Module module, List collectedmodules)
public static PLModuleContainer createModuleContainer(List collectedmodules)
public static List getStellaLiteralConcepts()
public static void getStellaLiteralConceptsHelper(Module module, NamedDescription concept, List collectedconcepts)
public static PLConceptContainer getConcepts(Module module)
public static PLConceptContainer getConceptsWithPrefix(Module module, java.lang.String prefix)
public static PLConceptContainer createConceptContainer(List collectedconcepts, Module module, boolean includechildrenP)
public static PLRelationContainer getRelations(Module module)
public static PLRelationContainer getRelationsWithPrefix(Module module, java.lang.String prefix)
public static PLRelationContainer createRelationContainer(List collectedrelations, Module module, boolean includechildrenP)
public static PLSurrogateCollection createModuleCollection(List modules)
public static PLSurrogateCollection createSurrogateCollection(List surrogates)
public static PLSurrogateCollection createSurrogateCollectionForLogicObject(List relations)
public static PLSurrogateCollection createSuperrelationsContainer(NamedDescription relation, Module module)
public static PLVariableList createVariablesList(NamedDescription relation)
public static PLVariable makePlVariable(java.lang.String variablename, Surrogate variabletype)
public static PLRelation makePlRelation(Description relation, java.lang.String modulename)
public static PLConcept makePlConcept(Description concept)
public static List makePlRelations(List relations, java.lang.String modulename)
public static PLSurrogate makeModuleSurrogate(Module module)
public static PLSurrogate makeSurrogateSurrogate(Surrogate surrogate)
public static PLSurrogate makeLogicSurrogate(LogicObject obj)
public static List getAllRelations(Module module)
public static List getAllRelationsWithPrefix(Module module, boolean localP, java.lang.String prefix)
public static List getAllConcepts(Module module, boolean localP)
public static List getAllConceptsWithPrefix(Module module, boolean localP, java.lang.String prefix)
public static boolean startsWithP(java.lang.String candidate, java.lang.String prefix)
public static List getSubconcepts(Description concept, Module module)
public static List getSubrelations(Description relation, Module module)
public static List getSuperconcepts(Description concept, Module module)
public static List getSuperrelations(Description relation, Module module)
public static PLInstance makePlInstance(LogicObject instance)
public static List makePlInstances(List instances, boolean skipuninternedinstancesP)
public static PLProposition makePlProposition(Proposition proposition, Module module, boolean isrule)
public static List makePlPropositions(List propositions, Module module, boolean isrule)
public static PLString getDocumentationForObject(java.lang.String modulename, java.lang.String objectname)
public static List getDirectRelationsForConcept(Module module, LogicObject concept)
public static List getInheritedRelationsForConcept(Module module, LogicObject concept)
public static List getPropositionsForObject(java.lang.String modulename, java.lang.String instancename, boolean relationP)
modulename
- instancename
- relationP
-
public static List getRulesForRelation(java.lang.String modulename, java.lang.String instancename)
modulename
- instancename
-
public static boolean rulePropositionP(Proposition proposition)
public static boolean subrelationRuleP(Proposition rule)
public static List getRelevantRulesForRelation(java.lang.String modulename, java.lang.String relationname)
modulename
- relationname
-
public static List getPropositionsForInstanceAndRelation(java.lang.String modulename, java.lang.String instancename, java.lang.String relationname)
public static java.lang.String evaluateLogicCommandInModule(java.lang.String command, java.lang.String modulename, boolean finalizeP)
public static Cons evaluateQueryCommandInModule(java.lang.String query, java.lang.String modulename, boolean continuationqueryP, boolean partialqueryP)
public static java.lang.String getPropositionString(Proposition prop, Module module)
public static java.lang.String getTruthValueString(TruthValue tv)
public static java.lang.String xmlifyString(java.lang.String instring)
public static java.lang.String xmlifyFormattedString(java.lang.String instring)
public static java.lang.String getStringifiedModule(Module module)
public static java.lang.String replaceChokableCharsWithEntities(java.lang.String instring)
public static void writeHtmlCharacterQuotingChokableCharacters(java.io.PrintStream stream, char ch)
public static void writeHtmlQuotingChokableCharacters(java.io.PrintStream stream, java.lang.String input)
public static java.lang.String compactWhitespace(java.lang.String instring)
public static java.lang.String stripNewlines(java.lang.String instring)
public static java.lang.String stripModule(java.lang.String instring, Module module)
public static java.lang.String replaceDoubleQuotesWithSingleQuotes(java.lang.String instring)
public static Cons loadIndexFile()
public static void saveIndexFile(Cons index)
public static PLModuleFile makePlFile(Cons filedescription)
public static Cons parseMatchString(java.lang.String matchstring, java.lang.String casesensitiveP)
public static boolean searchStringMatchP(java.lang.String inputstring, Cons matchlist)
public static StringWrapper getFirstNonWild(Cons matchlist)
public static Cons getRestAfterFirstNonWild(Cons matchlist)
public static List searchLogicObjects(java.lang.String modulename, List objects, Cons matchlist, java.lang.String casesensitiveP)
public static java.lang.String getLogicObjectName(LogicObject renamed_Object, java.lang.String casesensitiveP)
public static List searchConcepts(java.lang.String modulename, Cons matchlist, java.lang.String casesensitiveP)
public static List searchRelations(java.lang.String modulename, Cons matchlist, java.lang.String casesensitiveP)
public static List searchInstances(java.lang.String modulename, Cons matchlist, java.lang.String casesensitiveP)
public static List searchAllModules(java.lang.String searchstring, java.lang.String searchinstanceP, java.lang.String searchconceptP, java.lang.String searchrelationP, java.lang.String casesensitiveP)
public static List searchModule(java.lang.String modulename, java.lang.String searchstring, java.lang.String searchinstanceP, java.lang.String searchconceptP, java.lang.String searchrelationP, java.lang.String casesensitiveP)
public static PLSearchResultItem makeSearchResultItem(java.lang.String modulename, LogicObject renamed_Object)
public static List getDirectoryListing(java.lang.String currentdirectory)
public static Stella_Object dispatchCall(java.lang.String functionname, Cons args)
public static void initializeDispatchTable()
public static PLConceptContainer testServerGetConceptsForModule()
public static PLInstanceContainer testServerGetInstancesForModule()
public static PLRelationContainer testServerGetRelationsForModule()
public static PLInstanceContainer testServerGetDirectInstancesForConcept()
public static PLInstanceContainer testServerGetInstancesForConcept()
public static PLPropositionContainer testServerGetPropositionsForModule()
public static PLPropositionContainer testServerGetPropositionsForInstance()
public static PLSurrogateCollection testServerGetTypesForInstance()
public static PLString testServerGetDocumentationForInstance()
public static PLRelationContainer testServerGetRelationsForConcept()
public static PLRelationContainer testServerGetInheritedRelationsForConcept()
public static PLString testServerGetDocumentationForConcept()
public static PLString testServerGetSourceForConcept()
public static PLString testServerGetDocumentationForRelation()
public static PLSurrogateCollection testServerGetSuperconceptsForConcept()
public static PLSurrogateCollection testServerGetSuperrelationsForRelation()
public static PLSurrogateCollection testServerGetIncludesForModule()
public static PLSurrogateCollection testServerGetShadowedSurrogatesForModule()
public static PLSurrogateCollection testServerGetUsesForModule()
public static PLVariableList testServerGetVariablesForRelation()
public static PLPropositionContainer testServerGetPropositionsForConcept()
public static PLPropositionContainer testServerGetRulesForConcept()
public static PLPropositionContainer testServerGetPropositionsForRelation()
public static PLPropositionContainer testServerGetRulesForRelation()
public static PLPropositionContainer testServerGetPropositionsForInstanceAndRelation()
public static PLString testServerEvaluateLogicCommand(java.lang.String command)
public static PLString testServerLoadKb()
public static void testServerClearKb()
public static PLString testServerSaveKb()
public static PLFile testServerSaveKb2()
public static PLQuery makePlQuery()
public static PLQueryResult testServerQuery()
public static PLSearchResult testServerSearch1()
public static PLDirectoryContents testServerGetDefaultDirectoryListing()
public static PLQueryResult testServerGetExtensionForRelation()
public static PLRelationContainer testServerGetRelation()
public static PLConceptContainer testServerGetConcept()
public static PLInstanceContainer testServerGetInstance()
public static PLConceptContainer testServerGetConceptCompletions()
public static PLRelationContainer testServerGetRelationCompletions()
public static PLInstanceContainer testServerGetInstanceCompletions()
public static PLString testServerDestroyObject()
public static PLString testServerGetExplanationForQuery()
public static PLServerInfo testServerGetInfo()
public static Session getSession(boolean forcenewP, boolean newiftimeoutP)
newIfTimeoutP
is TRUE, will return a new session if the existing
session is old. If forceNewP
is TRUE, will always create a new session.
forcenewP
- newiftimeoutP
-
public static void invalidateSession()
public static void plguiHtmlPprintObject(Stella_Object self, OutputStream stream)
public static void plguiHtmlPprintAtomicObject(Stella_Object self, java.io.PrintStream stream)
public static void printPlguiUrl(LogicObject theObject, java.io.PrintStream nativestream)
theObject
- nativestream
- public 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)
public static void plguiWriteUrl(java.io.PrintStream stream, java.lang.String action, java.lang.String objecttype, StandardObject renamed_Object)
public static void printJustificationToHtmlFile(Justification justification, java.lang.String file)
public static java.lang.String getJustificationString(Justification justification)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |