better dictionary visualization in the Android App

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;
+	}
 }