org.opencyc.javashell
Class CycJavaShell

java.lang.Object
  |
  +--org.opencyc.javashell.CycJavaShell

public class CycJavaShell
extends java.lang.Object


Field Summary
 CycSymbol CYC_NIL
           
 CycSymbol CYC_TRUE
           
 CycAccess cycAccess
           
 CycConstant cycadministrator
           
 CycConstant cycArrayOfClass
           
 CycConstant cycClassInstance
           
 CycConstant cycCreateObject
           
 CycConstant cycCreateObjectNamed
           
 CycConstant cycDestroyObject
           
 CycSymbol cycFalse
           
 CycConstant cycForgetObject
           
 CycConstant cycGetObjectField
           
 CycConstant cycHasArrayMember
           
 CycConstant cycHasMethod
           
 CycConstant cycHasSlot
           
 CycConstant cycHasSlotValue
           
 CycConstant cycInvokeObject
           
 CycConstant cycJavaFeild
           
 CycConstant cycJavaObject
           
 CycConstant cycJavaObjectFn
           
 CycConstant cycNameOFClass
           
 CycSymbol cycNull
           
 CycConstant cycSetObjectField
           
 CycSymbol cycTrue
           
 CycSymbol cycVoid
           
 CycFort dataMt
           
 int debug
           
 CycConstant functionalRelation
           
 boolean m_isInitialized
           
 CycConstant makeCycConstantError
           
 java.util.Hashtable mapClassToFort
           
 java.util.Hashtable mapFortToClass
           
static java.util.Hashtable mapFortToObject
           
static java.util.Hashtable mapObjectToFort
           
 CycFort mappingMt
           
 java.util.Hashtable mapStringToConstant
           
 CycConstant opencycproject
           
 java.lang.Class stringClass
           
 java.lang.Class[] stringClassArrayOfOne
           
 CycFort theoryMt
           
static java.util.Hashtable thisClassTemplates
           
 CycFort vocabMt
           
 
Constructor Summary
CycJavaShell()
           
 
Method Summary
 CycList arrayToCycList(java.lang.Object[] pMembs, boolean assertobj)
           
 void assertArrayData(java.lang.Object object, CycFort cycobject)
           
 void assertFieldValue(CycFort cycobject, java.lang.Object object, CycConstant cycaccess, java.lang.reflect.Field accessmember)
           
 void assertGaf(CycFort mt, CycFort pred, CycFort object, java.lang.Object value)
           
 void assertIteratorData(java.util.Iterator object, CycFort cycobject)
           
 void assertObjectData(java.lang.Object object, CycFort cycobject)
           
 void assertObjectDataFromTemplate(java.lang.Class jclass, java.lang.Object object, CycFort cycobject)
           
 void assertSlotValue(CycFort cycobject, java.lang.Object slot, java.lang.Object value, boolean singlevalued)
           
 void assertSlotValue(CycFort cycobject, java.lang.Object slot, java.lang.Object value, java.lang.Object type, boolean singlevalued)
           
 void assertWithTranscriptNoWffCheckJava(CycList sentence, CycFort mt)
           
 void assertWithTranscriptNoWffCheckJava(java.lang.String sentence, CycFort mt)
           
 boolean attemptJavaSetMethod(java.lang.Object target, java.lang.String property, java.lang.Object value)
           
 java.lang.String cleanString(java.lang.String name)
           
 void clearSlot(CycFort cycobject, java.lang.Object cycslot)
           
 java.lang.Object createObject(java.lang.Object classnameObj)
           
 CycSymbol createObjectNamed(java.lang.Object classnameObj, java.lang.Object objref)
           
 java.util.ArrayList deleteMatchGaf(CycList query, CycFort mt, int maxBackchains, int maxAnswers, int maxSeconds)
          Preforms query in mt with parameters then unasserts the insanciated gafs derived from the query NOTE: Only if they exist in the same microtheory as the query is in.
 CycSymbol destroyObject(java.lang.Object cycobj)
           
 void ensureClientSupportsShell(CycAccess cycA, CycFort dataMtA, CycFort vocabMtA, CycFort mappingMtA, CycFort theoryMtA)
           
 java.lang.Class findClass(java.lang.Object theInit)
           
 java.lang.reflect.Method findJavaMethod(java.lang.Class oclass, java.lang.String methodname)
           
 java.lang.String findNamedProperty(java.lang.Object target, java.lang.String property)
          Java Editing
 CycSymbol forgetObject(java.lang.Object cycobj)
           
 java.lang.Object getObjectField(java.lang.Object cycobj, java.lang.Object fieldref)
           
 CycList getObjects(CycAccess cycAccess)
           
 java.lang.Object initObject(java.lang.Object theInit)
           
 java.lang.Object invoke(CycList query)
           
 java.lang.Object invokeObject(java.lang.Object cycobj, java.lang.Object methodName, CycList params)
           
 boolean isMethodInert(java.lang.reflect.Method mthod)
           
 java.lang.Object iteratorToCycList(java.util.Iterator pMembs)
           
 CycFort makeTypedCycFort(java.lang.String type, java.lang.String name)
           
 java.lang.reflect.Field objectField(java.lang.Object innerInstance, java.lang.Object fieldref)
           
 java.util.ArrayList queryMatch(CycList query, CycFort mt, int maxBackchains, int maxAnswers, int maxSeconds)
          Preforms query in mt with parameters returns the insanciated gafs derived from the query a query of (#$isa ?X #$Dog) in #$BiologyMt will return a ArrayList with a single CycList formula containing: (#$isa (#$GenericInstanceFn #$Dog) #$Dog)
 CycList queryWithMaximums(CycList query, CycFort mt, int maxBackchains, int maxAnswers, int maxSeconds)
           
 java.lang.Object recastObject(java.lang.Class oclass, java.lang.Object o)
           
 java.lang.Object[] recastVector(int len, java.lang.Class[] pt, CycList params)
           
 QueryLiteral replaceVarsWithBindingSet(CycList query, java.util.ArrayList bindingset)
           
 java.lang.Object selectObjectForName(java.lang.Object name)
           
 CycSymbol setObjectField(java.lang.Object cycobj, java.lang.Object fieldref, java.lang.Object value)
           
 boolean toBool(java.lang.Object o)
           
 CycFort toCycClass(java.lang.Class jclass)
           
 CycList toCycClassList(java.lang.Class[] jclass)
          Java To Cyc
 CycList toCycList(java.lang.String sentence)
          Cyclifys a sentence a string
 java.lang.String toCycListString(java.lang.String sentence)
          Cyclifys a sentence to a string
 java.lang.Object toCycObject(java.lang.Object object)
           
 java.lang.Object toCycObject(java.lang.Object object, boolean assertobj)
           
 java.lang.String toProperCase(java.lang.String property)
          Strings
 void warnEvent(java.lang.Exception e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_isInitialized

public boolean m_isInitialized

stringClass

public java.lang.Class stringClass

stringClassArrayOfOne

public java.lang.Class[] stringClassArrayOfOne

debug

public int debug

mapFortToObject

public static java.util.Hashtable mapFortToObject

mapObjectToFort

public static java.util.Hashtable mapObjectToFort

mapStringToConstant

public java.util.Hashtable mapStringToConstant

thisClassTemplates

public static java.util.Hashtable thisClassTemplates

mapClassToFort

public java.util.Hashtable mapClassToFort

mapFortToClass

public java.util.Hashtable mapFortToClass

cycAccess

public CycAccess cycAccess

CYC_NIL

public CycSymbol CYC_NIL

CYC_TRUE

public CycSymbol CYC_TRUE

cycFalse

public CycSymbol cycFalse

cycTrue

public CycSymbol cycTrue

cycVoid

public CycSymbol cycVoid

cycNull

public CycSymbol cycNull

cycCreateObject

public CycConstant cycCreateObject

cycCreateObjectNamed

public CycConstant cycCreateObjectNamed

cycDestroyObject

public CycConstant cycDestroyObject

cycForgetObject

public CycConstant cycForgetObject

cycInvokeObject

public CycConstant cycInvokeObject

cycSetObjectField

public CycConstant cycSetObjectField

cycGetObjectField

public CycConstant cycGetObjectField

cycadministrator

public CycConstant cycadministrator

opencycproject

public CycConstant opencycproject

functionalRelation

public CycConstant functionalRelation

cycHasArrayMember

public CycConstant cycHasArrayMember

cycHasMethod

public CycConstant cycHasMethod

cycHasSlot

public CycConstant cycHasSlot

cycClassInstance

public CycConstant cycClassInstance

cycHasSlotValue

public CycConstant cycHasSlotValue

makeCycConstantError

public CycConstant makeCycConstantError

cycArrayOfClass

public CycConstant cycArrayOfClass

cycNameOFClass

public CycConstant cycNameOFClass

cycJavaFeild

public CycConstant cycJavaFeild

cycJavaObject

public CycConstant cycJavaObject

cycJavaObjectFn

public CycConstant cycJavaObjectFn

dataMt

public CycFort dataMt

vocabMt

public CycFort vocabMt

mappingMt

public CycFort mappingMt

theoryMt

public CycFort theoryMt
Constructor Detail

CycJavaShell

public CycJavaShell()
Method Detail

ensureClientSupportsShell

public void ensureClientSupportsShell(CycAccess cycA,
                                      CycFort dataMtA,
                                      CycFort vocabMtA,
                                      CycFort mappingMtA,
                                      CycFort theoryMtA)
                               throws java.net.UnknownHostException,
                                      java.io.IOException,
                                      CycApiException

invoke

public java.lang.Object invoke(CycList query)
                        throws java.lang.Exception

getObjects

public CycList getObjects(CycAccess cycAccess)

createObject

public java.lang.Object createObject(java.lang.Object classnameObj)
                              throws java.lang.Exception

createObjectNamed

public CycSymbol createObjectNamed(java.lang.Object classnameObj,
                                   java.lang.Object objref)
                            throws java.lang.Exception

forgetObject

public CycSymbol forgetObject(java.lang.Object cycobj)
                       throws java.lang.Exception

destroyObject

public CycSymbol destroyObject(java.lang.Object cycobj)
                        throws java.lang.Exception

setObjectField

public CycSymbol setObjectField(java.lang.Object cycobj,
                                java.lang.Object fieldref,
                                java.lang.Object value)
                         throws java.lang.Exception

getObjectField

public java.lang.Object getObjectField(java.lang.Object cycobj,
                                       java.lang.Object fieldref)
                                throws java.lang.Exception

objectField

public java.lang.reflect.Field objectField(java.lang.Object innerInstance,
                                           java.lang.Object fieldref)
                                    throws java.lang.Exception

invokeObject

public java.lang.Object invokeObject(java.lang.Object cycobj,
                                     java.lang.Object methodName,
                                     CycList params)
                              throws java.lang.Exception

selectObjectForName

public java.lang.Object selectObjectForName(java.lang.Object name)
                                     throws java.lang.InstantiationException

initObject

public java.lang.Object initObject(java.lang.Object theInit)
                            throws java.lang.InstantiationException,
                                   java.lang.ClassNotFoundException,
                                   java.lang.IllegalAccessException,
                                   java.lang.reflect.InvocationTargetException

findClass

public java.lang.Class findClass(java.lang.Object theInit)
                          throws java.lang.ClassNotFoundException

recastVector

public java.lang.Object[] recastVector(int len,
                                       java.lang.Class[] pt,
                                       CycList params)
                                throws java.lang.Exception

recastObject

public java.lang.Object recastObject(java.lang.Class oclass,
                                     java.lang.Object o)
                              throws java.lang.Exception

toCycClassList

public CycList toCycClassList(java.lang.Class[] jclass)
Java To Cyc

toCycClass

public CycFort toCycClass(java.lang.Class jclass)

isMethodInert

public boolean isMethodInert(java.lang.reflect.Method mthod)

makeTypedCycFort

public CycFort makeTypedCycFort(java.lang.String type,
                                java.lang.String name)

toCycObject

public java.lang.Object toCycObject(java.lang.Object object)

toCycObject

public java.lang.Object toCycObject(java.lang.Object object,
                                    boolean assertobj)

arrayToCycList

public CycList arrayToCycList(java.lang.Object[] pMembs,
                              boolean assertobj)

iteratorToCycList

public java.lang.Object iteratorToCycList(java.util.Iterator pMembs)

deleteMatchGaf

public java.util.ArrayList deleteMatchGaf(CycList query,
                                          CycFort mt,
                                          int maxBackchains,
                                          int maxAnswers,
                                          int maxSeconds)
Preforms query in mt with parameters then unasserts the insanciated gafs derived from the query NOTE: Only if they exist in the same microtheory as the query is in. see queryMatch for how these insanciated gafs are produced

queryMatch

public java.util.ArrayList queryMatch(CycList query,
                                      CycFort mt,
                                      int maxBackchains,
                                      int maxAnswers,
                                      int maxSeconds)
Preforms query in mt with parameters returns the insanciated gafs derived from the query a query of (#$isa ?X #$Dog) in #$BiologyMt will return a ArrayList with a single CycList formula containing: (#$isa (#$GenericInstanceFn #$Dog) #$Dog)

queryWithMaximums

public CycList queryWithMaximums(CycList query,
                                 CycFort mt,
                                 int maxBackchains,
                                 int maxAnswers,
                                 int maxSeconds)
                          throws java.io.IOException,
                                 CycApiException

replaceVarsWithBindingSet

public QueryLiteral replaceVarsWithBindingSet(CycList query,
                                              java.util.ArrayList bindingset)

findNamedProperty

public java.lang.String findNamedProperty(java.lang.Object target,
                                          java.lang.String property)
Java Editing

attemptJavaSetMethod

public boolean attemptJavaSetMethod(java.lang.Object target,
                                    java.lang.String property,
                                    java.lang.Object value)

findJavaMethod

public java.lang.reflect.Method findJavaMethod(java.lang.Class oclass,
                                               java.lang.String methodname)
                                        throws java.lang.NoSuchMethodError

toProperCase

public java.lang.String toProperCase(java.lang.String property)
Strings

assertObjectData

public void assertObjectData(java.lang.Object object,
                             CycFort cycobject)

assertObjectDataFromTemplate

public void assertObjectDataFromTemplate(java.lang.Class jclass,
                                         java.lang.Object object,
                                         CycFort cycobject)

assertArrayData

public void assertArrayData(java.lang.Object object,
                            CycFort cycobject)

assertIteratorData

public void assertIteratorData(java.util.Iterator object,
                               CycFort cycobject)

assertSlotValue

public void assertSlotValue(CycFort cycobject,
                            java.lang.Object slot,
                            java.lang.Object value,
                            boolean singlevalued)

assertSlotValue

public void assertSlotValue(CycFort cycobject,
                            java.lang.Object slot,
                            java.lang.Object value,
                            java.lang.Object type,
                            boolean singlevalued)

assertGaf

public void assertGaf(CycFort mt,
                      CycFort pred,
                      CycFort object,
                      java.lang.Object value)
               throws java.lang.Exception

assertFieldValue

public void assertFieldValue(CycFort cycobject,
                             java.lang.Object object,
                             CycConstant cycaccess,
                             java.lang.reflect.Field accessmember)

clearSlot

public void clearSlot(CycFort cycobject,
                      java.lang.Object cycslot)

assertWithTranscriptNoWffCheckJava

public void assertWithTranscriptNoWffCheckJava(CycList sentence,
                                               CycFort mt)

assertWithTranscriptNoWffCheckJava

public void assertWithTranscriptNoWffCheckJava(java.lang.String sentence,
                                               CycFort mt)

toCycList

public CycList toCycList(java.lang.String sentence)
                  throws java.lang.Exception
Cyclifys a sentence a string

toCycListString

public java.lang.String toCycListString(java.lang.String sentence)
                                 throws java.lang.Exception
Cyclifys a sentence to a string

cleanString

public java.lang.String cleanString(java.lang.String name)

toBool

public boolean toBool(java.lang.Object o)
               throws java.lang.Exception

warnEvent

public void warnEvent(java.lang.Exception e)