diff options
Diffstat (limited to 'src/runtime/java/org')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Hypo.java | 7 | ||||
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Type.java | 14 |
2 files changed, 21 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Hypo.java b/src/runtime/java/org/grammaticalframework/pgf/Hypo.java new file mode 100644 index 000000000..a0aced647 --- /dev/null +++ b/src/runtime/java/org/grammaticalframework/pgf/Hypo.java @@ -0,0 +1,7 @@ +package org.grammaticalframework.pgf; + +public class Hypo { + public native boolean getBindType(); + public native String getVariable(); + public native Type getType(); +} diff --git a/src/runtime/java/org/grammaticalframework/pgf/Type.java b/src/runtime/java/org/grammaticalframework/pgf/Type.java index 061771b71..db7a9888f 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Type.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Type.java @@ -1,4 +1,18 @@ package org.grammaticalframework.pgf; public class Type { + public native String getCategory(); + public native Expr[] getExprs(); + public native Hypo[] getHypos(); + + ////////////////////////////////////////////////////////////////// + // private stuff + + private PGF gr; + private long ref; + + private Type(PGF gr, long ref) { + this.gr = gr; + this.ref = ref; + } } |
