diff options
| author | krasimir <krasimir@chalmers.se> | 2017-05-11 09:11:30 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-05-11 09:11:30 +0000 |
| commit | a839bdc687b19a35b238192d1e5d3fde5302af42 (patch) | |
| tree | 274bad20d53bcf08dc8e3aaa416896ab03835c9c /src/runtime/java/org | |
| parent | 2cf98147e6e7ba077cd002ba97a5834a88fa3a00 (diff) | |
bugfix for print names in the C runtime and expose the functionality from Java
Diffstat (limited to 'src/runtime/java/org')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Concr.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Concr.java b/src/runtime/java/org/grammaticalframework/pgf/Concr.java index e6cd958bb..af814b4a9 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Concr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Concr.java @@ -79,6 +79,10 @@ public class Concr { */ public native boolean hasLinearization(String fun); + /** returns the print name for that function or category. + */ + public native String getPrintName(String id); + /** If the concrete syntaxes in the grammar are stored in external * files then this method can be used to load the current syntax * in memory. |