web2py inverse to accessible_query: given a record id, table name and permission returns a query of the users with access

dummy_mod.py

def accessible_to(db, name, table, record_id=0):
    """accessible_query inverse
    
    parameters:
        db: DAL instance
        name: permission name
        table: table name or table object
        record_id: record id

    retorna: Query
    """

    if isinstance(table, str) and table in db.tables():
        table = db[table]

    parte1 = (db.auth_permission.name == name)
    parte1 &= (db.auth_permission.table_name == table)
    if record_id != 0:
        parte1 &= (
            (db.auth_permission.record_id == record_id) |
            (db.auth_permission.record_id == 0))
    else:
        # solo a la tabla en general
        parte1 &= (db.auth_permission.record_id == 0)

    parte2 = (db.auth_user.id == db.auth_membership.user_id)
    parte2 &= (db.auth_membership.group_id == db.auth_group.id)
    parte2 &= (db.auth_group.id == db.auth_permission.group_id)
    sub = db(parte1 & parte2)._select(db.auth_user.id, distinct=True)

    return db.auth_user.id.belongs(sub)