added checkExpr in Java

1 files changed, 4 insertions, 1 deletions

diff --git a/src/runtime/java/org/grammaticalframework/pgf/PGF.java b/src/runtime/java/org/grammaticalframework/pgf/PGF.java
index 8559c13a7..23126c8f8 100644
--- a/src/runtime/java/org/grammaticalframework/pgf/PGF.java
+++ b/src/runtime/java/org/grammaticalframework/pgf/PGF.java
@@ -67,7 +67,10 @@ public class PGF {
 	/** Takes an expression and returns a refined version
 	 * of the expression together with its type */
 	public native TypedExpr inferExpr(Expr expr) throws TypeError;
-
+	
+	/** Takes an expression and checks it agains a type. The returned expression
+	 * is a possibly refined version of the original. */
+	public native Expr checkExpr(Expr expr, Type ty) throws TypeError;
 
 	public native String graphvizAbstractTree(Expr expr);