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

DeclarationsChecker: converted to Kt + EffectiveVisibility related refactoring

Browse Source
This commit is contained in:
Mikhail Glukhikh
2015-11-23 11:12:59 +03:00
parent fe2fb7e5a5
commit 6e733f708e
3 changed files with 570 additions and 709 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/kotlin/resolve/DeclarationsChecker.kt
+513 -651
View File
File diff suppressed because it is too large Load Diff
core/descriptors/src/org/jetbrains/kotlin/descriptors/EffectiveVisibility.kt
+60 -61
View File
@@ -19,6 +19,7 @@ package org.jetbrains.kotlin.descriptors
import org.jetbrains.kotlin.resolve.DescriptorUtils import org.jetbrains.kotlin.resolve.DescriptorUtils
import org.jetbrains.kotlin.types.KotlinType import org.jetbrains.kotlin.types.KotlinType
import org.jetbrains.kotlin.types.TypeConstructor import org.jetbrains.kotlin.types.TypeConstructor
import org.jetbrains.kotlin.descriptors.EffectiveVisibility.*
sealed class EffectiveVisibility(val name: String) { sealed class EffectiveVisibility(val name: String) {
@@ -169,86 +170,84 @@ sealed class EffectiveVisibility(val name: String) {
} }
} }
protected enum class Permissiveness { internal enum class Permissiveness {
LESS, LESS,
SAME, SAME,
MORE, MORE,
UNKNOWN UNKNOWN
} }
abstract protected fun relation(other: EffectiveVisibility): Permissiveness abstract internal fun relation(other: EffectiveVisibility): Permissiveness
fun sameOrMorePermissive(other: EffectiveVisibility) = when (relation(other)) { fun sameOrMorePermissive(other: EffectiveVisibility) = when (relation(other)) {
Permissiveness.SAME, Permissiveness.MORE -> true Permissiveness.SAME, Permissiveness.MORE -> true
Permissiveness.LESS, Permissiveness.UNKNOWN -> false Permissiveness.LESS, Permissiveness.UNKNOWN -> false
} }
open protected fun lowerBound(other: EffectiveVisibility) = when (relation(other)) { open internal fun lowerBound(other: EffectiveVisibility) = when (relation(other)) {
Permissiveness.SAME, Permissiveness.LESS -> this Permissiveness.SAME, Permissiveness.LESS -> this
Permissiveness.MORE -> other Permissiveness.MORE -> other
Permissiveness.UNKNOWN -> Private Permissiveness.UNKNOWN -> Private
} }
}
companion object { internal fun containerRelation(first: ClassDescriptor?, second: ClassDescriptor?): Permissiveness =
if (first == null || second == null) {
internal fun containerRelation(first: ClassDescriptor?, second: ClassDescriptor?): Permissiveness = Permissiveness.UNKNOWN
if (first == null || second == null) { }
Permissiveness.UNKNOWN else if (first == second) {
} Permissiveness.SAME
else if (first == second) { }
Permissiveness.SAME else if (DescriptorUtils.isSubclass(first, second)) {
} Permissiveness.LESS
else if (DescriptorUtils.isSubclass(first, second)) { }
Permissiveness.LESS else if (DescriptorUtils.isSubclass(second, first)) {
} Permissiveness.MORE
else if (DescriptorUtils.isSubclass(second, first)) { }
Permissiveness.MORE else {
} Permissiveness.UNKNOWN
else {
Permissiveness.UNKNOWN
}
private fun lowerBound(first: EffectiveVisibility, second: EffectiveVisibility) =
first.lowerBound(second)
private fun lowerBound(first: EffectiveVisibility, args: List<EffectiveVisibility>) =
args.fold(first, { x, y -> x.lowerBound(y) })
private fun Visibility.forVisibility(descriptor: ClassDescriptor? = null): EffectiveVisibility = when (this) {
Visibilities.PRIVATE, Visibilities.PRIVATE_TO_THIS -> Private
Visibilities.PROTECTED -> Protected(descriptor)
Visibilities.INTERNAL -> Internal
Visibilities.PUBLIC -> Public
Visibilities.LOCAL -> Local
else -> this.effectiveVisibility(descriptor)
} }
fun effectiveVisibility(visibility: Visibility, descriptor: ClassDescriptor?) = visibility.forVisibility(descriptor) private fun lowerBound(first: EffectiveVisibility, second: EffectiveVisibility) =
first.lowerBound(second)
private fun ClassifierDescriptor.forClassifier(): EffectiveVisibility = private fun lowerBound(first: EffectiveVisibility, args: List<EffectiveVisibility>) =
lowerBound(if (this is ClassDescriptor) this.forClass() else Public, args.fold(first, { x, y -> x.lowerBound(y) })
(this.containingDeclaration as? ClassifierDescriptor)?.forClassifier() ?: Public)
fun ClassDescriptor.forClass() = forClass(emptySet()) private fun Visibility.forVisibility(descriptor: ClassDescriptor? = null): EffectiveVisibility = when (this) {
Visibilities.PRIVATE, Visibilities.PRIVATE_TO_THIS -> Private
private fun ClassDescriptor.forClass(classes: Set<ClassDescriptor>): EffectiveVisibility = Visibilities.PROTECTED -> Protected(descriptor)
if (this in classes) Public Visibilities.INTERNAL -> Internal
else with(this.containingDeclaration as? ClassDescriptor) { Visibilities.PUBLIC -> Public
lowerBound(visibility.forVisibility(this), this?.forClass(classes + this@forClass) ?: Public) Visibilities.LOCAL -> Local
} else -> this.effectiveVisibility(descriptor)
fun KotlinType.forType() = forType(emptySet())
private fun KotlinType.forType(types: Set<KotlinType>): EffectiveVisibility =
if (this in types) Public
else lowerBound(constructor.forTypeConstructor(),
arguments.map { it.type.forType(types + this) } )
private fun TypeConstructor.forTypeConstructor() =
this.declarationDescriptor?.forClassifier() ?: Public
fun MemberDescriptor.forMember() =
lowerBound(visibility.forVisibility(this.containingDeclaration as? ClassDescriptor),
(this.containingDeclaration as? ClassDescriptor)?.forClass() ?: Public)
}
} }
fun effectiveVisibility(visibility: Visibility, descriptor: ClassDescriptor?) = visibility.forVisibility(descriptor)
private fun ClassifierDescriptor.effectiveVisibility(): EffectiveVisibility =
lowerBound(if (this is ClassDescriptor) this.effectiveVisibility() else Public,
(this.containingDeclaration as? ClassifierDescriptor)?.effectiveVisibility() ?: Public)
fun ClassDescriptor.effectiveVisibility() = effectiveVisibility(emptySet())
private fun ClassDescriptor.effectiveVisibility(classes: Set<ClassDescriptor>): EffectiveVisibility =
if (this in classes) Public
else with(this.containingDeclaration as? ClassDescriptor) {
lowerBound(visibility.effectiveVisibility(this), this?.effectiveVisibility(classes + this@effectiveVisibility) ?: Public)
}
fun KotlinType.effectiveVisibility() = effectiveVisibility(emptySet())
private fun KotlinType.effectiveVisibility(types: Set<KotlinType>): EffectiveVisibility =
if (this in types) Public
else lowerBound(constructor.effectiveVisibility(),
arguments.map { it.type.effectiveVisibility(types + this) })
private fun TypeConstructor.effectiveVisibility() =
this.declarationDescriptor?.effectiveVisibility() ?: Public
fun MemberDescriptor.effectiveVisibility() =
lowerBound(visibility.effectiveVisibility(this.containingDeclaration as? ClassDescriptor),
(this.containingDeclaration as? ClassDescriptor)?.effectiveVisibility() ?: Public)
core/descriptors/src/org/jetbrains/kotlin/descriptors/Visibility.kt
+1 -1
View File
@@ -51,5 +51,5 @@ public abstract class Visibility protected constructor(
public open fun normalize(): Visibility = this public open fun normalize(): Visibility = this
// Should be overloaded in Java visibilities // Should be overloaded in Java visibilities
public open fun effectiveVisibility(descriptor: ClassDescriptor?) = EffectiveVisibility.effectiveVisibility(normalize(), descriptor) public open fun effectiveVisibility(descriptor: ClassDescriptor?) = effectiveVisibility(normalize(), descriptor)
} }