2022-12-06 15:50:17 +08:00
|
|
|
|
using Brigadier.NET;
|
|
|
|
|
|
using Brigadier.NET.Builder;
|
|
|
|
|
|
using MinecraftClient.CommandHandler;
|
2014-06-18 13:32:17 +02:00
|
|
|
|
|
|
|
|
|
|
namespace MinecraftClient.Commands
|
|
|
|
|
|
{
|
|
|
|
|
|
public class Exit : Command
|
|
|
|
|
|
{
|
2020-10-17 19:41:31 +08:00
|
|
|
|
public override string CmdName { get { return "exit"; } }
|
|
|
|
|
|
public override string CmdUsage { get { return "exit"; } }
|
2022-10-28 11:13:20 +08:00
|
|
|
|
public override string CmdDesc { get { return Translations.cmd_exit_desc; } }
|
2020-03-27 21:14:05 +01:00
|
|
|
|
|
2022-12-11 16:30:45 +08:00
|
|
|
|
public override void RegisterCommand(CommandDispatcher<CmdResult> dispatcher)
|
2022-10-26 08:54:54 +08:00
|
|
|
|
{
|
2022-12-06 15:50:17 +08:00
|
|
|
|
dispatcher.Register(l => l.Literal("help")
|
|
|
|
|
|
.Then(l => l.Literal(CmdName)
|
|
|
|
|
|
.Executes(r => GetUsage(r.Source, string.Empty))
|
|
|
|
|
|
)
|
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
|
|
var exit = dispatcher.Register(l => l.Literal(CmdName)
|
|
|
|
|
|
.Executes(r => DoExit(r.Source, 0))
|
|
|
|
|
|
.Then(l => l.Argument("ExitCode", Arguments.Integer())
|
|
|
|
|
|
.Executes(r => DoExit(r.Source, Arguments.GetInteger(r, "ExitCode"))))
|
|
|
|
|
|
.Then(l => l.Literal("_help")
|
2022-12-11 17:31:37 +08:00
|
|
|
|
.Executes(r => GetUsage(r.Source, string.Empty))
|
2022-12-06 15:50:17 +08:00
|
|
|
|
.Redirect(dispatcher.GetRoot().GetChild("help").GetChild(CmdName)))
|
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
|
|
dispatcher.Register(l => l.Literal("quit")
|
|
|
|
|
|
.Executes(r => DoExit(r.Source, 0))
|
|
|
|
|
|
.Redirect(exit)
|
|
|
|
|
|
);
|
2022-10-26 08:54:54 +08:00
|
|
|
|
}
|
|
|
|
|
|
|
2022-12-06 15:50:17 +08:00
|
|
|
|
private int GetUsage(CmdResult r, string? cmd)
|
2014-06-18 13:32:17 +02:00
|
|
|
|
{
|
2022-12-06 15:50:17 +08:00
|
|
|
|
return r.SetAndReturn(cmd switch
|
|
|
|
|
|
{
|
|
|
|
|
|
#pragma warning disable format // @formatter:off
|
|
|
|
|
|
_ => GetCmdDescTranslated(),
|
|
|
|
|
|
#pragma warning restore format // @formatter:on
|
|
|
|
|
|
});
|
2014-06-18 13:32:17 +02:00
|
|
|
|
}
|
|
|
|
|
|
|
2022-12-06 15:50:17 +08:00
|
|
|
|
private int DoExit(CmdResult r, int code = 0)
|
2014-06-18 13:32:17 +02:00
|
|
|
|
{
|
2022-12-06 15:50:17 +08:00
|
|
|
|
Program.Exit(code);
|
|
|
|
|
|
return r.SetAndReturn(CmdResult.Status.Done);
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
internal static string DoExit(string command)
|
|
|
|
|
|
{
|
|
|
|
|
|
Program.Exit();
|
|
|
|
|
|
return string.Empty;
|
2014-06-18 13:32:17 +02:00
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|