Source code for mindspore.rewrite.api.scoped_value

# Copyright 2022 Huawei Technologies Co., Ltd
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
# ============================================================================
"""Rewrite module api: ValueType and ScopedValue."""
from __future__ import absolute_import
from enum import Enum
from typing import Optional, Union
from ..._checkparam import Validator


[docs]class ValueType(Enum): """ ValueType represents type of `ScopedValue`. - A `NamingValue` represents a reference to another variable. - A `CustomObjValue` represents an instance of custom class or an object whose type is out of range of base-type and container-type of ValueType. """ # base type StringValue = 0 IntValue = 1 FloatValue = 2 # container type TupleValue = 20 ListValue = 21 DictValue = 22 # other type NamingValue = 40 CustomObjValue = 41
[docs]class ScopedValue: """ `ScopedValue` represents a value with its full-scope. `ScopedValue` is used to express: a left-value such as target of an assign statement, or a callable object such as func of a call statement, or a right-value such as args and kwargs of an assign statement. Args: arg_type (ValueType): A `ValueType` represents type of current value. scope (str): A string represents scope of current value. Take "self.var1" as an example, `scope` of this var1 is "self". value: A handler represents value of current value. The type of value is corresponding to `arg_type`. """ def __init__(self, arg_type: ValueType, scope: str = "", value=None): Validator.check_value_type("arg_type", arg_type, [ValueType], "ScopedValue") Validator.check_value_type("scope", scope, [str], "ScopedValue") self.type = arg_type self.scope = scope self.value = value def __str__(self): if self.type in (ValueType.IntValue, ValueType.FloatValue, ValueType.StringValue): return str(self.value) if self.type == ValueType.NamingValue: return f"{self.scope}.{self.value}" if self.scope else str(self.value) if self.type == ValueType.CustomObjValue: return f"CustomObj: {str(self.value)}" return f"Illegal ValueType: {str(self.type)}" def __eq__(self, other): if id(self) == id(other): return True return self.type == other.type and self.scope == other.scope and self.value == other.value def __repr__(self): return str(self) def __hash__(self): return hash((self.type, self.scope, self.value))
[docs] @staticmethod def create_name_values(names: Union[list, tuple], scopes: Union[list, tuple] = None) -> ['ScopedValue']: """ Create a list of naming `ScopedValue`. Args: names: (list[str] or tuple[str]): List or tuple of `str` represents names of referenced variables. scopes: (list[str] or tuple[str]): List or tuple of `str` represents scopes of referenced variables. Returns: An list of instance of `ScopedValue`. Raises: RuntimeError: If the length of names is not equal to the length of scopes when scopes are not None. TypeError: If `names` is not `list` or `tuple` and name in `names` is not `str`. TypeError: If `scopes` is not `list` or `tuple` and scope in `scopes` is not `str`. """ Validator.check_element_type_of_iterable("names", names, [str], "ScopedValue") if scopes is not None: Validator.check_element_type_of_iterable("scopes", scopes, [str], "ScopedValue") if len(names) != len(scopes): raise RuntimeError("Length of names should be equal to length of scopes") result = [] for index, name in enumerate(names): if scopes is not None: scope = scopes[index] else: scope = "" result.append(ScopedValue.create_naming_value(name, scope)) return result
[docs] @classmethod def create_variable_value(cls, value) -> Optional['ScopedValue']: """ Create `ScopedValue` from a variable. `ScopedValue`'s type is determined by type of value. `ScopedValue`'s scope is empty. Args: value: The value to be converted to `ScopedValue`. Returns: An instance of `ScopedValue`. """ if isinstance(value, int): return cls(ValueType.IntValue, "", value) if isinstance(value, float): return cls(ValueType.FloatValue, "", value) if isinstance(value, str): return cls(ValueType.StringValue, "", value) if isinstance(value, tuple): return cls(ValueType.TupleValue, "", tuple(cls.create_variable_value(single_value) for single_value in value)) if isinstance(value, list): return cls(ValueType.ListValue, "", list(cls.create_variable_value(single_value) for single_value in value)) if isinstance(value, dict): for key, _ in value.items(): if not isinstance(key, str): raise TypeError("key should be str, got: ", type(key)) return cls(ValueType.DictValue, "", dict((key, cls.create_variable_value(single_value)) for key, single_value in value.items())) return cls(ValueType.CustomObjValue, "", value)
[docs] @classmethod def create_naming_value(cls, name: str, scope: str = "") -> 'ScopedValue': """ Create a naming `ScopedValue`. A `NamingValue` represents a reference to another variable. Args: name: (str): A string represents the identifier of another variable. scope: (str): A string represents the scope of another variable. Returns: An instance of `ScopedValue`. Raises: TypeError: If `name` is not `str`. TypeError: If `scope` is not `str`. """ Validator.check_value_type("name", name, [str], "ScopedValue") Validator.check_value_type("scope", scope, [str], "ScopedValue") return cls(ValueType.NamingValue, scope, name)