diff options
3 files changed, 10 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Concr.java b/src/runtime/java/org/grammaticalframework/pgf/Concr.java index 4f082eac8..0c905bc5f 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Concr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Concr.java @@ -68,6 +68,9 @@ public class Concr { * @param sentence the word form or the multilingual expression. */ public native List<MorphoAnalysis> lookupMorpho(String sentence); + + /** Creates an iterable over the full form lexicon in the grammar */ + public native Iterable<FullFormEntry> fullFormLexicon(); /** Returns an iterable enumerating all words in the lexicon * starting with a given prefix. @@ -83,6 +86,8 @@ public class Concr { */ public native boolean hasLinearization(String fun); + public native String graphvizParseTree(Expr expr); + /** returns the print name for that function or category. */ public native String getPrintName(String id); diff --git a/src/runtime/java/org/grammaticalframework/pgf/PGF.java b/src/runtime/java/org/grammaticalframework/pgf/PGF.java index 346f6f67f..8559c13a7 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/PGF.java +++ b/src/runtime/java/org/grammaticalframework/pgf/PGF.java @@ -68,6 +68,9 @@ public class PGF { * of the expression together with its type */ public native TypedExpr inferExpr(Expr expr) throws TypeError; + + public native String graphvizAbstractTree(Expr expr); + ////////////////////////////////////////////////////////////////// // private stuff private Pool pool; diff --git a/src/runtime/java/org/grammaticalframework/pgf/Type.java b/src/runtime/java/org/grammaticalframework/pgf/Type.java index d7da65851..5136d7089 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Type.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Type.java @@ -14,6 +14,8 @@ public class Type { public native Hypo[] getHypos(); public native String toString(); + + public native static Type readType(String s); ////////////////////////////////////////////////////////////////// // private stuff |