diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-10-11 08:10:04 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-10-11 08:10:04 +0000 |
| commit | f7fb6fa5bc2d34d76ab0c615f5dff7c1b6b3ac1c (patch) | |
| tree | ed4ad59bb87f9c56bfb0ae9793cf3ddeca2c8230 /src/runtime/java/org/grammaticalframework | |
| parent | a0e6576e457d4e9d2c1572e7af7f6c476433f280 (diff) | |
readExpr in the Java binding
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Expr.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Expr.java b/src/runtime/java/org/grammaticalframework/pgf/Expr.java index bd2c0877e..638ec8ad1 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Expr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Expr.java @@ -15,5 +15,7 @@ public class Expr { return showExpr(ref); } + public static native Expr readExpr(String s) throws PGFError; + private static native String showExpr(long ref); } |