equal
deleted
inserted
replaced
904 return Collections.unmodifiableList(getComponents()); |
904 return Collections.unmodifiableList(getComponents()); |
905 } |
905 } |
906 |
906 |
907 public List<Type> getComponents() { |
907 public List<Type> getComponents() { |
908 return interfaces_field.prepend(supertype_field); |
908 return interfaces_field.prepend(supertype_field); |
|
909 } |
|
910 |
|
911 public List<Type> getExplicitComponents() { |
|
912 return allInterfaces ? |
|
913 interfaces_field : |
|
914 getComponents(); |
909 } |
915 } |
910 |
916 |
911 @Override |
917 @Override |
912 public TypeKind getKind() { |
918 public TypeKind getKind() { |
913 return TypeKind.INTERSECTION; |
919 return TypeKind.INTERSECTION; |