Python EmptySetの例

コード例 #1

def amend_empty_set_type(es: irast.EmptySet, t: s_types.Type,
                         env: context.Environment) -> None:
    env.set_types[es] = t
    alias = es.path_id.target_name_hint.name
    typename = s_name.Name(module='__derived__', name=alias)
    es.path_id = irast.PathId.from_type(env.schema,
                                        t,
                                        env=env,
                                        typename=typename)

コード例 #2

ファイル: types.py プロジェクト: schedutron/edgedb

def amend_empty_set_type(es: irast.EmptySet, t: s_obj.Object, env) -> None:
    env.set_types[es] = t
    alias = es.path_id.target_name_hint.name
    typename = s_name.Name(module='__derived__', name=alias)
    es.path_id = irast.PathId.from_type(env.schema, t, typename=typename)