RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-24 22:07:34 +00:00
Code Issues Activity Actions

LibRegex: Switch to east-const style

Browse source
This commit is contained in:
Ali Mohammad Pur 2021-07-23 20:25:14 +04:30 • committed by Ali Mohammad Pur
parent c8b2199251
commit 36bfc912fc
10 changed files with 170 additions and 170 deletions
Download patch file Download diff file Expand all files Collapse all files

66
Userland/Libraries/LibRegex/RegexByteCode.cpp
View file

@ -12,7 +12,7 @@
namespace regex { namespace regex {
const char* OpCode::name(OpCodeId opcode_id) char const* OpCode::name(OpCodeId opcode_id)
{ {
switch (opcode_id) { switch (opcode_id) {
#define __ENUMERATE_OPCODE(x) \ #define __ENUMERATE_OPCODE(x) \
@ -26,12 +26,12 @@ const char* OpCode::name(OpCodeId opcode_id)
} }
} }
const char* OpCode::name() const char const* OpCode::name() const
{ {
return name(opcode_id()); return name(opcode_id());
} }
const char* execution_result_name(ExecutionResult result) char const* execution_result_name(ExecutionResult result)
{ {
switch (result) { switch (result) {
#define __ENUMERATE_EXECUTION_RESULT(x) \ #define __ENUMERATE_EXECUTION_RESULT(x) \
@ -45,7 +45,7 @@ const char* execution_result_name(ExecutionResult result)
} }
} }
const char* boundary_check_type_name(BoundaryCheckType ty) char const* boundary_check_type_name(BoundaryCheckType ty)
{ {
switch (ty) { switch (ty) {
#define __ENUMERATE_BOUNDARY_CHECK_TYPE(x) \ #define __ENUMERATE_BOUNDARY_CHECK_TYPE(x) \
@ -59,7 +59,7 @@ const char* boundary_check_type_name(BoundaryCheckType ty)
} }
} }
const char* character_compare_type_name(CharacterCompareType ch_compare_type) char const* character_compare_type_name(CharacterCompareType ch_compare_type)
{ {
switch (ch_compare_type) { switch (ch_compare_type) {
#define __ENUMERATE_CHARACTER_COMPARE_TYPE(x) \ #define __ENUMERATE_CHARACTER_COMPARE_TYPE(x) \
@ -73,7 +73,7 @@ const char* character_compare_type_name(CharacterCompareType ch_compare_type)
} }
} }
static const char* character_class_name(CharClass ch_class) static char const* character_class_name(CharClass ch_class)
{ {
switch (ch_class) { switch (ch_class) {
#define __ENUMERATE_CHARACTER_CLASS(x) \ #define __ENUMERATE_CHARACTER_CLASS(x) \
@ -177,7 +177,7 @@ OpCode& ByteCode::get_opcode(MatchState& state) const
return opcode; return opcode;
} }
ALWAYS_INLINE ExecutionResult OpCode_Exit::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_Exit::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
if (state.string_position > input.view.length() || state.instruction_position >= m_bytecode->size()) if (state.string_position > input.view.length() || state.instruction_position >= m_bytecode->size())
return ExecutionResult::Succeeded; return ExecutionResult::Succeeded;
@ -185,13 +185,13 @@ ALWAYS_INLINE ExecutionResult OpCode_Exit::execute(const MatchInput& input, Matc
return ExecutionResult::Failed; return ExecutionResult::Failed;
} }
ALWAYS_INLINE ExecutionResult OpCode_Save::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_Save::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
input.saved_positions.append(state.string_position); input.saved_positions.append(state.string_position);
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_Restore::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_Restore::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
if (input.saved_positions.is_empty()) if (input.saved_positions.is_empty())
return ExecutionResult::Failed; return ExecutionResult::Failed;
@ -200,7 +200,7 @@ ALWAYS_INLINE ExecutionResult OpCode_Restore::execute(const MatchInput& input, M
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_GoBack::execute(const MatchInput&, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_GoBack::execute(MatchInput const&, MatchState& state, MatchOutput&) const
{ {
if (count() > state.string_position) if (count() > state.string_position)
return ExecutionResult::Failed_ExecuteLowPrioForks; return ExecutionResult::Failed_ExecuteLowPrioForks;
@ -209,7 +209,7 @@ ALWAYS_INLINE ExecutionResult OpCode_GoBack::execute(const MatchInput&, MatchSta
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_FailForks::execute(const MatchInput& input, MatchState&, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_FailForks::execute(MatchInput const& input, MatchState&, MatchOutput&) const
{ {
VERIFY(count() > 0); VERIFY(count() > 0);
@ -217,25 +217,25 @@ ALWAYS_INLINE ExecutionResult OpCode_FailForks::execute(const MatchInput& input,
return ExecutionResult::Failed_ExecuteLowPrioForks; return ExecutionResult::Failed_ExecuteLowPrioForks;
} }
ALWAYS_INLINE ExecutionResult OpCode_Jump::execute(const MatchInput&, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_Jump::execute(MatchInput const&, MatchState& state, MatchOutput&) const
{ {
state.instruction_position += offset(); state.instruction_position += offset();
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_ForkJump::execute(const MatchInput&, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_ForkJump::execute(MatchInput const&, MatchState& state, MatchOutput&) const
{ {
state.fork_at_position = state.instruction_position + size() + offset(); state.fork_at_position = state.instruction_position + size() + offset();
return ExecutionResult::Fork_PrioHigh; return ExecutionResult::Fork_PrioHigh;
} }
ALWAYS_INLINE ExecutionResult OpCode_ForkStay::execute(const MatchInput&, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_ForkStay::execute(MatchInput const&, MatchState& state, MatchOutput&) const
{ {
state.fork_at_position = state.instruction_position + size() + offset(); state.fork_at_position = state.instruction_position + size() + offset();
return ExecutionResult::Fork_PrioLow; return ExecutionResult::Fork_PrioLow;
} }
ALWAYS_INLINE ExecutionResult OpCode_CheckBegin::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_CheckBegin::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
if (0 == state.string_position && (input.regex_options & AllFlags::MatchNotBeginOfLine)) if (0 == state.string_position && (input.regex_options & AllFlags::MatchNotBeginOfLine))
return ExecutionResult::Failed_ExecuteLowPrioForks; return ExecutionResult::Failed_ExecuteLowPrioForks;
@ -248,7 +248,7 @@ ALWAYS_INLINE ExecutionResult OpCode_CheckBegin::execute(const MatchInput& input
return ExecutionResult::Failed_ExecuteLowPrioForks; return ExecutionResult::Failed_ExecuteLowPrioForks;
} }
ALWAYS_INLINE ExecutionResult OpCode_CheckBoundary::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_CheckBoundary::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
auto isword = [](auto ch) { return is_ascii_alphanumeric(ch) || ch == '_'; }; auto isword = [](auto ch) { return is_ascii_alphanumeric(ch) || ch == '_'; };
auto is_word_boundary = [&] { auto is_word_boundary = [&] {
@ -282,7 +282,7 @@ ALWAYS_INLINE ExecutionResult OpCode_CheckBoundary::execute(const MatchInput& in
VERIFY_NOT_REACHED(); VERIFY_NOT_REACHED();
} }
ALWAYS_INLINE ExecutionResult OpCode_CheckEnd::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_CheckEnd::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
if (state.string_position == input.view.length() && (input.regex_options & AllFlags::MatchNotEndOfLine)) if (state.string_position == input.view.length() && (input.regex_options & AllFlags::MatchNotEndOfLine))
return ExecutionResult::Failed_ExecuteLowPrioForks; return ExecutionResult::Failed_ExecuteLowPrioForks;
@ -294,7 +294,7 @@ ALWAYS_INLINE ExecutionResult OpCode_CheckEnd::execute(const MatchInput& input,
return ExecutionResult::Failed_ExecuteLowPrioForks; return ExecutionResult::Failed_ExecuteLowPrioForks;
} }
ALWAYS_INLINE ExecutionResult OpCode_ClearCaptureGroup::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_ClearCaptureGroup::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
if (input.match_index < state.capture_group_matches.size()) { if (input.match_index < state.capture_group_matches.size()) {
auto& group = state.capture_group_matches[input.match_index]; auto& group = state.capture_group_matches[input.match_index];
@ -304,7 +304,7 @@ ALWAYS_INLINE ExecutionResult OpCode_ClearCaptureGroup::execute(const MatchInput
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_SaveLeftCaptureGroup::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_SaveLeftCaptureGroup::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
if (input.match_index >= state.capture_group_matches.size()) { if (input.match_index >= state.capture_group_matches.size()) {
state.capture_group_matches.ensure_capacity(input.match_index); state.capture_group_matches.ensure_capacity(input.match_index);
@ -324,7 +324,7 @@ ALWAYS_INLINE ExecutionResult OpCode_SaveLeftCaptureGroup::execute(const MatchIn
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_SaveRightCaptureGroup::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_SaveRightCaptureGroup::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
auto& match = state.capture_group_matches.at(input.match_index).at(id()); auto& match = state.capture_group_matches.at(input.match_index).at(id());
auto start_position = match.left_column; auto start_position = match.left_column;
@ -349,7 +349,7 @@ ALWAYS_INLINE ExecutionResult OpCode_SaveRightCaptureGroup::execute(const MatchI
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_ClearNamedCaptureGroup::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_ClearNamedCaptureGroup::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
if (input.match_index < state.capture_group_matches.size()) { if (input.match_index < state.capture_group_matches.size()) {
auto& group = state.named_capture_group_matches[input.match_index]; auto& group = state.named_capture_group_matches[input.match_index];
@ -358,7 +358,7 @@ ALWAYS_INLINE ExecutionResult OpCode_ClearNamedCaptureGroup::execute(const Match
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_SaveLeftNamedCaptureGroup::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_SaveLeftNamedCaptureGroup::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
if (input.match_index >= state.named_capture_group_matches.size()) { if (input.match_index >= state.named_capture_group_matches.size()) {
state.named_capture_group_matches.ensure_capacity(input.match_index); state.named_capture_group_matches.ensure_capacity(input.match_index);
@ -370,7 +370,7 @@ ALWAYS_INLINE ExecutionResult OpCode_SaveLeftNamedCaptureGroup::execute(const Ma
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_SaveRightNamedCaptureGroup::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_SaveRightNamedCaptureGroup::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
StringView capture_group_name = name(); StringView capture_group_name = name();
@ -399,7 +399,7 @@ ALWAYS_INLINE ExecutionResult OpCode_SaveRightNamedCaptureGroup::execute(const M
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE ExecutionResult OpCode_Compare::execute(const MatchInput& input, MatchState& state, MatchOutput&) const ALWAYS_INLINE ExecutionResult OpCode_Compare::execute(MatchInput const& input, MatchState& state, MatchOutput&) const
{ {
bool inverse { false }; bool inverse { false };
bool temporary_inverse { false }; bool temporary_inverse { false };
@ -458,7 +458,7 @@ ALWAYS_INLINE ExecutionResult OpCode_Compare::execute(const MatchInput& input, M
} else if (compare_type == CharacterCompareType::String) { } else if (compare_type == CharacterCompareType::String) {
VERIFY(!current_inversion_state()); VERIFY(!current_inversion_state());
const auto& length = m_bytecode->at(offset++); auto const& length = m_bytecode->at(offset++);
// We want to compare a string that is definitely longer than the available string // We want to compare a string that is definitely longer than the available string
if (input.view.length() < state.string_position + length) if (input.view.length() < state.string_position + length)
@ -513,7 +513,7 @@ ALWAYS_INLINE ExecutionResult OpCode_Compare::execute(const MatchInput& input, M
return ExecutionResult::Failed_ExecuteLowPrioForks; return ExecutionResult::Failed_ExecuteLowPrioForks;
} else if (compare_type == CharacterCompareType::NamedReference) { } else if (compare_type == CharacterCompareType::NamedReference) {
auto ptr = (const char*)m_bytecode->at(offset++); auto ptr = (char const*)m_bytecode->at(offset++);
auto length = (size_t)m_bytecode->at(offset++); auto length = (size_t)m_bytecode->at(offset++);
StringView name { ptr, length }; StringView name { ptr, length };
@ -546,7 +546,7 @@ ALWAYS_INLINE ExecutionResult OpCode_Compare::execute(const MatchInput& input, M
return ExecutionResult::Continue; return ExecutionResult::Continue;
} }
ALWAYS_INLINE void OpCode_Compare::compare_char(const MatchInput& input, MatchState& state, u32 ch1, bool inverse, bool& inverse_matched) ALWAYS_INLINE void OpCode_Compare::compare_char(MatchInput const& input, MatchState& state, u32 ch1, bool inverse, bool& inverse_matched)
{ {
if (state.string_position == input.view.length()) if (state.string_position == input.view.length())
return; return;
@ -568,7 +568,7 @@ ALWAYS_INLINE void OpCode_Compare::compare_char(const MatchInput& input, MatchSt
} }
} }
ALWAYS_INLINE bool OpCode_Compare::compare_string(const MatchInput& input, MatchState& state, RegexStringView const& str, bool& had_zero_length_match) ALWAYS_INLINE bool OpCode_Compare::compare_string(MatchInput const& input, MatchState& state, RegexStringView const& str, bool& had_zero_length_match)
{ {
if (state.string_position + str.length() > input.view.length()) { if (state.string_position + str.length() > input.view.length()) {
if (str.is_empty()) { if (str.is_empty()) {
@ -596,7 +596,7 @@ ALWAYS_INLINE bool OpCode_Compare::compare_string(const MatchInput& input, Match
return equals; return equals;
} }
ALWAYS_INLINE void OpCode_Compare::compare_character_class(const MatchInput& input, MatchState& state, CharClass character_class, u32 ch, bool inverse, bool& inverse_matched) ALWAYS_INLINE void OpCode_Compare::compare_character_class(MatchInput const& input, MatchState& state, CharClass character_class, u32 ch, bool inverse, bool& inverse_matched)
{ {
switch (character_class) { switch (character_class) {
case CharClass::Alnum: case CharClass::Alnum:
@ -702,7 +702,7 @@ ALWAYS_INLINE void OpCode_Compare::compare_character_class(const MatchInput& inp
} }
} }
ALWAYS_INLINE void OpCode_Compare::compare_character_range(const MatchInput& input, MatchState& state, u32 from, u32 to, u32 ch, bool inverse, bool& inverse_matched) ALWAYS_INLINE void OpCode_Compare::compare_character_range(MatchInput const& input, MatchState& state, u32 from, u32 to, u32 ch, bool inverse, bool& inverse_matched)
{ {
if (input.regex_options & AllFlags::Insensitive) { if (input.regex_options & AllFlags::Insensitive) {
from = to_ascii_lowercase(from); from = to_ascii_lowercase(from);
@ -718,12 +718,12 @@ ALWAYS_INLINE void OpCode_Compare::compare_character_range(const MatchInput& inp
} }
} }
const String OpCode_Compare::arguments_string() const String const OpCode_Compare::arguments_string() const
{ {
return String::formatted("argc={}, args={} ", arguments_count(), arguments_size()); return String::formatted("argc={}, args={} ", arguments_count(), arguments_size());
} }
const Vector<String> OpCode_Compare::variable_arguments_to_string(Optional<MatchInput> input) const Vector<String> const OpCode_Compare::variable_arguments_to_string(Optional<MatchInput> input) const
{ {
Vector<String> result; Vector<String> result;
@ -758,7 +758,7 @@ const Vector<String> OpCode_Compare::variable_arguments_to_string(Optional<Match
} }
} }
} else if (compare_type == CharacterCompareType::NamedReference) { } else if (compare_type == CharacterCompareType::NamedReference) {
auto ptr = (const char*)m_bytecode->at(offset++); auto ptr = (char const*)m_bytecode->at(offset++);
auto length = m_bytecode->at(offset++); auto length = m_bytecode->at(offset++);
result.empend(String::formatted("name='{}'", StringView { ptr, (size_t)length })); result.empend(String::formatted("name='{}'", StringView { ptr, (size_t)length }));
} else if (compare_type == CharacterCompareType::Reference) { } else if (compare_type == CharacterCompareType::Reference) {

130
Userland/Libraries/LibRegex/RegexByteCode.h
View file

@ -105,8 +105,8 @@ enum class BoundaryCheckType : ByteCodeValueType {
}; };
struct CharRange { struct CharRange {
const u32 from; u32 const from;
const u32 to; u32 const to;
CharRange(u64 value) CharRange(u64 value)
: from(value >> 32) : from(value >> 32)
@ -137,7 +137,7 @@ public:
ensure_opcodes_initialized(); ensure_opcodes_initialized();
} }
ByteCode(const ByteCode&) = default; ByteCode(ByteCode const&) = default;
virtual ~ByteCode() = default; virtual ~ByteCode() = default;
ByteCode& operator=(ByteCode&&) = default; ByteCode& operator=(ByteCode&&) = default;
@ -232,7 +232,7 @@ public:
empend(capture_groups_count); empend(capture_groups_count);
} }
void insert_bytecode_group_capture_left(const StringView& name) void insert_bytecode_group_capture_left(StringView const& name)
{ {
empend(static_cast<ByteCodeValueType>(OpCodeId::SaveLeftNamedCaptureGroup)); empend(static_cast<ByteCodeValueType>(OpCodeId::SaveLeftNamedCaptureGroup));
empend(reinterpret_cast<ByteCodeValueType>(name.characters_without_null_termination())); empend(reinterpret_cast<ByteCodeValueType>(name.characters_without_null_termination()));
@ -245,7 +245,7 @@ public:
empend(capture_groups_count); empend(capture_groups_count);
} }
void insert_bytecode_group_capture_right(const StringView& name) void insert_bytecode_group_capture_right(StringView const& name)
{ {
empend(static_cast<ByteCodeValueType>(OpCodeId::SaveRightNamedCaptureGroup)); empend(static_cast<ByteCodeValueType>(OpCodeId::SaveRightNamedCaptureGroup));
empend(reinterpret_cast<ByteCodeValueType>(name.characters_without_null_termination())); empend(reinterpret_cast<ByteCodeValueType>(name.characters_without_null_termination()));
@ -462,7 +462,7 @@ public:
OpCode& get_opcode(MatchState& state) const; OpCode& get_opcode(MatchState& state) const;
private: private:
void insert_string(const StringView& view) void insert_string(StringView const& view)
{ {
empend((ByteCodeValueType)view.length()); empend((ByteCodeValueType)view.length());
for (size_t i = 0; i < view.length(); ++i) for (size_t i = 0; i < view.length(); ++i)
@ -489,11 +489,11 @@ enum class ExecutionResult : u8 {
#undef __ENUMERATE_EXECUTION_RESULT #undef __ENUMERATE_EXECUTION_RESULT
}; };
const char* execution_result_name(ExecutionResult result); char const* execution_result_name(ExecutionResult result);
const char* opcode_id_name(OpCodeId opcode_id); char const* opcode_id_name(OpCodeId opcode_id);
const char* boundary_check_type_name(BoundaryCheckType); char const* boundary_check_type_name(BoundaryCheckType);
const char* character_compare_type_name(CharacterCompareType result); char const* character_compare_type_name(CharacterCompareType result);
const char* execution_result_name(ExecutionResult result); char const* execution_result_name(ExecutionResult result);
class OpCode { class OpCode {
public: public:
@ -502,7 +502,7 @@ public:
virtual OpCodeId opcode_id() const = 0; virtual OpCodeId opcode_id() const = 0;
virtual size_t size() const = 0; virtual size_t size() const = 0;
virtual ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const = 0; virtual ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const = 0;
ALWAYS_INLINE ByteCodeValueType argument(size_t offset) const ALWAYS_INLINE ByteCodeValueType argument(size_t offset) const
{ {
@ -510,27 +510,27 @@ public:
return m_bytecode->at(state().instruction_position + 1 + offset); return m_bytecode->at(state().instruction_position + 1 + offset);
} }
ALWAYS_INLINE const char* name() const; ALWAYS_INLINE char const* name() const;
static const char* name(const OpCodeId); static char const* name(OpCodeId const);
ALWAYS_INLINE void set_state(MatchState& state) { m_state = &state; } ALWAYS_INLINE void set_state(MatchState& state) { m_state = &state; }
ALWAYS_INLINE void set_bytecode(ByteCode& bytecode) { m_bytecode = &bytecode; } ALWAYS_INLINE void set_bytecode(ByteCode& bytecode) { m_bytecode = &bytecode; }
ALWAYS_INLINE const MatchState& state() const ALWAYS_INLINE MatchState const& state() const
{ {
VERIFY(m_state); VERIFY(m_state);
return *m_state; return *m_state;
} }
const String to_string() const String const to_string() const
{ {
return String::formatted("[{:#02X}] {}", (int)opcode_id(), name(opcode_id())); return String::formatted("[{:#02X}] {}", (int)opcode_id(), name(opcode_id()));
} }
virtual const String arguments_string() const = 0; virtual String const arguments_string() const = 0;
ALWAYS_INLINE const ByteCode& bytecode() const { return *m_bytecode; } ALWAYS_INLINE ByteCode const& bytecode() const { return *m_bytecode; }
protected: protected:
ByteCode* m_bytecode { nullptr }; ByteCode* m_bytecode { nullptr };
@ -539,53 +539,53 @@ protected:
class OpCode_Exit final : public OpCode { class OpCode_Exit final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Exit; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Exit; }
ALWAYS_INLINE size_t size() const override { return 1; } ALWAYS_INLINE size_t size() const override { return 1; }
const String arguments_string() const override { return ""; } String const arguments_string() const override { return ""; }
}; };
class OpCode_FailForks final : public OpCode { class OpCode_FailForks final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::FailForks; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::FailForks; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE size_t count() const { return argument(0); } ALWAYS_INLINE size_t count() const { return argument(0); }
const String arguments_string() const override { return String::formatted("count={}", count()); } String const arguments_string() const override { return String::formatted("count={}", count()); }
}; };
class OpCode_Save final : public OpCode { class OpCode_Save final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Save; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Save; }
ALWAYS_INLINE size_t size() const override { return 1; } ALWAYS_INLINE size_t size() const override { return 1; }
const String arguments_string() const override { return ""; } String const arguments_string() const override { return ""; }
}; };
class OpCode_Restore final : public OpCode { class OpCode_Restore final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Restore; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Restore; }
ALWAYS_INLINE size_t size() const override { return 1; } ALWAYS_INLINE size_t size() const override { return 1; }
const String arguments_string() const override { return ""; } String const arguments_string() const override { return ""; }
}; };
class OpCode_GoBack final : public OpCode { class OpCode_GoBack final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::GoBack; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::GoBack; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE size_t count() const { return argument(0); } ALWAYS_INLINE size_t count() const { return argument(0); }
const String arguments_string() const override { return String::formatted("count={}", count()); } String const arguments_string() const override { return String::formatted("count={}", count()); }
}; };
class OpCode_Jump final : public OpCode { class OpCode_Jump final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Jump; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Jump; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE ssize_t offset() const { return argument(0); } ALWAYS_INLINE ssize_t offset() const { return argument(0); }
const String arguments_string() const override String const arguments_string() const override
{ {
return String::formatted("offset={} [&{}]", offset(), state().instruction_position + size() + offset()); return String::formatted("offset={} [&{}]", offset(), state().instruction_position + size() + offset());
} }
@ -593,11 +593,11 @@ public:
class OpCode_ForkJump final : public OpCode { class OpCode_ForkJump final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::ForkJump; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::ForkJump; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE ssize_t offset() const { return argument(0); } ALWAYS_INLINE ssize_t offset() const { return argument(0); }
const String arguments_string() const override String const arguments_string() const override
{ {
return String::formatted("offset={} [&{}], sp: {}", offset(), state().instruction_position + size() + offset(), state().string_position); return String::formatted("offset={} [&{}], sp: {}", offset(), state().instruction_position + size() + offset(), state().string_position);
} }
@ -605,11 +605,11 @@ public:
class OpCode_ForkStay final : public OpCode { class OpCode_ForkStay final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::ForkStay; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::ForkStay; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE ssize_t offset() const { return argument(0); } ALWAYS_INLINE ssize_t offset() const { return argument(0); }
const String arguments_string() const override String const arguments_string() const override
{ {
return String::formatted("offset={} [&{}], sp: {}", offset(), state().instruction_position + size() + offset(), state().string_position); return String::formatted("offset={} [&{}], sp: {}", offset(), state().instruction_position + size() + offset(), state().string_position);
} }
@ -617,47 +617,47 @@ public:
class OpCode_CheckBegin final : public OpCode { class OpCode_CheckBegin final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::CheckBegin; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::CheckBegin; }
ALWAYS_INLINE size_t size() const override { return 1; } ALWAYS_INLINE size_t size() const override { return 1; }
const String arguments_string() const override { return ""; } String const arguments_string() const override { return ""; }
}; };
class OpCode_CheckEnd final : public OpCode { class OpCode_CheckEnd final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::CheckEnd; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::CheckEnd; }
ALWAYS_INLINE size_t size() const override { return 1; } ALWAYS_INLINE size_t size() const override { return 1; }
const String arguments_string() const override { return ""; } String const arguments_string() const override { return ""; }
}; };
class OpCode_CheckBoundary final : public OpCode { class OpCode_CheckBoundary final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::CheckBoundary; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::CheckBoundary; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE size_t arguments_count() const { return 1; } ALWAYS_INLINE size_t arguments_count() const { return 1; }
ALWAYS_INLINE BoundaryCheckType type() const { return static_cast<BoundaryCheckType>(argument(0)); } ALWAYS_INLINE BoundaryCheckType type() const { return static_cast<BoundaryCheckType>(argument(0)); }
const String arguments_string() const override { return String::formatted("kind={} ({})", (long unsigned int)argument(0), boundary_check_type_name(type())); } String const arguments_string() const override { return String::formatted("kind={} ({})", (long unsigned int)argument(0), boundary_check_type_name(type())); }
}; };
class OpCode_ClearCaptureGroup final : public OpCode { class OpCode_ClearCaptureGroup final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::ClearCaptureGroup; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::ClearCaptureGroup; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE size_t id() const { return argument(0); } ALWAYS_INLINE size_t id() const { return argument(0); }
const String arguments_string() const override { return String::formatted("id={}", id()); } String const arguments_string() const override { return String::formatted("id={}", id()); }
}; };
class OpCode_ClearNamedCaptureGroup final : public OpCode { class OpCode_ClearNamedCaptureGroup final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::ClearNamedCaptureGroup; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::ClearNamedCaptureGroup; }
ALWAYS_INLINE size_t size() const override { return 3; } ALWAYS_INLINE size_t size() const override { return 3; }
ALWAYS_INLINE StringView name() const { return { reinterpret_cast<char*>(argument(0)), length() }; } ALWAYS_INLINE StringView name() const { return { reinterpret_cast<char*>(argument(0)), length() }; }
ALWAYS_INLINE size_t length() const { return argument(1); } ALWAYS_INLINE size_t length() const { return argument(1); }
const String arguments_string() const override String const arguments_string() const override
{ {
return String::formatted("name={}, length={}", name(), length()); return String::formatted("name={}, length={}", name(), length());
} }
@ -665,30 +665,30 @@ public:
class OpCode_SaveLeftCaptureGroup final : public OpCode { class OpCode_SaveLeftCaptureGroup final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::SaveLeftCaptureGroup; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::SaveLeftCaptureGroup; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE size_t id() const { return argument(0); } ALWAYS_INLINE size_t id() const { return argument(0); }
const String arguments_string() const override { return String::formatted("id={}", id()); } String const arguments_string() const override { return String::formatted("id={}", id()); }
}; };
class OpCode_SaveRightCaptureGroup final : public OpCode { class OpCode_SaveRightCaptureGroup final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::SaveRightCaptureGroup; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::SaveRightCaptureGroup; }
ALWAYS_INLINE size_t size() const override { return 2; } ALWAYS_INLINE size_t size() const override { return 2; }
ALWAYS_INLINE size_t id() const { return argument(0); } ALWAYS_INLINE size_t id() const { return argument(0); }
const String arguments_string() const override { return String::formatted("id={}", id()); } String const arguments_string() const override { return String::formatted("id={}", id()); }
}; };
class OpCode_SaveLeftNamedCaptureGroup final : public OpCode { class OpCode_SaveLeftNamedCaptureGroup final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::SaveLeftNamedCaptureGroup; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::SaveLeftNamedCaptureGroup; }
ALWAYS_INLINE size_t size() const override { return 3; } ALWAYS_INLINE size_t size() const override { return 3; }
ALWAYS_INLINE StringView name() const { return { reinterpret_cast<char*>(argument(0)), length() }; } ALWAYS_INLINE StringView name() const { return { reinterpret_cast<char*>(argument(0)), length() }; }
ALWAYS_INLINE size_t length() const { return argument(1); } ALWAYS_INLINE size_t length() const { return argument(1); }
const String arguments_string() const override String const arguments_string() const override
{ {
return String::formatted("name={}, length={}", name(), length()); return String::formatted("name={}, length={}", name(), length());
} }
@ -696,12 +696,12 @@ public:
class OpCode_SaveRightNamedCaptureGroup final : public OpCode { class OpCode_SaveRightNamedCaptureGroup final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::SaveRightNamedCaptureGroup; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::SaveRightNamedCaptureGroup; }
ALWAYS_INLINE size_t size() const override { return 3; } ALWAYS_INLINE size_t size() const override { return 3; }
ALWAYS_INLINE StringView name() const { return { reinterpret_cast<char*>(argument(0)), length() }; } ALWAYS_INLINE StringView name() const { return { reinterpret_cast<char*>(argument(0)), length() }; }
ALWAYS_INLINE size_t length() const { return argument(1); } ALWAYS_INLINE size_t length() const { return argument(1); }
const String arguments_string() const override String const arguments_string() const override
{ {
return String::formatted("name={}, length={}", name(), length()); return String::formatted("name={}, length={}", name(), length());
} }
@ -709,50 +709,50 @@ public:
class OpCode_Compare final : public OpCode { class OpCode_Compare final : public OpCode {
public: public:
ExecutionResult execute(const MatchInput& input, MatchState& state, MatchOutput& output) const override; ExecutionResult execute(MatchInput const& input, MatchState& state, MatchOutput& output) const override;
ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Compare; } ALWAYS_INLINE OpCodeId opcode_id() const override { return OpCodeId::Compare; }
ALWAYS_INLINE size_t size() const override { return arguments_size() + 3; } ALWAYS_INLINE size_t size() const override { return arguments_size() + 3; }
ALWAYS_INLINE size_t arguments_count() const { return argument(0); } ALWAYS_INLINE size_t arguments_count() const { return argument(0); }
ALWAYS_INLINE size_t arguments_size() const { return argument(1); } ALWAYS_INLINE size_t arguments_size() const { return argument(1); }
const String arguments_string() const override; String const arguments_string() const override;
const Vector<String> variable_arguments_to_string(Optional<MatchInput> input = {}) const; Vector<String> const variable_arguments_to_string(Optional<MatchInput> input = {}) const;
private: private:
ALWAYS_INLINE static void compare_char(const MatchInput& input, MatchState& state, u32 ch1, bool inverse, bool& inverse_matched); ALWAYS_INLINE static void compare_char(MatchInput const& input, MatchState& state, u32 ch1, bool inverse, bool& inverse_matched);
ALWAYS_INLINE static bool compare_string(const MatchInput& input, MatchState& state, RegexStringView const& str, bool& had_zero_length_match); ALWAYS_INLINE static bool compare_string(MatchInput const& input, MatchState& state, RegexStringView const& str, bool& had_zero_length_match);
ALWAYS_INLINE static void compare_character_class(const MatchInput& input, MatchState& state, CharClass character_class, u32 ch, bool inverse, bool& inverse_matched); ALWAYS_INLINE static void compare_character_class(MatchInput const& input, MatchState& state, CharClass character_class, u32 ch, bool inverse, bool& inverse_matched);
ALWAYS_INLINE static void compare_character_range(const MatchInput& input, MatchState& state, u32 from, u32 to, u32 ch, bool inverse, bool& inverse_matched); ALWAYS_INLINE static void compare_character_range(MatchInput const& input, MatchState& state, u32 from, u32 to, u32 ch, bool inverse, bool& inverse_matched);
}; };
template<typename T> template<typename T>
bool is(const OpCode&); bool is(OpCode const&);
template<typename T> template<typename T>
ALWAYS_INLINE bool is(const OpCode&) ALWAYS_INLINE bool is(OpCode const&)
{ {
return false; return false;
} }
template<typename T> template<typename T>
ALWAYS_INLINE bool is(const OpCode* opcode) ALWAYS_INLINE bool is(OpCode const* opcode)
{ {
return is<T>(*opcode); return is<T>(*opcode);
} }
template<> template<>
ALWAYS_INLINE bool is<OpCode_ForkStay>(const OpCode& opcode) ALWAYS_INLINE bool is<OpCode_ForkStay>(OpCode const& opcode)
{ {
return opcode.opcode_id() == OpCodeId::ForkStay; return opcode.opcode_id() == OpCodeId::ForkStay;
} }
template<> template<>
ALWAYS_INLINE bool is<OpCode_Exit>(const OpCode& opcode) ALWAYS_INLINE bool is<OpCode_Exit>(OpCode const& opcode)
{ {
return opcode.opcode_id() == OpCodeId::Exit; return opcode.opcode_id() == OpCodeId::Exit;
} }
template<> template<>
ALWAYS_INLINE bool is<OpCode_Compare>(const OpCode& opcode) ALWAYS_INLINE bool is<OpCode_Compare>(OpCode const& opcode)
{ {
return opcode.opcode_id() == OpCodeId::Compare; return opcode.opcode_id() == OpCodeId::Compare;
} }

6
Userland/Libraries/LibRegex/RegexDebug.h
View file

@ -33,7 +33,7 @@ public:
} }
template<typename T> template<typename T>
void print_bytecode(const Regex<T>& regex) const void print_bytecode(Regex<T> const& regex) const
{ {
MatchState state; MatchState state;
auto& bytecode = regex.parser_result.bytecode; auto& bytecode = regex.parser_result.bytecode;
@ -52,7 +52,7 @@ public:
fflush(m_file); fflush(m_file);
} }
void print_opcode(const String& system, OpCode& opcode, MatchState& state, size_t recursion = 0, bool newline = true) const void print_opcode(String const& system, OpCode& opcode, MatchState& state, size_t recursion = 0, bool newline = true) const
{ {
out(m_file, "{:15} | {:5} | {:9} | {:35} | {:30} | {:20}", out(m_file, "{:15} | {:5} | {:9} | {:35} | {:30} | {:20}",
system.characters(), system.characters(),
@ -69,7 +69,7 @@ public:
} }
} }
void print_result(const OpCode& opcode, const ByteCode& bytecode, const MatchInput& input, MatchState& state, ExecutionResult result) const void print_result(OpCode const& opcode, ByteCode const& bytecode, MatchInput const& input, MatchState& state, ExecutionResult result) const
{ {
StringBuilder builder; StringBuilder builder;
builder.append(execution_result_name(result)); builder.append(execution_result_name(result));

6
Userland/Libraries/LibRegex/RegexLexer.cpp
View file

@ -12,7 +12,7 @@
namespace regex { namespace regex {
const char* Token::name(const TokenType type) char const* Token::name(TokenType const type)
{ {
switch (type) { switch (type) {
#define __ENUMERATE_REGEX_TOKEN(x) \ #define __ENUMERATE_REGEX_TOKEN(x) \
@ -26,12 +26,12 @@ const char* Token::name(const TokenType type)
} }
} }
const char* Token::name() const char const* Token::name() const
{ {
return name(m_type); return name(m_type);
} }
Lexer::Lexer(const StringView source) Lexer::Lexer(StringView const source)
: m_source(source) : m_source(source)
{ {
} }

14
Userland/Libraries/LibRegex/RegexLexer.h
View file

@ -43,7 +43,7 @@ enum class TokenType {
class Token { class Token {
public: public:
Token() = default; Token() = default;
Token(const TokenType type, const size_t start_position, const StringView value) Token(TokenType const type, size_t const start_position, StringView const value)
: m_type(type) : m_type(type)
, m_position(start_position) , m_position(start_position)
, m_value(value) , m_value(value)
@ -51,11 +51,11 @@ public:
} }
TokenType type() const { return m_type; } TokenType type() const { return m_type; }
const StringView& value() const { return m_value; } StringView const& value() const { return m_value; }
size_t position() const { return m_position; } size_t position() const { return m_position; }
const char* name() const; char const* name() const;
static const char* name(const TokenType); static char const* name(TokenType const);
private: private:
TokenType m_type { TokenType::Eof }; TokenType m_type { TokenType::Eof };
@ -66,14 +66,14 @@ private:
class Lexer { class Lexer {
public: public:
Lexer() = default; Lexer() = default;
explicit Lexer(const StringView source); explicit Lexer(StringView const source);
Token next(); Token next();
void reset(); void reset();
void back(size_t offset); void back(size_t offset);
void set_source(const StringView source) { m_source = source; } void set_source(StringView const source) { m_source = source; }
bool try_skip(char); bool try_skip(char);
char skip(); char skip();
const auto& source() const { return m_source; } auto const& source() const { return m_source; }
private: private:
ALWAYS_INLINE int peek(size_t offset = 0) const; ALWAYS_INLINE int peek(size_t offset = 0) const;

44
Userland/Libraries/LibRegex/RegexMatch.h
View file

@ -23,17 +23,17 @@ namespace regex {
class RegexStringView { class RegexStringView {
public: public:
RegexStringView(const char* chars) RegexStringView(char const* chars)
: m_view(StringView { chars }) : m_view(StringView { chars })
{ {
} }
RegexStringView(const String& string) RegexStringView(String const& string)
: m_view(string.view()) : m_view(string.view())
{ {
} }
RegexStringView(const StringView view) RegexStringView(StringView const view)
: m_view(view) : m_view(view)
{ {
} }
@ -48,17 +48,17 @@ public:
{ {
} }
const StringView& string_view() const StringView const& string_view() const
{ {
return m_view.get<StringView>(); return m_view.get<StringView>();
} }
const Utf32View& u32_view() const Utf32View const& u32_view() const
{ {
return m_view.get<Utf32View>(); return m_view.get<Utf32View>();
} }
const Utf8View& u8_view() const Utf8View const& u8_view() const
{ {
return m_view.get<Utf8View>(); return m_view.get<Utf8View>();
} }
@ -184,7 +184,7 @@ public:
}); });
} }
bool operator==(const char* cstring) const bool operator==(char const* cstring) const
{ {
return m_view.visit( return m_view.visit(
[&](Utf32View) { return to_string() == cstring; }, [&](Utf32View) { return to_string() == cstring; },
@ -192,12 +192,12 @@ public:
[&](StringView view) { return view == cstring; }); [&](StringView view) { return view == cstring; });
} }
bool operator!=(const char* cstring) const bool operator!=(char const* cstring) const
{ {
return !(*this == cstring); return !(*this == cstring);
} }
bool operator==(const String& string) const bool operator==(String const& string) const
{ {
return m_view.visit( return m_view.visit(
[&](Utf32View) { return to_string() == string; }, [&](Utf32View) { return to_string() == string; },
@ -205,7 +205,7 @@ public:
[&](StringView view) { return view == string; }); [&](StringView view) { return view == string; });
} }
bool operator==(const StringView& string) const bool operator==(StringView const& string) const
{ {
return m_view.visit( return m_view.visit(
[&](Utf32View) { return to_string() == string; }, [&](Utf32View) { return to_string() == string; },
@ -213,12 +213,12 @@ public:
[&](StringView view) { return view == string; }); [&](StringView view) { return view == string; });
} }
bool operator!=(const StringView& other) const bool operator!=(StringView const& other) const
{ {
return !(*this == other); return !(*this == other);
} }
bool operator==(const Utf32View& other) const bool operator==(Utf32View const& other) const
{ {
return m_view.visit( return m_view.visit(
[&](Utf32View view) { [&](Utf32View view) {
@ -228,12 +228,12 @@ public:
[&](StringView view) { return view == RegexStringView { other }.to_string(); }); [&](StringView view) { return view == RegexStringView { other }.to_string(); });
} }
bool operator!=(const Utf32View& other) const bool operator!=(Utf32View const& other) const
{ {
return !(*this == other); return !(*this == other);
} }
bool operator==(const Utf8View& other) const bool operator==(Utf8View const& other) const
{ {
return m_view.visit( return m_view.visit(
[&](Utf32View) { [&](Utf32View) {
@ -243,17 +243,17 @@ public:
[&](StringView view) { return other.as_string() == view; }); [&](StringView view) { return other.as_string() == view; });
} }
bool operator!=(const Utf8View& other) const bool operator!=(Utf8View const& other) const
{ {
return !(*this == other); return !(*this == other);
} }
bool equals(const RegexStringView& other) const bool equals(RegexStringView const& other) const
{ {
return other.m_view.visit([&](auto const& view) { return operator==(view); }); return other.m_view.visit([&](auto const& view) { return operator==(view); });
} }
bool equals_ignoring_case(const RegexStringView& other) const bool equals_ignoring_case(RegexStringView const& other) const
{ {
// FIXME: Implement equals_ignoring_case() for unicode. // FIXME: Implement equals_ignoring_case() for unicode.
return m_view.visit( return m_view.visit(
@ -265,7 +265,7 @@ public:
[](auto&) -> bool { TODO(); }); [](auto&) -> bool { TODO(); });
} }
bool starts_with(const StringView& str) const bool starts_with(StringView const& str) const
{ {
return m_view.visit( return m_view.visit(
[&](Utf32View) -> bool { [&](Utf32View) -> bool {
@ -275,7 +275,7 @@ public:
[&](StringView view) { return view.starts_with(str); }); [&](StringView view) { return view.starts_with(str); });
} }
bool starts_with(const Utf32View& str) const bool starts_with(Utf32View const& str) const
{ {
return m_view.visit( return m_view.visit(
[&](Utf32View view) -> bool { [&](Utf32View view) -> bool {
@ -315,7 +315,7 @@ public:
Match() = default; Match() = default;
~Match() = default; ~Match() = default;
Match(const RegexStringView view_, const size_t line_, const size_t column_, const size_t global_offset_) Match(RegexStringView const view_, size_t const line_, size_t const column_, size_t const global_offset_)
: view(view_) : view(view_)
, line(line_) , line(line_)
, column(column_) , column(column_)
@ -324,7 +324,7 @@ public:
{ {
} }
Match(const String string_, const size_t line_, const size_t column_, const size_t global_offset_) Match(String const string_, size_t const line_, size_t const column_, size_t const global_offset_)
: string(string_) : string(string_)
, view(string.value().view()) , view(string.value().view())
, line(line_) , line(line_)
@ -382,7 +382,7 @@ using regex::RegexStringView;
template<> template<>
struct AK::Formatter<regex::RegexStringView> : Formatter<StringView> { struct AK::Formatter<regex::RegexStringView> : Formatter<StringView> {
void format(FormatBuilder& builder, const regex::RegexStringView& value) void format(FormatBuilder& builder, regex::RegexStringView const& value)
{ {
auto string = value.to_string(); auto string = value.to_string();
return Formatter<StringView>::format(builder, string); return Formatter<StringView>::format(builder, string);

8
Userland/Libraries/LibRegex/RegexMatcher.cpp
View file

@ -54,7 +54,7 @@ String Regex<Parser>::error_string(Optional<String> message) const
} }
template<typename Parser> template<typename Parser>
RegexResult Matcher<Parser>::match(const RegexStringView& view, Optional<typename ParserTraits<Parser>::OptionsType> regex_options) const RegexResult Matcher<Parser>::match(RegexStringView const& view, Optional<typename ParserTraits<Parser>::OptionsType> regex_options) const
{ {
AllOptions options = m_regex_options | regex_options.value_or({}).value(); AllOptions options = m_regex_options | regex_options.value_or({}).value();
@ -67,7 +67,7 @@ RegexResult Matcher<Parser>::match(const RegexStringView& view, Optional<typenam
} }
template<typename Parser> template<typename Parser>
RegexResult Matcher<Parser>::match(const Vector<RegexStringView> views, Optional<typename ParserTraits<Parser>::OptionsType> regex_options) const RegexResult Matcher<Parser>::match(Vector<RegexStringView> const views, Optional<typename ParserTraits<Parser>::OptionsType> regex_options) const
{ {
// If the pattern *itself* isn't stateful, reset any changes to start_offset. // If the pattern *itself* isn't stateful, reset any changes to start_offset.
if (!((AllFlags)m_regex_options.value() & AllFlags::Internal_Stateful)) if (!((AllFlags)m_regex_options.value() & AllFlags::Internal_Stateful))
@ -288,7 +288,7 @@ RegexResult Matcher<Parser>::match(const Vector<RegexStringView> views, Optional
} }
template<class Parser> template<class Parser>
Optional<bool> Matcher<Parser>::execute(const MatchInput& input, MatchState& state, MatchOutput& output, size_t recursion_level) const Optional<bool> Matcher<Parser>::execute(MatchInput const& input, MatchState& state, MatchOutput& output, size_t recursion_level) const
{ {
if (recursion_level > c_max_recursion) if (recursion_level > c_max_recursion)
return false; return false;
@ -358,7 +358,7 @@ Optional<bool> Matcher<Parser>::execute(const MatchInput& input, MatchState& sta
} }
template<class Parser> template<class Parser>
ALWAYS_INLINE Optional<bool> Matcher<Parser>::execute_low_prio_forks(const MatchInput& input, MatchState& original_state, MatchOutput& output, Vector<MatchState> states, size_t recursion_level) const ALWAYS_INLINE Optional<bool> Matcher<Parser>::execute_low_prio_forks(MatchInput const& input, MatchState& original_state, MatchOutput& output, Vector<MatchState> states, size_t recursion_level) const
{ {
for (auto& state : states) { for (auto& state : states) {

62
Userland/Libraries/LibRegex/RegexMatcher.h
View file

@ -23,8 +23,8 @@
namespace regex { namespace regex {
static const constexpr size_t c_max_recursion = 5000; static constexpr const size_t c_max_recursion = 5000;
static const constexpr size_t c_match_preallocation_count = 0; static constexpr const size_t c_match_preallocation_count = 0;
struct RegexResult final { struct RegexResult final {
bool success { false }; bool success { false };
@ -44,15 +44,15 @@ template<class Parser>
class Matcher final { class Matcher final {
public: public:
Matcher(const Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) Matcher(Regex<Parser> const& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
: m_pattern(pattern) : m_pattern(pattern)
, m_regex_options(regex_options.value_or({})) , m_regex_options(regex_options.value_or({}))
{ {
} }
~Matcher() = default; ~Matcher() = default;
RegexResult match(const RegexStringView&, Optional<typename ParserTraits<Parser>::OptionsType> = {}) const; RegexResult match(RegexStringView const&, Optional<typename ParserTraits<Parser>::OptionsType> = {}) const;
RegexResult match(const Vector<RegexStringView>, Optional<typename ParserTraits<Parser>::OptionsType> = {}) const; RegexResult match(Vector<RegexStringView> const, Optional<typename ParserTraits<Parser>::OptionsType> = {}) const;
typename ParserTraits<Parser>::OptionsType options() const typename ParserTraits<Parser>::OptionsType options() const
{ {
@ -60,11 +60,11 @@ public:
} }
private: private:
Optional<bool> execute(const MatchInput& input, MatchState& state, MatchOutput& output, size_t recursion_level) const; Optional<bool> execute(MatchInput const& input, MatchState& state, MatchOutput& output, size_t recursion_level) const;
ALWAYS_INLINE Optional<bool> execute_low_prio_forks(const MatchInput& input, MatchState& original_state, MatchOutput& output, Vector<MatchState> states, size_t recursion_level) const; ALWAYS_INLINE Optional<bool> execute_low_prio_forks(MatchInput const& input, MatchState& original_state, MatchOutput& output, Vector<MatchState> states, size_t recursion_level) const;
const Regex<Parser>& m_pattern; Regex<Parser> const& m_pattern;
const typename ParserTraits<Parser>::OptionsType m_regex_options; typename ParserTraits<Parser>::OptionsType const m_regex_options;
}; };
template<class Parser> template<class Parser>
@ -84,21 +84,21 @@ public:
void print_bytecode(FILE* f = stdout) const; void print_bytecode(FILE* f = stdout) const;
String error_string(Optional<String> message = {}) const; String error_string(Optional<String> message = {}) const;
RegexResult match(const RegexStringView view, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const RegexResult match(RegexStringView const view, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
if (!matcher || parser_result.error != Error::NoError) if (!matcher || parser_result.error != Error::NoError)
return {}; return {};
return matcher->match(view, regex_options); return matcher->match(view, regex_options);
} }
RegexResult match(const Vector<RegexStringView> views, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const RegexResult match(Vector<RegexStringView> const views, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
if (!matcher || parser_result.error != Error::NoError) if (!matcher || parser_result.error != Error::NoError)
return {}; return {};
return matcher->match(views, regex_options); return matcher->match(views, regex_options);
} }
String replace(const RegexStringView view, const StringView& replacement_pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const String replace(RegexStringView const view, StringView const& replacement_pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
if (!matcher || parser_result.error != Error::NoError) if (!matcher || parser_result.error != Error::NoError)
return {}; return {};
@ -137,9 +137,9 @@ public:
return builder.to_string(); return builder.to_string();
} }
// FIXME: replace(const Vector<RegexStringView>, ...) // FIXME: replace(Vector<RegexStringView> const , ...)
RegexResult search(const RegexStringView view, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const RegexResult search(RegexStringView const view, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
if (!matcher || parser_result.error != Error::NoError) if (!matcher || parser_result.error != Error::NoError)
return {}; return {};
@ -155,7 +155,7 @@ public:
return matcher->match(view, options); return matcher->match(view, options);
} }
RegexResult search(const Vector<RegexStringView> views, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const RegexResult search(Vector<RegexStringView> const views, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
if (!matcher || parser_result.error != Error::NoError) if (!matcher || parser_result.error != Error::NoError)
return {}; return {};
@ -171,31 +171,31 @@ public:
return matcher->match(views, options); return matcher->match(views, options);
} }
bool match(const RegexStringView view, RegexResult& m, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const bool match(RegexStringView const view, RegexResult& m, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
m = match(view, regex_options); m = match(view, regex_options);
return m.success; return m.success;
} }
bool match(const Vector<RegexStringView> views, RegexResult& m, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const bool match(Vector<RegexStringView> const views, RegexResult& m, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
m = match(views, regex_options); m = match(views, regex_options);
return m.success; return m.success;
} }
bool search(const RegexStringView view, RegexResult& m, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const bool search(RegexStringView const view, RegexResult& m, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
m = search(view, regex_options); m = search(view, regex_options);
return m.success; return m.success;
} }
bool search(const Vector<RegexStringView> views, RegexResult& m, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const bool search(Vector<RegexStringView> const views, RegexResult& m, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
m = search(views, regex_options); m = search(views, regex_options);
return m.success; return m.success;
} }
bool has_match(const RegexStringView view, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const bool has_match(RegexStringView const view, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
if (!matcher || parser_result.error != Error::NoError) if (!matcher || parser_result.error != Error::NoError)
return false; return false;
@ -203,7 +203,7 @@ public:
return result.success; return result.success;
} }
bool has_match(const Vector<RegexStringView> views, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const bool has_match(Vector<RegexStringView> const views, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) const
{ {
if (!matcher || parser_result.error != Error::NoError) if (!matcher || parser_result.error != Error::NoError)
return false; return false;
@ -214,61 +214,61 @@ public:
// free standing functions for match, search and has_match // free standing functions for match, search and has_match
template<class Parser> template<class Parser>
RegexResult match(const RegexStringView view, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) RegexResult match(RegexStringView const view, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.match(view, regex_options); return pattern.match(view, regex_options);
} }
template<class Parser> template<class Parser>
RegexResult match(const Vector<RegexStringView> view, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) RegexResult match(Vector<RegexStringView> const view, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.match(view, regex_options); return pattern.match(view, regex_options);
} }
template<class Parser> template<class Parser>
bool match(const RegexStringView view, Regex<Parser>& pattern, RegexResult&, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) bool match(RegexStringView const view, Regex<Parser>& pattern, RegexResult&, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.match(view, regex_options); return pattern.match(view, regex_options);
} }
template<class Parser> template<class Parser>
bool match(const Vector<RegexStringView> view, Regex<Parser>& pattern, RegexResult&, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) bool match(Vector<RegexStringView> const view, Regex<Parser>& pattern, RegexResult&, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.match(view, regex_options); return pattern.match(view, regex_options);
} }
template<class Parser> template<class Parser>
RegexResult search(const RegexStringView view, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) RegexResult search(RegexStringView const view, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.search(view, regex_options); return pattern.search(view, regex_options);
} }
template<class Parser> template<class Parser>
RegexResult search(const Vector<RegexStringView> views, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) RegexResult search(Vector<RegexStringView> const views, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.search(views, regex_options); return pattern.search(views, regex_options);
} }
template<class Parser> template<class Parser>
bool search(const RegexStringView view, Regex<Parser>& pattern, RegexResult&, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) bool search(RegexStringView const view, Regex<Parser>& pattern, RegexResult&, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.search(view, regex_options); return pattern.search(view, regex_options);
} }
template<class Parser> template<class Parser>
bool search(const Vector<RegexStringView> views, Regex<Parser>& pattern, RegexResult&, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) bool search(Vector<RegexStringView> const views, Regex<Parser>& pattern, RegexResult&, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.search(views, regex_options); return pattern.search(views, regex_options);
} }
template<class Parser> template<class Parser>
bool has_match(const RegexStringView view, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) bool has_match(RegexStringView const view, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.has_match(view, regex_options); return pattern.has_match(view, regex_options);
} }
template<class Parser> template<class Parser>
bool has_match(const Vector<RegexStringView> views, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {}) bool has_match(Vector<RegexStringView> const views, Regex<Parser>& pattern, Optional<typename ParserTraits<Parser>::OptionsType> regex_options = {})
{ {
return pattern.has_match(views, regex_options); return pattern.has_match(views, regex_options);
} }

2
Userland/Libraries/LibRegex/RegexParser.cpp
View file

@ -55,7 +55,7 @@ ALWAYS_INLINE Token Parser::consume(TokenType type, Error error)
return consume(); return consume();
} }
ALWAYS_INLINE bool Parser::consume(const String& str) ALWAYS_INLINE bool Parser::consume(String const& str)
{ {
size_t potentially_go_back { 1 }; size_t potentially_go_back { 1 };
for (auto ch : str) { for (auto ch : str) {

2
Userland/Libraries/LibRegex/RegexParser.h
View file

@ -78,7 +78,7 @@ protected:
ALWAYS_INLINE bool match_ordinary_characters(); ALWAYS_INLINE bool match_ordinary_characters();
ALWAYS_INLINE Token consume(); ALWAYS_INLINE Token consume();
ALWAYS_INLINE Token consume(TokenType type, Error error); ALWAYS_INLINE Token consume(TokenType type, Error error);
ALWAYS_INLINE bool consume(const String&); ALWAYS_INLINE bool consume(String const&);
ALWAYS_INLINE bool try_skip(StringView); ALWAYS_INLINE bool try_skip(StringView);
ALWAYS_INLINE bool lookahead_any(StringView); ALWAYS_INLINE bool lookahead_any(StringView);
ALWAYS_INLINE char skip(); ALWAYS_INLINE char skip();