1006 } |
1006 } |
1007 |
1007 |
1008 @Override |
1008 @Override |
1009 public String toString() { |
1009 public String toString() { |
1010 return "capture#" |
1010 return "capture#" |
1011 + (hashCode() & 0xFFFFFFFFL) % PRIME |
1011 + (hashCode() & 0xFFFFFFFFL) % Printer.PRIME |
1012 + " of " |
1012 + " of " |
1013 + wildcard; |
1013 + wildcard; |
1014 } |
1014 } |
1015 static final int PRIME = 997; // largest prime less than 1000 |
|
1016 } |
1015 } |
1017 |
1016 |
1018 public static abstract class DelegatedType extends Type { |
1017 public static abstract class DelegatedType extends Type { |
1019 public Type qtype; |
1018 public Type qtype; |
1020 public DelegatedType(int tag, Type qtype) { |
1019 public DelegatedType(int tag, Type qtype) { |