diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-29 14:03:17 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-29 14:03:17 +0200 |
| commit | 2f4ed211090cc26c40fd885cd97e759324becbae (patch) | |
| tree | 786c063c3d6f33f019622bce0a9bd90607c1a24d | |
| parent | b524a5a9086b8779c91ce7c2dd00a980b5336247 (diff) | |
rename unApply to unApp in the Java binding to be consistent with Haskell & Python
| -rw-r--r-- | src/runtime/java/jpgf.c | 2 | ||||
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Expr.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/runtime/java/jpgf.c b/src/runtime/java/jpgf.c index 6e3d07d72..7e0c9b39e 100644 --- a/src/runtime/java/jpgf.c +++ b/src/runtime/java/jpgf.c @@ -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) diff --git a/src/runtime/java/org/grammaticalframework/pgf/Expr.java b/src/runtime/java/org/grammaticalframework/pgf/Expr.java index 0b52e02ef..8462cb30f 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Expr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Expr.java @@ -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. |