Lines Matching defs:TypeRelation
399 private TypeRelation isSubtype = new TypeRelation()
618 private TypeRelation isSameType = new TypeRelation() {
847 private TypeRelation containsType = new TypeRelation() {
975 private TypeRelation isCastable = new TypeRelation() {
1186 private TypeRelation disjointType = new TypeRelation() {
2181 private boolean hasSameArgs(Type t, Type s, TypeRelation hasSameArgs) {
2185 private class HasSameArgs extends TypeRelation {
2219 TypeRelation hasSameArgs_strict = new HasSameArgs(true);
2220 TypeRelation hasSameArgs_nonstrict = new HasSameArgs(false);
3786 public static abstract class TypeRelation extends SimpleVisitor<Boolean,Type> {}