diff options
| author | krasimir <krasimir@chalmers.se> | 2017-05-10 12:19:27 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-05-10 12:19:27 +0000 |
| commit | 6283489260700dc5be78693c98ef89f13437a90e (patch) | |
| tree | 53b1b01f3228d02b9b1111e11bd9228b51a41798 /src/runtime/java/org/grammaticalframework | |
| parent | 2f9c1c3764c45cf5c981454e1658ddaf5c97ae21 (diff) | |
finished Type.getHypos & added Hypo.getType
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
| -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; + } } |