edu.isi.powerloom.persistence
Class CycStore

java.lang.Object
  edu.isi.stella.Stella_Object
      edu.isi.stella.StandardObject
          edu.isi.powerloom.logic.ObjectStore
              edu.isi.powerloom.persistence.PersistentStore
                  edu.isi.powerloom.persistence.CycStore

public class CycStore
extends PersistentStore

Field Summary

Context	currentMicrotheory
OutputStream	fiCommandStream
java.lang.String	fiInitFile
int	fiPort
InputStream	fiResultStream
java.lang.String	host
StringHashTable	microtheoryTable

Fields inherited from class edu.isi.powerloom.logic.ObjectStore

module

Constructor Summary

CycStore()

Method Summary

static Stella_Object	accessCycStoreSlotValue(CycStore self, Symbol slotname, Stella_Object value, boolean setvalueP)
void	closePersistentStore()
static Context	currentCycMicrotheory(CycStore store)
static java.lang.String	currentCycMicrotheoryName(CycStore store)
static boolean	cycStoreSupportLoadedP(CycStore store)
static boolean	definedCycMicrotheoryP(CycStore store, java.lang.String mt) Return TRUE if mt is a defined microtheory in the Cyc instance represented by store (if store is supplied as NULL, it defaults to the store of $CYC_MODULE$)..
static int	estimateCycPropositions(CycStore store, Cons pattern)
static TruthValue	evaluateCycProposition(CycStore store, Cons pattern)
static NamedDescription	fetchCycCollection(CycStore store, java.lang.String name)
static Stella_Object	fetchCycInstance(CycStore store, java.lang.String name)
static NamedDescription	fetchCycPredicate(CycStore store, java.lang.String name)
static Proposition	fetchCycPropositionById(CycStore store, int id, Cons pattern)
static Cons	fetchCycPropositions(CycStore store, Cons pattern)
Stella_Object	fetchInstance(Stella_Object name) Fetch the instance identified by name (a string or symbol) from store and return it as an appropriate logic object.
NamedDescription	fetchRelation(Stella_Object name) Fetch the relation identified by name (a string or symbol) from store and return it as a named description.
static Cons	helpFetchCycPropositionById(CycStore store, int id)
static void	initializeCycStore(CycStore self)
static Context	internCycMicrotheory(CycStore store, java.lang.String name)
static Context	lookupCycMicrotheory(CycStore store, java.lang.String name)
static CycStore	newCycStore(java.lang.String host, int fiPort, java.lang.String fiInitFile)
SequenceIndex	objectStoreDcreateSequenceIndex(Cons pattern)
Surrogate	primaryType() Returns the primary type of self.
static Cons	translateSelectionPatternToCyc(CycStore store, Cons pattern)

Methods inherited from class edu.isi.powerloom.persistence.PersistentStore

closedPersistentStoreP, fetchPropositions

Methods inherited from class edu.isi.powerloom.logic.ObjectStore

accessObjectStoreSlotValue, clearObjectStore, storeAssertion, storeModuleHeader, storeModuleTrailer, storeNativeRelation, storeRelation, updatePropositionInStore

Methods inherited from class edu.isi.stella.StandardObject

arrayTypeSpecifierP, baseTypeToTypeSpec, cantOverwriteActiveCollectionSlot, compatibleParameterTypesP, computeAnchoredTypeSpec, computeRelativeTypeSpec, conformingTypeSpecP, copyWrappedLiteral, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, dropSlotValue, extractParameterType, extractRequiredArgumentValues, getSlot, hashCode_, idlTranslateTypeSpec, inverseSlotDemon, javaLiteralP, javaNativeLiteralWrapperNames, javaSpecialSetterName, javaTranslateArrayOfTypeSpec, javaTranslateTypeSpec, javaTranslateTypeSpecForFunction, javaTranslateTypeSpecHelper, javaYieldClassObjectArrayExpression, javaYieldClassObjectExpression, javaYieldFullyQualifiedTypeName, javaYieldTranslatedClassAndMethodNames, listifyTypeSpec, lookupClTypeFromStellaType, objectEqlP, putSlotValue, readSlotValue, runConstructorDemons, runDestructorDemons, runSlotDemons, runSlotGuardDemonsP, standardObjectP, subTypeSpecOfP, twoArgumentLeastCommonSupertype, typeSpecToBaseType, typeSpecToClass, typeToWalkedNullValueTree, validateTypeSpecifier, voidP, walkTypeSpecIsNativeTypeP, writeSlotValue, yieldTypeSpecTree

Methods inherited from class edu.isi.stella.Stella_Object

_, accessInContext, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceToBoolean, coerceToModule, coerceToModuleName, coerceToSymbol, coerceToXmlElement, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, cons, consify, consifyListsAndIterators, consP, consTreeMatchP, convertToLiteral, copyConsTree, cppArgumentIsStreamP, cppBinaryOperatorP, cppBlockP, cppMaybeOutputStatementWithParentheses, cppOperatorP, cppOutputAtomicExpression, cppOutputLiteral, cppOutputOneActualParameter, cppOutputStatement, cppOutputTypedEntity, cppPrognifyStatement, cppPrognP, cppStatementToList, cppStreamIsStandardOutputP, cpptrans, cppTranslateAtomicTree, cppTranslateATree, cppTranslatedArrayTypeP, csValueP, dateDivider, dateTimeDivider, day, dealWithAmPm, dealWithEra, dealWithNoonMidn, decrementReferenceCount, defaultOptionHandler, defineSystem, defmodule, deletedP, describe, describeObject, describeTersely, destructureMethodNameTree, deUglifyParseTree, either, eqlP, eqlToBooleanP, eqlToCharacterP, eqlToFloatP, eqlToIntegerP, eqlToStringP, equalConsTreesP, equalHashCode, equalP, era, estimatedEvaluationCost, evaluate, evaluateArgumentTree, evaluateAtomicTree, evaluateCommand, expandBquoteTree, filterModuleP, floatP, free, get, getObject, hashlist, hashMemoizedArguments, helpBquotify, helpClTranslateATree, helpCoerceATree, helpLptrans, helpPrintOutline, helpTransformBooleanProceduralExpression, helpWalkATree, homeModule, hour, idlOutputAtomicExpression, idlOutputLiteral, idlOutputStatement, idlTranslateAtomicTree, idlTranslateATree, illegalTreeP, implodePathname, incrementallyTranslate, incrementReferenceCount, inlineUnwrapBoolean, inlineWrapBoolean, inModule, integerP, isaP, javaBinaryOperatorP, javaBlockP, javaEndOfLineTokenP, javaHelpOutputPrintStream, javaMaybeOutputStatementWithParentheses, javaOperatorP, javaOutputLiteral, javaOutputStatement, javaPrognP, javaStreamIsStandardOutputP, javaSymbolCaseP, javaTranslateAtomicTree, javaTranslateATree, javaTranslateWithNativeWrapper, jptrans, keywordP, kvCons, legalTokenizerFromStateP, legalTokenizerStateP, legalTokenizerToStateP, literalEqlP, logLevelLE, lptrans, makeFileNameFromRelativePath, makeMemoizedValueEntry, makeMemoizedValueEntryn, matchConsTree, methodSlotP, minute, month, nameToString, nilP, noonMidn, numberWrapperToFloat, objectEqualP, objectHashCode, one, oneI, onlyIf, parametricTypeSpecifierP, parseArrayDimensionsSpec, parseTokenizerCharacterSpec, parseTokenizerStateModifiers, permanentCopy, permanentify, permanentifyForm, po, prettyPrintLiteral, primaryClass, printObject, printOutline, printStellaCode, printStellaDefinition, printUndefinedSuperClasses, proceduralExpressionP, ptrans, publicSlots, registerRecycledItem, runOptionHandlerP, safeEqualHashCode, safeHashCode, safePrimaryType, safeYieldTypeSpecifier, searchConsTreeP, searchConsTreeWithFilterP, searchForObject, secondp, sideEffectFreeExpressionP, simplifyBquoteTree, specialp, stella_Increment, stellaClassP, stellaCollectionP, stellaNeedToCompileP, stellaNeedToTranslateP, stellaObjectP, stellify, storageSlotP, stringifyInModule, stringP, substituteConsTree, substituteOnce, surrogateP, surrogatify, sweep, symbolCaseP, symbolP, sysTree, targetLanguageType, taxonomyIsaP, timeDivider, timeMultiply, tokenizerIncludeSpecP, tokenizerToStateAlias, tokenizerToStateName, toString, traceIf, traceKeywordP, transientifyForm, transientObjectP, transientSymbolP, translateWalkedTree, treeSize, treeToTrees, trueOptionP, tryToEvaluate, typeP, typify, unmake, unregisterRecycledItem, updateInContext, valuesTreeP, variableExpressionP, verbatimStringP, verbatimTreeP, vetOptions, vrletExpressionP, walkAtomicTree, walkATree, walkCollectionTree, walkDontCallMeTree, walkedExpressionType, walkExpressionTree, walkMvExpressionTree, walkMvTree, walkStatement, walkTopLevelExpression, walkWithoutTypeTree, warnAboutUnknownSourceType, weekday, withinContext, withinModule, withinWorld, withStellaTokenizer, withSystemDefinition, withTokenizer, wrapperP, wrapWhereTest, xmlAttributeP, xmlCdataFormP, xmlCdataP, xmlDeclarationFormP, xmlDeclarationP, xmlDoctypeFormP, xmlElementFormP, xmlElementP, xmlnsAttributeP, xmlProcessingInstructionFormP, xmlProcessingInstructionP, xmlTagCase, year, yieldCondTest, yieldCondTestOrTests, yieldHardcodedCaseSymbolIdOrIds, yieldInCursorClausesForArgumentList, yieldInCursorClausesForGeneralCollection, yieldInCursorClausesForVector, yieldTypeSpecifier, zone, zoneMinute

Methods inherited from class java.lang.Object

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

Field Detail

host

public java.lang.String host

fiPort

public int fiPort

fiInitFile

public java.lang.String fiInitFile

fiCommandStream

public OutputStream fiCommandStream

fiResultStream

public InputStream fiResultStream

currentMicrotheory

public Context currentMicrotheory

microtheoryTable

public StringHashTable microtheoryTable

Constructor Detail

CycStore

public CycStore()

Method Detail

newCycStore

public static CycStore newCycStore(java.lang.String host,
                                   int fiPort,
                                   java.lang.String fiInitFile)

fetchInstance

public Stella_Object fetchInstance(Stella_Object name)

Description copied from class: ObjectStore

Fetch the instance identified by name (a string or symbol) from store and return it as an appropriate logic object. This needs to be appropriately specialized on actual OBJECT-STORE implementations.

Overrides:

fetchInstance in class PersistentStore

Returns:

Stella_Object

fetchRelation

public NamedDescription fetchRelation(Stella_Object name)

Description copied from class: ObjectStore

Fetch the relation identified by name (a string or symbol) from store and return it as a named description. This needs to be appropriately specialized on actual OBJECT-STORE implementations.

Overrides:

fetchRelation in class PersistentStore

Returns:

NamedDescription

helpFetchCycPropositionById

public static Cons helpFetchCycPropositionById(CycStore store,
                                               int id)

fetchCycPropositionById

public static Proposition fetchCycPropositionById(CycStore store,
                                                  int id,
                                                  Cons pattern)

evaluateCycProposition

public static TruthValue evaluateCycProposition(CycStore store,
                                                Cons pattern)

estimateCycPropositions

public static int estimateCycPropositions(CycStore store,
                                          Cons pattern)

fetchCycPropositions

public static Cons fetchCycPropositions(CycStore store,
                                        Cons pattern)

objectStoreDcreateSequenceIndex

public SequenceIndex objectStoreDcreateSequenceIndex(Cons pattern)

Overrides:

objectStoreDcreateSequenceIndex in class ObjectStore

fetchCycInstance

public static Stella_Object fetchCycInstance(CycStore store,
                                             java.lang.String name)

fetchCycPredicate

public static NamedDescription fetchCycPredicate(CycStore store,
                                                 java.lang.String name)

fetchCycCollection

public static NamedDescription fetchCycCollection(CycStore store,
                                                  java.lang.String name)

translateSelectionPatternToCyc

public static Cons translateSelectionPatternToCyc(CycStore store,
                                                  Cons pattern)

definedCycMicrotheoryP

public static boolean definedCycMicrotheoryP(CycStore store,
                                             java.lang.String mt)

Return TRUE if mt is a defined microtheory in the Cyc instance represented by store (if store is supplied as NULL, it defaults to the store of $CYC_MODULE$)..

Parameters:

store -

mt -

Returns:

boolean

currentCycMicrotheoryName

public static java.lang.String currentCycMicrotheoryName(CycStore store)

currentCycMicrotheory

public static Context currentCycMicrotheory(CycStore store)

internCycMicrotheory

public static Context internCycMicrotheory(CycStore store,
                                           java.lang.String name)

lookupCycMicrotheory

public static Context lookupCycMicrotheory(CycStore store,
                                           java.lang.String name)

closePersistentStore

public void closePersistentStore()

Overrides:

closePersistentStore in class PersistentStore

initializeCycStore

public static void initializeCycStore(CycStore self)

cycStoreSupportLoadedP

public static boolean cycStoreSupportLoadedP(CycStore store)

accessCycStoreSlotValue

public static Stella_Object accessCycStoreSlotValue(CycStore self,
                                                    Symbol slotname,
                                                    Stella_Object value,
                                                    boolean setvalueP)

primaryType

public Surrogate primaryType()

Description copied from class: Stella_Object

Returns the primary type of self. Gets defined automatically for every non-abstract subclass of OBJECT.

Overrides:

primaryType in class Stella_Object

Returns:

Surrogate