Python PathId.strip_weak_namespaces Examples

Example #1

File: pathctx.py Project: kingsleytorlowei/edgedb

def path_is_banned(
        path_id: irast.PathId, *,
        ctx: context.ContextLevel) -> bool:

    s_path_id = path_id.strip_weak_namespaces()
    return s_path_id in ctx.banned_paths and ctx.path_scope.is_visible(path_id)

Example #2

File: pathctx.py Project: kingsleytorlowei/edgedb

def ban_path(
        path_id: irast.PathId, *,
        ctx: context.ContextLevel) -> None:

    ctx.banned_paths.add(path_id.strip_weak_namespaces())