azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Refactoring: decomposition of checkExposed... methods

Browse Source
This commit is contained in:
Mikhail Glukhikh
2015-10-08 18:16:33 +03:00
parent 7abc29cff6
commit e99a070a2e
1 changed files with 28 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/kotlin/resolve/DeclarationsChecker.java
+28 -24
View File
@@ -207,16 +207,40 @@ public class DeclarationsChecker {
}
private void checkClassExposedType(@NotNull JetClassOrObject klass, @NotNull ClassDescriptor classDescriptor) {
checkExposedSupertypes(klass, classDescriptor);
checkExposedParameterBounds(klass, classDescriptor);
if (classDescriptor.getUnsubstitutedPrimaryConstructor() != null && klass.getPrimaryConstructor() != null) {
checkFunctionExposedType(klass.getPrimaryConstructor(), classDescriptor.getUnsubstitutedPrimaryConstructor());
}
}
private void checkExposedParameterBounds(@NotNull JetClassOrObject klass, @NotNull ClassDescriptor classDescriptor) {
EffectiveVisibility classVisibility = EffectiveVisibility.Companion.forClass(classDescriptor);
List<JetTypeParameter> typeParameterList = klass.getTypeParameters();
int i = 0;
for (TypeParameterDescriptor typeParameterDescriptor : classDescriptor.getTypeConstructor().getParameters()) {
if (i >= typeParameterList.size()) return;
for (JetType upperBound : typeParameterDescriptor.getUpperBounds()) {
EffectiveVisibility upperBoundVisibility = EffectiveVisibility.Companion.forType(upperBound);
if (!upperBoundVisibility.sameOrMorePermissive(classVisibility)) {
JetTypeParameter typeParameter = typeParameterList.get(i);
trace.report(EXPOSED_TYPE_PARAMETER_BOUND.on(typeParameter, classVisibility, upperBoundVisibility));
break;
}
}
i++;
}
}
private void checkExposedSupertypes(@NotNull JetClassOrObject klass, @NotNull ClassDescriptor classDescriptor) {
EffectiveVisibility classVisibility = EffectiveVisibility.Companion.forClass(classDescriptor);
boolean isInterface = classDescriptor.getKind() == ClassKind.INTERFACE;
List<JetDelegationSpecifier> delegationList = klass.getDelegationSpecifiers();
int i = -1;
// Encapsulate
for (JetType superType : classDescriptor.getTypeConstructor().getSupertypes()) {
i++;
if (i >= delegationList.size()) {
break;
}
if (i >= delegationList.size()) return;
ClassDescriptor superDescriptor = TypeUtils.getClassDescriptor(superType);
if (superDescriptor == null) {
continue;
@@ -235,26 +259,6 @@ public class DeclarationsChecker {
}
}
}
// Encapsulate
List<JetTypeParameter> typeParameterList = klass.getTypeParameters();
int j = 0;
for (TypeParameterDescriptor typeParameterDescriptor : classDescriptor.getTypeConstructor().getParameters()) {
if (j >= typeParameterList.size()) {
break;
}
for (JetType upperBound : typeParameterDescriptor.getUpperBounds()) {
EffectiveVisibility upperBoundVisibility = EffectiveVisibility.Companion.forType(upperBound);
if (!upperBoundVisibility.sameOrMorePermissive(classVisibility)) {
JetTypeParameter typeParameter = typeParameterList.get(i);
trace.report(EXPOSED_TYPE_PARAMETER_BOUND.on(typeParameter, classVisibility, upperBoundVisibility));
break;
}
}
j++;
}
if (classDescriptor.getUnsubstitutedPrimaryConstructor() != null && klass.getPrimaryConstructor() != null) {
checkFunctionExposedType(klass.getPrimaryConstructor(), classDescriptor.getUnsubstitutedPrimaryConstructor());
}
}
private static void removeDuplicateTypes(Set<JetType> conflictingTypes) {