diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-07 11:48:40 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-07 11:48:40 +0200 |
| commit | ed33e53b2e21712e255e5dbaafe4db34d61be46f (patch) | |
| tree | 5fffebb3c0efad58b6473198ab4633de1c6c4e57 /src/runtime/java/org | |
| parent | a4b6c8cb1b3debb89b254760c1ce9bd506d56fd9 (diff) | |
added org.grammaticalframework.pgf.Expr.unStr
Diffstat (limited to 'src/runtime/java/org')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Expr.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Expr.java b/src/runtime/java/org/grammaticalframework/pgf/Expr.java index 46ea88b42..0b52e02ef 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Expr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Expr.java @@ -93,6 +93,11 @@ public class Expr implements Serializable { * a meta variable, then it will return the variable's id. * If this is not a meta variable then the result is -1. */ public native int unMeta(); + + /** If the method is called on an expression which is + * a string literal, then it will return the string value. + * If this is not a string literal then the result is null. */ + public native String unStr(); /** Returns the expression as a string in the GF syntax */ public String toString() { |
