|
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364 |
- using Discord.Commands;
- using System;
-
- namespace Discord
- {
- public partial class DiscordBotClient : DiscordClient
- {
- public class PermissionException : Exception { public PermissionException() : base("User does not have permission to run this command.") { } }
-
- public class CommandEventArgs
- {
- public Message Message { get; }
- public Command Command { get; }
- public string CommandText { get; }
- public int? Permissions { get; }
- public string[] Args { get; }
-
- public User User => Message.User;
- public string UserId => Message.UserId;
- public Channel Channel => Message.Channel;
- public string ChannelId => Message.ChannelId;
- public Server Server => Message.Channel.Server;
- public string ServerId => Message.Channel.ServerId;
-
- public CommandEventArgs(Message message, Command command, string commandText, int? permissions, string[] args)
- {
- Message = message;
- Command = command;
- CommandText = commandText;
- Permissions = permissions;
- Args = args;
- }
- }
- public class CommandErrorEventArgs : CommandEventArgs
- {
- public Exception Exception { get; }
-
- public CommandErrorEventArgs(CommandEventArgs baseArgs, Exception ex)
- : base(baseArgs.Message, baseArgs.Command, baseArgs.CommandText, baseArgs.Permissions, baseArgs.Args)
- {
- Exception = ex;
- }
- }
-
- public event EventHandler<CommandEventArgs> RanCommand;
- private void RaiseRanCommand(CommandEventArgs args)
- {
- if (RanCommand != null)
- RanCommand(this, args);
- }
- public event EventHandler<CommandEventArgs> UnknownCommand;
- private void RaiseUnknownCommand(CommandEventArgs args)
- {
- if (UnknownCommand != null)
- UnknownCommand(this, args);
- }
- public event EventHandler<CommandErrorEventArgs> CommandError;
- private void RaiseCommandError(CommandEventArgs args, Exception ex)
- {
- if (CommandError != null)
- CommandError(this, new CommandErrorEventArgs(args, ex));
- }
- }
- }
|