diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-09-05 12:12:01 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-09-05 12:12:01 +0000 |
| commit | f190e349c2e879e270e3051d9ebee7e1a1075d11 (patch) | |
| tree | 9ca0e3b33a7100d762149645534047d99c27bbf8 /src/runtime/java/org/grammaticalframework | |
| parent | ebc3fc51d04add7bc27fdf8a90f1250f67230762 (diff) | |
added version readPGF in Java which takes as argument InputStream. This makes it easier to load grammars from the assets folder in Android
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/PGF.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/PGF.java b/src/runtime/java/org/grammaticalframework/pgf/PGF.java index d97a952a2..02e5d0c50 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/PGF.java +++ b/src/runtime/java/org/grammaticalframework/pgf/PGF.java @@ -5,6 +5,8 @@ import java.util.*; public class PGF { public static native PGF readPGF(String path) throws FileNotFoundException; + + public static native PGF readPGF(InputStream stream); public native String getAbstractName(); |
