rename unApply to unApp in the Java binding to be consistent with Haskell & Python

This commit is contained in:
Krasimir Angelov
2017-08-29 14:03:17 +02:00
parent b524a5a908
commit 2f4ed21109
2 changed files with 2 additions and 2 deletions

View File

@@ -1371,7 +1371,7 @@ Java_org_grammaticalframework_pgf_Expr_initApp__Ljava_lang_String_2_3Lorg_gramma
}
JNIEXPORT jobject JNICALL
Java_org_grammaticalframework_pgf_Expr_unApply(JNIEnv* env, jobject self)
Java_org_grammaticalframework_pgf_Expr_unApp(JNIEnv* env, jobject self)
{
jclass expr_class = (*env)->FindClass(env, "org/grammaticalframework/pgf/Expr");
if (!expr_class)

View File

@@ -87,7 +87,7 @@ public class Expr implements Serializable {
* a function application, then it is decomposed into
* a function name and a list of arguments. If this is not
* an application then the result is null. */
public native ExprApplication unApply();
public native ExprApplication unApp();
/** If the method is called on an expression which is
* a meta variable, then it will return the variable's id.