summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxime Coste <mawww@kakoune.org>2021-07-09 17:03:22 +1000
committerMaxime Coste <mawww@kakoune.org>2021-07-09 17:03:22 +1000
commit2289f350df1b957f0fbd60ecc941a87d4d7b4b44 (patch)
tree9149c61331087d746bfbc97bda63203cd85ab837
parent86c5e8f75bbc4e7b6c805ade50dbcd8cf3a5672a (diff)
Remove command parsing Reader and just track a ParserState
The Reader abstraction was leading to suboptimal code by encouraging decoding utf8 separately from advancing to next codepoint.
-rw-r--r--src/command_manager.cc240
-rw-r--r--src/command_manager.hh21
2 files changed, 108 insertions, 153 deletions
diff --git a/src/command_manager.cc b/src/command_manager.cc
index 156ab0ab..0a7ecaad 100644
--- a/src/command_manager.cc
+++ b/src/command_manager.cc
@@ -87,31 +87,6 @@ struct parse_error : runtime_error
: runtime_error{format("parse error: {}", error)} {}
};
-Codepoint Reader::operator*() const
-{
- kak_assert(pos < str.end());
- return utf8::codepoint(pos, str.end());
-}
-
-Codepoint Reader::peek_next() const
-{
- return utf8::codepoint(utf8::next(pos, str.end()), str.end());
-}
-
-Reader& Reader::operator++()
-{
- kak_assert(pos < str.end());
- utf8::to_next(pos, str.end());
- return *this;
-}
-
-Reader& Reader::next_byte()
-{
- kak_assert(pos < str.end());
- ++pos;
- return *this;
-}
-
namespace
{
@@ -120,84 +95,86 @@ bool is_command_separator(Codepoint c)
return c == ';' or c == '\n';
}
-struct QuotedResult
+struct ParseResult
{
String content;
bool terminated;
};
-QuotedResult parse_quoted(Reader& reader, Codepoint delimiter)
+ParseResult parse_quoted(ParseState& state, Codepoint delimiter)
{
- auto beg = reader.pos;
+ const char* beg = state.pos;
+ const char* end = state.str.end();
String str;
- while (reader)
+ while (state.pos != end)
{
- const Codepoint c = *reader;
+ const char* cur = state.pos;
+ const Codepoint c = utf8::read_codepoint(state.pos, end);
if (c == delimiter)
{
- if (reader.peek_next() != delimiter)
+ auto next = state.pos;
+ if (utf8::read_codepoint(next, end) != delimiter)
{
- str += reader.substr_from(beg);
- ++reader;
+ if (str.empty())
+ return {String{String::NoCopy{}, {beg, cur}}, true};
+
+ str += StringView{beg, cur};
return {str, true};
}
- str += (++reader).substr_from(beg);
- beg = reader.pos+1;
+ str += StringView{beg, state.pos};
+ state.pos = beg = next;
}
- ++reader;
}
- if (beg < reader.str.end())
- str += reader.substr_from(beg);
+ if (beg < end)
+ str += StringView{beg, end};
return {str, false};
}
-QuotedResult parse_quoted_balanced(Reader& reader, char opening_delimiter,
- char closing_delimiter)
+ParseResult parse_quoted_balanced(ParseState& state, char opening_delimiter, char closing_delimiter)
{
- kak_assert(utf8::codepoint(utf8::previous(reader.pos, reader.str.begin()),
- reader.str.end()) == opening_delimiter);
- int level = 0;
- auto start = reader.pos;
- while (reader)
+ int level = 1;
+ const char* pos = state.pos;
+ const char* beg = pos;
+ const char* end = state.str.end();
+ while (pos != end)
{
- const char c = *reader.pos;
+ const char c = *pos++;
if (c == opening_delimiter)
++level;
- else if (c == closing_delimiter and level-- == 0)
- {
- auto content = reader.substr_from(start);
- reader.next_byte();
- return {String{String::NoCopy{}, content}, true};
- }
- reader.next_byte();
+ else if (c == closing_delimiter and --level == 0)
+ break;
}
- return {String{String::NoCopy{}, reader.substr_from(start)}, false};
+ state.pos = pos;
+ const bool terminated = (level == 0);
+ return {String{String::NoCopy{}, {beg, pos - terminated}}, terminated};
}
-String parse_unquoted(Reader& reader)
+String parse_unquoted(ParseState& state)
{
- auto beg = reader.pos;
+ const char* beg = state.pos;
+ const char* end = state.str.end();
+
String str;
- while (reader)
+ while (state.pos != end)
{
- const char c = *reader.pos;
+ const char c = *state.pos;
if (is_command_separator(c) or is_horizontal_blank(c))
{
- str += reader.substr_from(beg);
- if (reader.pos != reader.str.begin() and *(reader.pos - 1) == '\\')
+ str += StringView{beg, state.pos};
+ if (state.pos != beg and *(state.pos - 1) == '\\')
{
str.back() = c;
- beg = reader.pos+1;
+ beg = state.pos+1;
}
else
return str;
}
- reader.next_byte();
+ ++state.pos;
}
- if (beg < reader.str.end())
- str += reader.substr_from(beg);
+ if (beg < end)
+ str += StringView{beg, end};
return str;
}
@@ -223,20 +200,20 @@ Token::Type token_type(StringView type_name, bool throw_on_invalid)
return Token::Type::RawQuoted;
}
-void skip_blanks_and_comments(Reader& reader)
+void skip_blanks_and_comments(ParseState& state)
{
- while (reader)
+ while (state)
{
- const Codepoint c = *reader.pos;
+ const Codepoint c = *state.pos;
if (is_horizontal_blank(c))
- reader.next_byte();
- else if (c == '\\' and reader.pos + 1 != reader.str.end() and
- *(reader.pos + 1) == '\n')
- reader.next_byte().next_byte();
+ ++state.pos;
+ else if (c == '\\' and state.pos + 1 != state.str.end() and
+ state.pos[1] == '\n')
+ state.pos += 2;
else if (c == '#')
{
- while (reader and *reader != '\n')
- reader.next_byte();
+ while (state and *state.pos != '\n')
+ ++state.pos;
}
else
break;
@@ -259,17 +236,16 @@ BufferCoord compute_coord(StringView s)
return coord;
}
-Token parse_percent_token(Reader& reader, bool throw_on_unterminated)
+Token parse_percent_token(ParseState& state, bool throw_on_unterminated)
{
- kak_assert(*reader == '%');
- ++reader;
+ kak_assert(state.pos[-1] == '%');
+ const auto type_start = state.pos;
+ while (state and *state.pos >= 'a' and *state.pos <= 'z')
+ ++state.pos;
+ StringView type_name{type_start, state.pos};
- const auto type_start = reader.pos;
- while (reader and iswalpha(*reader))
- ++reader;
- StringView type_name = reader.substr_from(type_start);
-
- if (not reader or is_blank(*reader))
+ const Codepoint opening_delimiter = utf8::read_codepoint(state.pos, state.str.end());
+ if (not state or iswalpha(opening_delimiter))
{
if (throw_on_unterminated)
throw parse_error{format("expected a string delimiter after '%{}'",
@@ -279,45 +255,41 @@ Token parse_percent_token(Reader& reader, bool throw_on_unterminated)
Token::Type type = token_type(type_name, throw_on_unterminated);
- constexpr struct CharPair { Codepoint opening; Codepoint closing; } matching_pairs[] = {
+ constexpr struct CharPair { char opening; char closing; } matching_pairs[] = {
{ '(', ')' }, { '[', ']' }, { '{', '}' }, { '<', '>' }
};
- const Codepoint opening_delimiter = *reader;
- ++reader;
- auto start = reader.pos;
-
- auto it = find_if(matching_pairs, [opening_delimiter](const CharPair& cp)
- { return opening_delimiter == cp.opening; });
+ auto start = state.pos;
+ const ByteCount byte_pos = start - state.str.begin();
- const auto str_beg = reader.str.begin();
- if (it != std::end(matching_pairs))
+ if (auto it = find_if(matching_pairs, [=](const CharPair& cp) { return opening_delimiter == cp.opening; });
+ it != std::end(matching_pairs))
{
const Codepoint closing_delimiter = it->closing;
- auto quoted = parse_quoted_balanced(reader, opening_delimiter, closing_delimiter);
+ auto quoted = parse_quoted_balanced(state, opening_delimiter, closing_delimiter);
if (throw_on_unterminated and not quoted.terminated)
{
- auto coord = compute_coord({reader.str.begin(), start});
+ auto coord = compute_coord({state.str.begin(), start});
throw parse_error{format("{}:{}: unterminated string '%{}{}...{}'",
coord.line+1, coord.column+1, type_name,
opening_delimiter, closing_delimiter)};
}
- return {type, start - str_beg, std::move(quoted.content), quoted.terminated};
+ return {type, byte_pos, std::move(quoted.content), quoted.terminated};
}
else
{
- auto quoted = parse_quoted(reader, opening_delimiter);
+ auto quoted = parse_quoted(state, opening_delimiter);
if (throw_on_unterminated and not quoted.terminated)
{
- auto coord = compute_coord({reader.str.begin(), start});
+ auto coord = compute_coord({state.str.begin(), start});
throw parse_error{format("{}:{}: unterminated string '%{}{}...{}'",
coord.line+1, coord.column+1, type_name,
opening_delimiter, opening_delimiter)};
}
- return {type, start - str_beg, std::move(quoted.content), quoted.terminated};
+ return {type, byte_pos, std::move(quoted.content), quoted.terminated};
}
}
@@ -404,22 +376,22 @@ void expand_token(Token&& token, const Context& context, const ShellContext& she
}
-CommandParser::CommandParser(StringView command_line) : m_reader{command_line} {}
+CommandParser::CommandParser(StringView command_line) : m_state{command_line, command_line.begin()} {}
Optional<Token> CommandParser::read_token(bool throw_on_unterminated)
{
- skip_blanks_and_comments(m_reader);
- if (not m_reader)
+ skip_blanks_and_comments(m_state);
+ if (not m_state)
return {};
- const StringView line = m_reader.str;
- const char* start = m_reader.pos;
+ const StringView line = m_state.str;
+ const char* start = m_state.pos;
- const char c = *m_reader.pos;
+ const char c = *m_state.pos;
if (c == '"' or c == '\'')
{
- start = m_reader.next_byte().pos;
- QuotedResult quoted = parse_quoted(m_reader, c);
+ start = ++m_state.pos;
+ ParseResult quoted = parse_quoted(m_state, c);
if (throw_on_unterminated and not quoted.terminated)
throw parse_error{format("unterminated string {0}...{0}", c)};
return Token{c == '"' ? Token::Type::RawEval
@@ -429,25 +401,21 @@ Optional<Token> CommandParser::read_token(bool throw_on_unterminated)
}
else if (c == '%')
{
- auto token = parse_percent_token(m_reader, throw_on_unterminated);
- return token;
+ ++m_state.pos;
+ return parse_percent_token(m_state, throw_on_unterminated);
}
else if (is_command_separator(c))
- {
- m_reader.next_byte();
return Token{Token::Type::CommandSeparator,
- m_reader.pos - line.begin(), {}};
- }
+ ++m_state.pos - line.begin(), {}};
else
{
- if (c == '\\')
+ if (c == '\\' and m_state.pos + 1 != m_state.str.end())
{
- auto next = m_reader.peek_next();
+ const char next = m_state.pos[1];
if (next == '%' or next == '\'' or next == '"')
- m_reader.next_byte();
+ ++m_state.pos;
}
- return Token{Token::Type::Raw, start - line.begin(),
- parse_unquoted(m_reader)};
+ return Token{Token::Type::Raw, start - line.begin(), parse_unquoted(m_state)};
}
return {};
}
@@ -457,32 +425,29 @@ String expand_impl(StringView str, const Context& context,
const ShellContext& shell_context,
Postprocess postprocess)
{
- Reader reader{str};
+ ParseState state{str, str.begin()};
String res;
- auto beg = str.begin();
- while (reader)
+ auto beg = state.pos;
+ while (state)
{
- Codepoint c = *reader;
- if (c == '%')
+ if (*state.pos++ == '%')
{
- if (reader.peek_next() == '%')
+ if (state and *state.pos == '%')
{
- res += (++reader).substr_from(beg);
- beg = (++reader).pos;
+ res += StringView{beg, state.pos};
+ beg = ++state.pos;
}
else
{
- res += reader.substr_from(beg);
+ res += StringView{beg, state.pos-1};
String token;
- expand_token(parse_percent_token(reader, true), context, shell_context, token);
+ expand_token(parse_percent_token(state, true), context, shell_context, token);
res += postprocess(token);
- beg = reader.pos;
+ beg = state.pos;
}
}
- else
- ++reader;
}
- res += reader.substr_from(beg);
+ res += StringView{beg, state.pos};
return res;
}
@@ -826,9 +791,9 @@ UnitTest test_command_parsing{[]
{
auto check_quoted = [](StringView str, bool terminated, StringView content)
{
- Reader reader{str};
- const Codepoint delimiter = *reader;
- auto quoted = parse_quoted(++reader, delimiter);
+ ParseState state{str, str.begin()};
+ const Codepoint delimiter = *state.pos++;
+ auto quoted = parse_quoted(state, delimiter);
kak_assert(quoted.terminated == terminated);
kak_assert(quoted.content == content);
};
@@ -838,8 +803,8 @@ UnitTest test_command_parsing{[]
auto check_balanced = [](StringView str, Codepoint opening, Codepoint closing, bool terminated, StringView content)
{
- Reader reader{str};
- auto quoted = parse_quoted_balanced(++reader, opening, closing);
+ ParseState state{str, str.begin()+1};
+ auto quoted = parse_quoted_balanced(state, opening, closing);
kak_assert(quoted.terminated == terminated);
kak_assert(quoted.content == content);
};
@@ -849,9 +814,8 @@ UnitTest test_command_parsing{[]
auto check_unquoted = [](StringView str, StringView content)
{
- Reader reader{str};
- auto res = parse_unquoted(reader);
- kak_assert(res == content);
+ ParseState state{str, str.begin()};
+ kak_assert(parse_unquoted(state) == content);
};
check_unquoted("abc def", "abc");
check_unquoted("abc; def", "abc");
diff --git a/src/command_manager.hh b/src/command_manager.hh
index 5150c08f..6489e044 100644
--- a/src/command_manager.hh
+++ b/src/command_manager.hh
@@ -61,21 +61,12 @@ struct Token
bool terminated = false;
};
-struct Reader
+struct ParseState
{
-public:
- Reader(StringView s) : str{s}, pos{s.begin()} {}
-
- Codepoint operator*() const;
- Codepoint peek_next() const;
- Reader& operator++();
- Reader& next_byte();
-
- explicit operator bool() const { return pos < str.end(); }
- StringView substr_from(const char* start) const { return {start, pos}; }
-
StringView str;
const char* pos;
+
+ operator bool() const { return pos != str.end(); }
};
class CommandParser
@@ -84,11 +75,11 @@ public:
CommandParser(StringView command_line);
Optional<Token> read_token(bool throw_on_unterminated);
- const char* pos() const { return m_reader.pos; }
- bool done() const { return not m_reader; }
+ const char* pos() const { return m_state.pos; }
+ bool done() const { return not m_state; }
private:
- Reader m_reader;
+ ParseState m_state;
};
class CommandManager : public Singleton<CommandManager>