2019-10-05 05:41:00 +00:00
|
|
|
using System;
|
|
|
|
using System.Collections.Generic;
|
|
|
|
|
2020-02-12 14:16:19 +00:00
|
|
|
namespace PluralKit.Bot
|
2019-10-05 05:41:00 +00:00
|
|
|
{
|
|
|
|
public class Parameters
|
|
|
|
{
|
|
|
|
private static readonly Dictionary<char, char> _quotePairs = new Dictionary<char, char>()
|
|
|
|
{
|
2019-10-28 19:17:20 +00:00
|
|
|
{'\'', '\''}, {'"', '"'}, {'“', '”'}
|
2019-10-05 05:41:00 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
private readonly string _cmd;
|
|
|
|
private int _ptr;
|
2020-02-06 16:47:37 +00:00
|
|
|
private ISet<string> _flags = null; // Only parsed when requested first time
|
|
|
|
|
|
|
|
private struct WordPosition
|
|
|
|
{
|
|
|
|
// Start of the word
|
|
|
|
internal int startPos;
|
|
|
|
|
|
|
|
// End of the word
|
|
|
|
internal int endPos;
|
|
|
|
|
|
|
|
// How much to advance word pointer afterwards to point at the start of the *next* word
|
|
|
|
internal int advanceAfterWord;
|
|
|
|
|
|
|
|
internal bool wasQuoted;
|
|
|
|
|
|
|
|
public WordPosition(int startPos, int endPos, int advanceAfterWord, bool wasQuoted)
|
|
|
|
{
|
|
|
|
this.startPos = startPos;
|
|
|
|
this.endPos = endPos;
|
|
|
|
this.advanceAfterWord = advanceAfterWord;
|
|
|
|
this.wasQuoted = wasQuoted;
|
|
|
|
}
|
|
|
|
}
|
2019-10-05 05:41:00 +00:00
|
|
|
|
|
|
|
public Parameters(string cmd)
|
|
|
|
{
|
2020-01-03 12:30:50 +00:00
|
|
|
// This is a SUPER dirty hack to avoid having to match both spaces and newlines in the word detection below
|
|
|
|
// Instead, we just add a space before every newline (which then gets stripped out later).
|
|
|
|
_cmd = cmd.Replace("\n", " \n");
|
2019-10-05 05:41:00 +00:00
|
|
|
_ptr = 0;
|
|
|
|
}
|
|
|
|
|
2020-02-06 16:47:37 +00:00
|
|
|
private void ParseFlags()
|
|
|
|
{
|
|
|
|
_flags = new HashSet<string>();
|
|
|
|
|
|
|
|
var ptr = 0;
|
|
|
|
while (NextWordPosition(ptr) is { } wp)
|
|
|
|
{
|
|
|
|
ptr = wp.endPos + wp.advanceAfterWord;
|
|
|
|
|
|
|
|
// Is this word a *flag* (as in, starts with a - AND is not quoted)
|
|
|
|
if (_cmd[wp.startPos] != '-' || wp.wasQuoted) continue; // (if not, carry on w/ next word)
|
|
|
|
|
|
|
|
// Find the *end* of the flag start (technically allowing arbitrary amounts of dashes)
|
|
|
|
var flagNameStart = wp.startPos;
|
|
|
|
while (flagNameStart < _cmd.Length && _cmd[flagNameStart] == '-')
|
|
|
|
flagNameStart++;
|
|
|
|
|
|
|
|
// Then add the word to the flag set
|
|
|
|
var word = _cmd.Substring(flagNameStart, wp.endPos - flagNameStart).Trim();
|
|
|
|
if (word.Length > 0)
|
|
|
|
_flags.Add(word.ToLowerInvariant());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-10-05 05:41:00 +00:00
|
|
|
public string Pop()
|
|
|
|
{
|
2020-02-06 16:47:37 +00:00
|
|
|
// Loop to ignore and skip past flags
|
|
|
|
while (NextWordPosition(_ptr) is { } pos)
|
|
|
|
{
|
|
|
|
_ptr = pos.endPos + pos.advanceAfterWord;
|
|
|
|
if (_cmd[pos.startPos] == '-' && !pos.wasQuoted) continue;
|
|
|
|
return _cmd.Substring(pos.startPos, pos.endPos - pos.startPos).Trim();
|
|
|
|
}
|
2019-10-05 05:41:00 +00:00
|
|
|
|
2020-02-06 16:47:37 +00:00
|
|
|
return "";
|
2019-10-05 05:41:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
public string Peek()
|
|
|
|
{
|
2020-02-06 16:47:37 +00:00
|
|
|
// Loop to ignore and skip past flags, temp ptr so we don't move the real ptr
|
|
|
|
var ptr = _ptr;
|
|
|
|
while (NextWordPosition(ptr) is { } pos)
|
|
|
|
{
|
|
|
|
ptr = pos.endPos + pos.advanceAfterWord;
|
|
|
|
if (_cmd[pos.startPos] == '-' && !pos.wasQuoted) continue;
|
|
|
|
return _cmd.Substring(pos.startPos, pos.endPos - pos.startPos).Trim();
|
|
|
|
}
|
|
|
|
|
|
|
|
return "";
|
|
|
|
}
|
2019-10-05 05:41:00 +00:00
|
|
|
|
2020-02-06 16:47:37 +00:00
|
|
|
public ISet<string> Flags()
|
|
|
|
{
|
|
|
|
if (_flags == null) ParseFlags();
|
|
|
|
return _flags;
|
2019-10-05 05:41:00 +00:00
|
|
|
}
|
|
|
|
|
2020-02-20 22:53:05 +00:00
|
|
|
public string Remainder(bool skipFlags = true)
|
2020-02-06 16:47:37 +00:00
|
|
|
{
|
2020-02-20 22:53:05 +00:00
|
|
|
if (skipFlags)
|
2020-02-06 16:47:37 +00:00
|
|
|
{
|
2020-02-20 22:53:05 +00:00
|
|
|
// Skip all *leading* flags when taking the remainder
|
|
|
|
while (NextWordPosition(_ptr) is {} wp)
|
|
|
|
{
|
|
|
|
if (_cmd[wp.startPos] != '-' || wp.wasQuoted) break;
|
|
|
|
_ptr = wp.endPos + wp.advanceAfterWord;
|
|
|
|
}
|
2020-02-06 16:47:37 +00:00
|
|
|
}
|
2020-02-20 22:53:05 +00:00
|
|
|
|
2020-02-06 16:47:37 +00:00
|
|
|
// *Then* get the remainder
|
|
|
|
return _cmd.Substring(Math.Min(_ptr, _cmd.Length)).Trim();
|
|
|
|
}
|
|
|
|
|
2019-10-05 05:41:00 +00:00
|
|
|
public string FullCommand => _cmd;
|
|
|
|
|
2020-02-06 16:47:37 +00:00
|
|
|
private WordPosition? NextWordPosition(int position)
|
2019-10-05 05:41:00 +00:00
|
|
|
{
|
|
|
|
// Is this the end of the string?
|
2020-02-06 16:47:37 +00:00
|
|
|
if (_cmd.Length <= position) return null;
|
2019-10-05 05:41:00 +00:00
|
|
|
|
|
|
|
// Is this a quoted word?
|
2020-02-06 16:47:37 +00:00
|
|
|
if (_quotePairs.ContainsKey(_cmd[position]))
|
2019-10-05 05:41:00 +00:00
|
|
|
{
|
|
|
|
// This is a quoted word, find corresponding end quote and return span
|
2020-02-06 16:47:37 +00:00
|
|
|
var endQuote = _quotePairs[_cmd[position]];
|
|
|
|
var endQuotePosition = _cmd.IndexOf(endQuote, position + 1);
|
|
|
|
|
2019-10-05 05:41:00 +00:00
|
|
|
// Position after the end quote should be a space (or EOL)
|
|
|
|
// Otherwise treat it as a standard word that's not quoted
|
|
|
|
if (_cmd.Length == endQuotePosition + 1 || _cmd[endQuotePosition + 1] == ' ')
|
|
|
|
{
|
|
|
|
if (endQuotePosition == -1)
|
|
|
|
{
|
|
|
|
// This is an unterminated quoted word, just return the entire word including the start quote
|
|
|
|
// TODO: should we do something else here?
|
2020-02-06 16:47:37 +00:00
|
|
|
return new WordPosition(position, _cmd.Length, 0, false);
|
2019-10-05 05:41:00 +00:00
|
|
|
}
|
|
|
|
|
2020-02-06 16:47:37 +00:00
|
|
|
return new WordPosition(position + 1, endQuotePosition, 2, true);
|
2019-10-05 05:41:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-06 16:47:37 +00:00
|
|
|
// Not a quoted word, just find the next space and return if it's the end of the command
|
|
|
|
var wordEnd = _cmd.IndexOf(' ', position + 1);
|
|
|
|
|
|
|
|
return wordEnd == -1
|
|
|
|
? new WordPosition(position, _cmd.Length, 0, false)
|
|
|
|
: new WordPosition(position, wordEnd, 1, false);
|
2019-10-05 05:41:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|