From 890e03527b353a48f4e009e8c2be8893c619935a Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 30 Aug 2017 08:23:58 +0200 Subject: added checkExpr in Java --- src/runtime/java/org/grammaticalframework/pgf/PGF.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/runtime/java/org/grammaticalframework') 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); -- cgit v1.2.3