summaryrefslogtreecommitdiff
path: root/src/runtime/java/org/grammaticalframework/pgf/Hypo.java
blob: 132f94845e9c94246eae9cc45726b8cde5edae49 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
package org.grammaticalframework.pgf;

public class Hypo {
	public native boolean getBindType();
	
	/** The name of the bound variable or '_' if there is none */
	public native String getVariable();
	
	/** The type for this hypothesis */
	public native Type getType();

	//////////////////////////////////////////////////////////////////
	// private stuff

	private Object master;
	private long ref;

	private Hypo(Object master, long ref) {
		this.master = master;
		this.ref    = ref;
	}
}