private void ProcessOptionToken(Options options, string token, bool stopAtNonOption)
{
if (stopAtNonOption && !options.HasOption(token)) {
eatTheRest = true;
}
if (options.HasOption(token)) {
currentOption = options.GetOption(token);
}
tokens.Add(token);
}