xref: /aosp_15_r20/art/tools/checker/common/immutables.py (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard Worker# Copyright (C) 2015 The Android Open Source Project
2*795d594fSAndroid Build Coastguard Worker#
3*795d594fSAndroid Build Coastguard Worker# Licensed under the Apache License, Version 2.0 (the "License");
4*795d594fSAndroid Build Coastguard Worker# you may not use this file except in compliance with the License.
5*795d594fSAndroid Build Coastguard Worker# You may obtain a copy of the License at
6*795d594fSAndroid Build Coastguard Worker#
7*795d594fSAndroid Build Coastguard Worker#   http://www.apache.org/licenses/LICENSE-2.0
8*795d594fSAndroid Build Coastguard Worker#
9*795d594fSAndroid Build Coastguard Worker# Unless required by applicable law or agreed to in writing, software
10*795d594fSAndroid Build Coastguard Worker# distributed under the License is distributed on an "AS IS" BASIS,
11*795d594fSAndroid Build Coastguard Worker# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12*795d594fSAndroid Build Coastguard Worker# See the License for the specific language governing permissions and
13*795d594fSAndroid Build Coastguard Worker# limitations under the License.
14*795d594fSAndroid Build Coastguard Worker
15*795d594fSAndroid Build Coastguard Worker
16*795d594fSAndroid Build Coastguard Workerclass ImmutableDict(dict):
17*795d594fSAndroid Build Coastguard Worker  def __setitem__(self, key, value):
18*795d594fSAndroid Build Coastguard Worker    raise RuntimeError("Cannot modify ImmutableDict")
19*795d594fSAndroid Build Coastguard Worker
20*795d594fSAndroid Build Coastguard Worker  def __delitem__(self, key):
21*795d594fSAndroid Build Coastguard Worker    raise RuntimeError("Cannot modify ImmutableDict")
22*795d594fSAndroid Build Coastguard Worker
23*795d594fSAndroid Build Coastguard Worker  def copy_with(self, key, value):
24*795d594fSAndroid Build Coastguard Worker    new_dict = ImmutableDict(self)
25*795d594fSAndroid Build Coastguard Worker    dict.__setitem__(new_dict, key, value)
26*795d594fSAndroid Build Coastguard Worker    return new_dict
27