ExitScript
(
[NotNull] CLIParser.ScriptContext Context
)
{
parsed_command_line.script_file = Context.GetText().Substring(1);
} // End ExitScript
/// <summary>
/// Exit a parse tree produced by <see cref="CLIParser.script"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitScript([NotNull] CLIParser.ScriptContext context)
{
}
