diff options
Diffstat (limited to 'src/runtime/java/org')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Hypo.java | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Hypo.java b/src/runtime/java/org/grammaticalframework/pgf/Hypo.java index 660b1843f..132f94845 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Hypo.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Hypo.java @@ -8,4 +8,15 @@ public class Hypo { /** 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; + } } |
