テキスト比較

2 つのテキストファイルの違いを見つける

ライブエディター

未変更行を折りたたむ

折り返しなし

レイアウト

比較精度

シンタックスハイライト

Diffchecker Desktop Diffcheckerを実行する最も安全な方法。Diffchecker Desktopアプリを入手：あなたの差分はコンピューターから出ることはありません！Desktopを入手

Cog diff

作成日昨年差分は期限切れになりません

1 削除

行
合計
削除

文字
合計
削除

この機能を引き続き使用するには、アップグレードしてください Diffchecker Pro 価格を見る

159 行

7 追加

行
合計
追加

文字
合計
追加

この機能を引き続き使用するには、アップグレードしてください Diffchecker Pro 価格を見る

159 行

import discord

import numpy as np

from discord.ext import commands, pages

import os

from discord_bot.utils.cr_functions import combine_cards, get_deck_strings, build_paginator_embeds

from discord_bot.utils import emoji_cache

from discord_bot.utils.embeds import not_in_database, database_error, error_embed

from discord_bot.utils.embeds import not_in_database

from discord_bot.utils.emoji_cache import MISC_EMOJIS

# https://guide.pycord.dev/popular-topics/cogs

class Player(commands.Cog):

class PlayerTest(commands.Cog):

def __init__(self, bot):

self.bot = bot

async def check_valid_playertag(self, playertag):

print(playertag, '#' + playertag.replace('#', '').strip().upper().replace('O', '0'))

playertag = '#' + playertag.replace('#', '').strip().upper().replace('O', '0')

playertag_exists = await self.bot.pool.fetchval(f"SELECT EXISTS "

f"(SELECT 1 FROM players WHERE playertag = $1)", playertag)

if not playertag_exists:

return False, not_in_database('playertag', playertag)

return True, playertag

player = discord.SlashCommandGroup('player', 'Player related commands.')

player2 = discord.SlashCommandGroup('player2', 'Player related commands.')

@discord.option('playertag', type=str)

@player.command(description='Show a basic overview for this playertag.')

@player2.command(description='Show a basic overview for this playertag.')

async def basic_info(self, ctx, playertag):

await ctx.defer()

is_valid, result = await self.check_valid_playertag(playertag) # Check if exists in db, else return non-existent

if not is_valid:

return await ctx.respond(embed=result)

playertag = result

query = """

SELECT

p.player_name,

COUNT(*) FILTER (WHERE TRUE) AS total,

COUNT(*) FILTER (WHERE match_result = 'win') AS wins,

COUNT(*) FILTER (WHERE match_result = 'loss') AS losses,

COUNT(*) FILTER (WHERE match_result = 'throw') AS throws,

COUNT(*) FILTER (WHERE match_result = 'tie') AS ties

FROM matches m

JOIN players p on m.playertag = p.playertag

WHERE m.playertag = $1

GROUP BY p.player_name

"""

row = await self.bot.pool.fetchrow(query, playertag)

total_matches = row["total"]

wins = row["wins"]

losses = row["losses"]

throws = row["throws"]

ties = row["ties"]

name = row["player_name"]

if wins + losses == 0:

win_rate = 0

else:

win_rate = (wins / (wins + losses)) * 100

embed = discord.Embed(

title=f'{name} ({playertag})',

color=discord.Color.dark_blue(),

)

embed.set_footer(text='Basic Overview')

embed.set_thumbnail(url=os.getenv('BOT_IMAGE'))

embed.add_field(name=f'__Matches__ {MISC_EMOJIS.get('clan_war_wins')}', value=f'{total_matches}')

embed.add_field(name=f'__Win Rate__ 📈', value=f'{win_rate:.2f}%', inline=True)

embed.add_field(name=f'__Wins__ {MISC_EMOJIS.get('win3crowns')}', value=wins, inline=True)

embed.add_field(name=f'__Losses__ {MISC_EMOJIS.get('lose3crowns')}', value=losses, inline=True)

embed.add_field(name=f'__Throws__', value=throws)

embed.add_field(name=f'__Ties__ {MISC_EMOJIS.get('blue_crown')}{MISC_EMOJIS.get('red_crown')}', value=ties)

await ctx.respond(embed=embed)

@player.command(description='Show the war decks for this playertag.')

@player2.command(description='Show the war decks for this playertag.')

@discord.option('playertag', type=str)

async def decks(self, ctx, playertag):

async def decks_fail(self, ctx, playertag):

await ctx.defer()

is_valid, result = await self.check_valid_playertag(playertag) # Check if exists in db, else return it didnt exist

if not is_valid:

return await ctx.respond(embed=result)

playertag = result

query = """

SELECT

m.playertag,

m.player_deck_id,

m.clan_league,

ds.cards,

ds.evolutions,

MAX(m.player_name) AS player_name, -- optional, latest name

COUNT(*) FILTER (WHERE m.match_result = 'win') AS wins,

COUNT(*) FILTER (WHERE m.match_result = 'loss') AS losses

FROM matches m

JOIN deck_signatures ds ON m.player_deck_id = ds.deck_id

WHERE m.playertag = $1

GROUP BY m.playertag, m.player_deck_id, m.clan_league, ds.cards, ds.evolutions

"""

rows = await self.bot.pool.fetch(query, playertag)

deck_rows3 = []

deck_rows4 = []

deck_rows5 = []

name = ''

for row in rows:

clan_league = int(np.clip(row.get('clan_league') // 1000, 0, 5))

if name == '':

name = row.get('player_name')

full_deck = combine_cards(row.get('evolutions'), row.get('cards'))

deck_data = {

'cards': full_deck,

'wins': row.get('wins'),

'losses': row.get('losses')

}

if clan_league == 5:

deck_rows5.append(deck_data)

elif clan_league == 4:

deck_rows4.append(deck_data)

else:

deck_rows3.append(deck_data)

for deck_list in [deck_rows3, deck_rows4, deck_rows5]:

deck_list.sort(key=lambda x: (-x.get('wins'), x.get('losses')))

try:

success3, pages3 = build_paginator_embeds(get_deck_strings(deck_rows3), name, playertag, '0-3')

success4, pages4 = build_paginator_embeds(get_deck_strings(deck_rows4), name, playertag, '4')

success5, pages5 = build_paginator_embeds(get_deck_strings(deck_rows5), name, playertag, '5')

except ValueError as e:

return await ctx.respond(embed=discord.Embed(description=str(e), color=discord.Color.red()))

page_groups = []

if success3:

page_groups.append(pages.PageGroup(pages=pages3, label='League 0-3'))

if success4:

page_groups.append(pages.PageGroup(pages=pages4, label='League 4'))

if success5:

page_groups.append(pages.PageGroup(pages=pages5, label='League 5', default=True))

if not page_groups:

return await ctx.respond(

embed=discord.Embed(

description="No decks available for any league.",

color=discord.Color.red()

)

paginator = pages.Paginator(

pages=page_groups,

show_menu=True, menu_placeholder=f'Select League',

show_disabled=False, show_indicator=True

)

await paginator.respond(ctx.interaction, ephemeral=False)

def setup(bot):

bot.add_cog(Player(bot))

bot.add_cog(PlayerTest(bot))

保存された差分

原文

ファイルを開く

import discord
import numpy as np
from discord.ext import commands, pages
import os
from discord_bot.utils.cr_functions import combine_cards, get_deck_strings, build_paginator_embeds
from discord_bot.utils import emoji_cache
from discord_bot.utils.embeds import not_in_database, database_error, error_embed
from discord_bot.utils.emoji_cache import MISC_EMOJIS

# https://guide.pycord.dev/popular-topics/cogs
class Player(commands.Cog):
    def __init__(self, bot):
        self.bot = bot

async def check_valid_playertag(self, playertag):
        print(playertag, '#' + playertag.replace('#', '').strip().upper().replace('O', '0'))
        playertag = '#' + playertag.replace('#', '').strip().upper().replace('O', '0')
        playertag_exists = await self.bot.pool.fetchval(f"SELECT EXISTS "
                                                        f"(SELECT 1 FROM players WHERE playertag = $1)", playertag)
        if not playertag_exists:
            return False, not_in_database('playertag', playertag)
        return True, playertag

player = discord.SlashCommandGroup('player', 'Player related commands.')

@discord.option('playertag', type=str)
    @player.command(description='Show a basic overview for this playertag.')
    async def basic_info(self, ctx, playertag):
        await ctx.defer()

is_valid, result = await self.check_valid_playertag(playertag) # Check if exists in db, else return non-existent
        if not is_valid:
            return await ctx.respond(embed=result)
        playertag = result

query = """
        SELECT
            p.player_name,
            COUNT(*) FILTER (WHERE TRUE) AS total,
            COUNT(*) FILTER (WHERE match_result = 'win') AS wins,
            COUNT(*) FILTER (WHERE match_result = 'loss') AS losses,
            COUNT(*) FILTER (WHERE match_result = 'throw') AS throws,
            COUNT(*) FILTER (WHERE match_result = 'tie') AS ties
        FROM matches m
        JOIN players p on m.playertag = p.playertag
        WHERE m.playertag = $1
        GROUP BY p.player_name
        """
        row = await self.bot.pool.fetchrow(query, playertag)

total_matches = row["total"]
        wins = row["wins"]
        losses = row["losses"]
        throws = row["throws"]
        ties = row["ties"]
        name = row["player_name"]
        if wins + losses == 0:
            win_rate = 0
        else:
            win_rate = (wins / (wins + losses)) * 100
        embed = discord.Embed(
            title=f'{name} ({playertag})',
            color=discord.Color.dark_blue(),
        )
        embed.set_footer(text='Basic Overview')
        embed.set_thumbnail(url=os.getenv('BOT_IMAGE'))

embed.add_field(name=f'__Matches__ {MISC_EMOJIS.get('clan_war_wins')}', value=f'{total_matches}')
        embed.add_field(name=f'__Win Rate__ 📈', value=f'{win_rate:.2f}%', inline=True)
        embed.add_field(name=f'__Wins__ {MISC_EMOJIS.get('win3crowns')}', value=wins, inline=True)
        embed.add_field(name=f'__Losses__ {MISC_EMOJIS.get('lose3crowns')}', value=losses, inline=True)
        embed.add_field(name=f'__Throws__', value=throws)
        embed.add_field(name=f'__Ties__ {MISC_EMOJIS.get('blue_crown')}{MISC_EMOJIS.get('red_crown')}', value=ties)
        await ctx.respond(embed=embed)

@player.command(description='Show the war decks for this playertag.')
    @discord.option('playertag', type=str)
    async def decks(self, ctx, playertag):
        await ctx.defer()
        is_valid, result = await self.check_valid_playertag(playertag) # Check if exists in db, else return it didnt exist
        if not is_valid:
            return await ctx.respond(embed=result)
        playertag = result

query = """
        SELECT
        m.playertag, 
        m.player_deck_id,
        m.clan_league, 
        ds.cards, 
        ds.evolutions,
        MAX(m.player_name) AS player_name, -- optional, latest name
        COUNT(*) FILTER (WHERE m.match_result = 'win') AS wins,
        COUNT(*) FILTER (WHERE m.match_result = 'loss') AS losses
        FROM matches m
        JOIN deck_signatures ds ON m.player_deck_id = ds.deck_id
        WHERE m.playertag = $1
        GROUP BY m.playertag, m.player_deck_id, m.clan_league, ds.cards, ds.evolutions        
        """
        rows = await self.bot.pool.fetch(query, playertag)
        deck_rows3 = []
        deck_rows4 = []
        deck_rows5 = []
        name = ''
        for row in rows:
            clan_league = int(np.clip(row.get('clan_league') // 1000, 0, 5))
            if name == '':
                name = row.get('player_name')
            full_deck = combine_cards(row.get('evolutions'), row.get('cards'))
            deck_data = {
                'cards': full_deck,
                'wins': row.get('wins'),
                'losses': row.get('losses')
            }
            if clan_league == 5:
                deck_rows5.append(deck_data)
            elif clan_league == 4:
                deck_rows4.append(deck_data)
            else:
                deck_rows3.append(deck_data)

for deck_list in [deck_rows3, deck_rows4, deck_rows5]:
            deck_list.sort(key=lambda x: (-x.get('wins'), x.get('losses')))

try:
            success3, pages3 = build_paginator_embeds(get_deck_strings(deck_rows3), name, playertag, '0-3')
            success4, pages4 = build_paginator_embeds(get_deck_strings(deck_rows4), name, playertag, '4')
            success5, pages5 = build_paginator_embeds(get_deck_strings(deck_rows5), name, playertag, '5')

except ValueError as e:
            return await ctx.respond(embed=discord.Embed(description=str(e), color=discord.Color.red()))

page_groups = []

if success3:
            page_groups.append(pages.PageGroup(pages=pages3, label='League 0-3'))
        if success4:
            page_groups.append(pages.PageGroup(pages=pages4, label='League 4'))
        if success5:
            page_groups.append(pages.PageGroup(pages=pages5, label='League 5', default=True))

if not page_groups:
            return await ctx.respond(
                embed=discord.Embed(
                    description="No decks available for any league.",
                    color=discord.Color.red()
                )
            )

paginator = pages.Paginator(
            pages=page_groups,
            show_menu=True, menu_placeholder=f'Select League',
            show_disabled=False, show_indicator=True
        )
        await paginator.respond(ctx.interaction, ephemeral=False)

def setup(bot):
    bot.add_cog(Player(bot))

変更されたテキスト

ファイルを開く

import discord
import numpy as np
from discord.ext import commands, pages
import os
from discord_bot.utils.cr_functions import combine_cards, get_deck_strings, build_paginator_embeds
from discord_bot.utils import emoji_cache
from discord_bot.utils.embeds import not_in_database
from discord_bot.utils.emoji_cache import MISC_EMOJIS

# https://guide.pycord.dev/popular-topics/cogs
class PlayerTest(commands.Cog):
    def __init__(self, bot):
        self.bot = bot

player2 = discord.SlashCommandGroup('player2', 'Player related commands.')

@discord.option('playertag', type=str)
    @player2.command(description='Show a basic overview for this playertag.')
    async def basic_info(self, ctx, playertag):
        await ctx.defer()

@player2.command(description='Show the war decks for this playertag.')
    @discord.option('playertag', type=str)
    async def decks_fail(self, ctx, playertag):
        await ctx.defer()
        is_valid, result = await self.check_valid_playertag(playertag) # Check if exists in db, else return it didnt exist
        if not is_valid:
            return await ctx.respond(embed=result)
        playertag = result

for deck_list in [deck_rows3, deck_rows4, deck_rows5]:
            deck_list.sort(key=lambda x: (-x.get('wins'), x.get('losses')))

except ValueError as e:
            return await ctx.respond(embed=discord.Embed(description=str(e), color=discord.Color.red()))

page_groups = []

def setup(bot):
    bot.add_cog(PlayerTest(bot))