/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataNot
* Signature: (Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;)Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataNot
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("getDataNot");
TJNICache* J = getJ(env,obj);
return J->DataTypeExpression(J->EM->DataNot(getDataExpr(env,arg)));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataUnionOf
* Signature: ()Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataUnionOf
(JNIEnv * env, jobject obj)
{
TRACE_JNI("getDataUnionOf");
TJNICache* J = getJ(env,obj);
return J->DataTypeExpression(J->EM->DataOr());
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getRestrictedDataType
* Signature: (Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;Luk/ac/manchester/cs/factplusplus/DataTypeFacet;)Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getRestrictedDataType
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getRestrictedDataType");
TJNICache* J = getJ(env,obj);
return J->DataTypeExpression ( J->EM->RestrictedType ( getDataTypeExpr(env,arg1), getFacetExpr(env,arg2) ) );
}