/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getOneOf
* Signature: ()Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getOneOf
(JNIEnv * env, jobject obj)
{
TRACE_JNI("getOneOf");
TJNICache* J = getJ(env,obj);
return J->Class(J->EM->OneOf());
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getSelf
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getSelf
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("getSelf");
TJNICache* J = getJ(env,obj);
return J->Class(J->EM->SelfReference(getORoleExpr(env,arg)));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataValue
* Signature: (Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;Luk/ac/manchester/cs/factplusplus/DataValuePointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataValue__Luk_ac_manchester_cs_factplusplus_DataPropertyPointer_2Luk_ac_manchester_cs_factplusplus_DataValuePointer_2
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getDataValue");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->Value ( getDRoleExpr(env,arg1), getDataValueExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataAtMost
* Signature: (ILuk/ac/manchester/cs/factplusplus/DataPropertyPointer;Luk/ac/manchester/cs/factplusplus/DataTypePointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataAtMost
(JNIEnv * env, jobject obj, jint n, jobject arg1, jobject arg2)
{
TRACE_JNI("getDataAtMost");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->MaxCardinality ( n, getDRoleExpr(env,arg1), getDataExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataAll
* Signature: (Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataAll
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getDataAll");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->Forall ( getDRoleExpr(env,arg1), getDataExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getObjectValue
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;Luk/ac/manchester/cs/factplusplus/IndividualPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getObjectValue
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getObjectValue");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->Value ( getORoleExpr(env,arg1), getIndividualExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getObjectSome
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;Luk/ac/manchester/cs/factplusplus/ClassPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getObjectSome
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getObjectSome");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->Exists ( getORoleExpr(env,arg1), getConceptExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getConceptNot
* Signature: (Luk/ac/manchester/cs/factplusplus/ClassPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getConceptNot
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("getConceptNot");
TJNICache* J = getJ(env,obj);
return J->Class(J->EM->Not(getConceptExpr(env,arg)));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getNamedClass
* Signature: (Ljava/lang/String;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getNamedClass
(JNIEnv * env, jobject obj, jstring str)
{
TRACE_JNI("getNamedClass");
TRACE_STR(env,str);
TJNICache* J = getJ(env,obj);
JString name(env,str);
jobject ret = (jobject)0;
try
{
ret = J->Class(J->getCName(name()));
}
catch (const EFPPCantRegName&)
{
Throw ( env, "FaCT++ Kernel: Can not register new class name" );
}
return ret;
}