diff options
author | Dico <dico.karssiens@gmail.com> | 2018-09-27 07:03:02 +0100 |
---|---|---|
committer | Dico <dico.karssiens@gmail.com> | 2018-09-27 07:03:02 +0100 |
commit | 842e52bd92f0c67aa1906b899ce600ecb3b26bda (patch) | |
tree | f0e03e66ba0dfeb8d3aee58a09acd6889f5ee20e /src/main/kotlin/io/dico/parcels2/Privilege.kt | |
parent | 307b7aee4af34e47139259db7049a85c682b7be2 (diff) |
Fixes n tweaks
Diffstat (limited to 'src/main/kotlin/io/dico/parcels2/Privilege.kt')
-rw-r--r-- | src/main/kotlin/io/dico/parcels2/Privilege.kt | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/main/kotlin/io/dico/parcels2/Privilege.kt b/src/main/kotlin/io/dico/parcels2/Privilege.kt index bc16f77..7949dbc 100644 --- a/src/main/kotlin/io/dico/parcels2/Privilege.kt +++ b/src/main/kotlin/io/dico/parcels2/Privilege.kt @@ -66,7 +66,7 @@ interface RawPrivileges { open class PrivilegesHolder(override var privilegeMap: MutablePrivilegeMap = EmptyPrivilegeMap) : RawPrivileges { private var _privilegeOfStar: Privilege = DEFAULT - override var privilegeOfStar: Privilege + override /*open*/ var privilegeOfStar: Privilege get() = _privilegeOfStar set(value) = run { _privilegeOfStar = value } @@ -94,5 +94,10 @@ open class PrivilegesHolder(override var privilegeMap: MutablePrivilegeMap = Emp return if (privilege == DEFAULT) privilegeMap.remove(key) != null else privilegeMap.put(key, privilege) != privilege } + + fun copyPrivilegesFrom(other: PrivilegesHolder) { + privilegeMap = other.privilegeMap + privilegeOfStar = other.privilegeOfStar + } } |