diff options
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/PGF.java | 5 |
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); |