org.opencyc.javashell
Class CycJavaShell
java.lang.Object
|
+--org.opencyc.javashell.CycJavaShell
- public class CycJavaShell
- extends java.lang.Object
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 |
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
CycJavaShell
public CycJavaShell()
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)