public override void EnterBotToDest(BotsScriptParser.BotToDestContext context)
{
var botId = context.bot().id.Text;
var destLower = ParseDest(context.dest(0));
var destHigher = ParseDest(context.dest(1));
var bot = _playground.GetBot(int.Parse(botId));
_botsTasks.Add(new BotToDistsTask(bot, destLower, destHigher));
}
/// <summary>
/// Exit a parse tree produced by <see cref="BotsScriptParser.botToDest"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitBotToDest([NotNull] BotsScriptParser.BotToDestContext context)
{
}
