summaryrefslogtreecommitdiff
path: root/src/runtime/java/org/grammaticalframework
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2017-06-10 19:31:06 +0000
committerkrasimir <krasimir@chalmers.se>2017-06-10 19:31:06 +0000
commitecbe747cbcea774e2739c2c745174b2a854b9a7c (patch)
tree382bdda4db86a74dc77bb92df1d77ea3b06844fa /src/runtime/java/org/grammaticalframework
parent9e206496a7f226ec7166874153e348381c37154e (diff)
bugfixes in the Java binding
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
-rw-r--r--src/runtime/java/org/grammaticalframework/pgf/Expr.java2
-rw-r--r--src/runtime/java/org/grammaticalframework/pgf/PGF.java4
2 files changed, 3 insertions, 3 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Expr.java b/src/runtime/java/org/grammaticalframework/pgf/Expr.java
index 08e75ea04..1cc014ca2 100644
--- a/src/runtime/java/org/grammaticalframework/pgf/Expr.java
+++ b/src/runtime/java/org/grammaticalframework/pgf/Expr.java
@@ -100,7 +100,7 @@ public class Expr implements Serializable {
/** Compares the current expression with another expression by value.
* @return True if the expressions are equal. */
- public native boolean equals(Expr e);
+ public native boolean equals(Object e);
public native int hashCode();
diff --git a/src/runtime/java/org/grammaticalframework/pgf/PGF.java b/src/runtime/java/org/grammaticalframework/pgf/PGF.java
index c19264f62..346f6f67f 100644
--- a/src/runtime/java/org/grammaticalframework/pgf/PGF.java
+++ b/src/runtime/java/org/grammaticalframework/pgf/PGF.java
@@ -30,10 +30,10 @@ public class PGF {
*/
public native String getStartCat();
- /** Returns a list of with all functions in the grammar. */
+ /** Returns a list with all functions in the grammar. */
public native List<String> getFunctions();
- /** Returns a list of with all functions with a given return category.
+ /** Returns a list with all functions with a given return category.
* @param cat The name of the return category. */
public native List<String> getFunctionsByCat(String cat);