def query_player_permission(self, source: CommandSource,
                             player: Optional[str]):
     if player is None:
         level = source.get_permission_level()
         source.reply(
             self.tr('mcdr_command.query_player_permission.self',
                     PermissionLevel.from_value(level)))
     else:
         if not Validator.player_name(player):
             source.reply(self.tr('mcdr_command.invalid_player_name'))
             return
         else:
             level = self.mcdr_server.permission_manager.get_player_permission_level(
                 player, auto_add=False)
             if level is not None:
                 source.reply(
                     self.tr('mcdr_command.query_player_permission.player',
                             player, PermissionLevel.from_value(level)))
             else:
                 source.reply(
                     self.tr(
                         'mcdr_command.query_player_permission.player_unknown',
                         player))
 def query_self_permission(self, source: CommandSource):
     source.reply(
         self.tr('mcdr_command.query_player_permission.self',
                 PermissionLevel.from_value(source.get_permission_level())))