opensource/galaxy
3
0
Fork 0
mirror of https://github.com/galaxyproject/galaxy.git synced 2026-09-24 16:30:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add type annotations to controller

Browse Source
This commit is contained in:
davelopez
2021-02-19 13:00:14 +01:00
parent 6d5ab7a1ae
commit a1c2a77ef3
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/galaxy/webapps/galaxy/api/group_roles.py
+6 -4
View File
@@ -3,7 +3,9 @@ API operations on Group objects.
"""
import logging
from galaxy.managers.context import ProvidesAppContext
from galaxy.managers.group_roles import GroupRolesManager
from galaxy.schema.fields import EncodedDatabaseIdField
from galaxy.web import (
expose_api,
require_admin,
@@ -21,7 +23,7 @@ class GroupRolesAPIController(BaseAPIController):
@require_admin
@expose_api
def index(self, trans, group_id, **kwd):
def index(self, trans: ProvidesAppContext, group_id: EncodedDatabaseIdField, **kwd):
"""
GET /api/groups/{encoded_group_id}/roles
Displays a collection (list) of groups.
@@ -30,7 +32,7 @@ class GroupRolesAPIController(BaseAPIController):
@require_admin
@expose_api
def show(self, trans, id, group_id, **kwd):
def show(self, trans: ProvidesAppContext, id: EncodedDatabaseIdField, group_id: EncodedDatabaseIdField, **kwd):
"""
GET /api/groups/{encoded_group_id}/roles/{encoded_role_id}
Displays information about a group role.
@@ -39,7 +41,7 @@ class GroupRolesAPIController(BaseAPIController):
@require_admin
@expose_api
def update(self, trans, id, group_id, **kwd):
def update(self, trans: ProvidesAppContext, id: EncodedDatabaseIdField, group_id: EncodedDatabaseIdField, **kwd):
"""
PUT /api/groups/{encoded_group_id}/roles/{encoded_role_id}
Adds a role to a group
@@ -48,7 +50,7 @@ class GroupRolesAPIController(BaseAPIController):
@require_admin
@expose_api
def delete(self, trans, id, group_id, **kwd):
def delete(self, trans: ProvidesAppContext, id: EncodedDatabaseIdField, group_id: EncodedDatabaseIdField, **kwd):
"""
DELETE /api/groups/{encoded_group_id}/roles/{encoded_role_id}
Removes a role from a group