Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Parser experiments #936

Draft
wants to merge 2 commits into
base: develop
Choose a base branch
from
Draft

Parser experiments #936

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
4b1c42f
parser state is popped by the caller
grisumbras Sep 3, 2023
f3ec75f
temp
grisumbras Sep 5, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
61 changes: 36 additions & 25 deletions include/boost/json/basic_parser.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -283,6 +283,8 @@ class basic_parser
val1, val2, val3
};

using no_state = std::integral_constant< state, state(CHAR_MAX) >;

struct number
{
uint64_t mant;
Expand All @@ -292,7 +294,7 @@ class basic_parser
bool neg;
};

template< bool StackEmpty_, char First_ >
template< class PrevState, char First_ >
struct parse_number_helper;

// optimization: must come first
Expand Down Expand Up @@ -392,42 +394,47 @@ class basic_parser
#pragma warning pop
#endif

template<bool StackEmpty_/*, bool Terminal_*/>
template<class PrevState/*, bool Terminal_*/>
const char* parse_comment(const char* p,
std::integral_constant<bool, StackEmpty_> stack_empty,
PrevState st,
/*std::integral_constant<bool, Terminal_>*/ bool terminal);

template<bool StackEmpty_>
const char* parse_document(const char* p,
std::integral_constant<bool, StackEmpty_> stack_empty);
template<class PrevState>
const char* parse_document(const char* p, PrevState st);

template<bool StackEmpty_, bool AllowComments_/*,
template<class PrevState, bool AllowComments_/*,
bool AllowTrailing_, bool AllowBadUTF8_*/>
const char* parse_value(const char* p,
std::integral_constant<bool, StackEmpty_> stack_empty,
const char* parse_value(
const char* p,
PrevState st,
std::integral_constant<bool, AllowComments_> allow_comments,
/*std::integral_constant<bool, AllowTrailing_>*/ bool allow_trailing,
/*std::integral_constant<bool, AllowBadUTF8_>*/ bool allow_bad_utf8);

template<bool AllowComments_/*,
bool AllowTrailing_, bool AllowBadUTF8_*/>
const char* resume_value(const char* p,
const char* resume_value(
const char* p,
state st,
std::integral_constant<bool, AllowComments_> allow_comments,
/*std::integral_constant<bool, AllowTrailing_>*/ bool allow_trailing,
/*std::integral_constant<bool, AllowBadUTF8_>*/ bool allow_bad_utf8);

template<bool StackEmpty_, bool AllowComments_/*,
template<class PrevState, bool AllowComments_/*,
bool AllowTrailing_, bool AllowBadUTF8_*/>
const char* parse_object(const char* p,
std::integral_constant<bool, StackEmpty_> stack_empty,
const char* parse_object(
const char* p,
PrevState st,
std::size_t size,
std::integral_constant<bool, AllowComments_> allow_comments,
/*std::integral_constant<bool, AllowTrailing_>*/ bool allow_trailing,
/*std::integral_constant<bool, AllowBadUTF8_>*/ bool allow_bad_utf8);

template<bool StackEmpty_, bool AllowComments_/*,
template<class PrevState, bool AllowComments_/*,
bool AllowTrailing_, bool AllowBadUTF8_*/>
const char* parse_array(const char* p,
std::integral_constant<bool, StackEmpty_> stack_empty,
PrevState st,
std::size_t size,
std::integral_constant<bool, AllowComments_> allow_comments,
/*std::integral_constant<bool, AllowTrailing_>*/ bool allow_trailing,
/*std::integral_constant<bool, AllowBadUTF8_>*/ bool allow_bad_utf8);
Expand All @@ -436,32 +443,36 @@ class basic_parser
const char* parse_literal(const char* p,
std::integral_constant<int, Literal> literal);

template<bool StackEmpty_, bool IsKey_/*,
template<class PrevState, bool IsKey_/*,
bool AllowBadUTF8_*/>
const char* parse_string(const char* p,
std::integral_constant<bool, StackEmpty_> stack_empty,
const char* parse_string(
const char* p,
PrevState st,
std::size_t total,
std::integral_constant<bool, IsKey_> is_key,
/*std::integral_constant<bool, AllowBadUTF8_>*/ bool allow_bad_utf8);

template<bool StackEmpty_, char First_, number_precision Numbers_>
template<class PrevState, char First_, number_precision Numbers_>
const char* parse_number(const char* p,
std::integral_constant<bool, StackEmpty_> stack_empty,
PrevState st,
std::integral_constant<char, First_> first,
std::integral_constant<number_precision, Numbers_> numbers);

template<bool StackEmpty_, bool IsKey_/*,
template<class PrevState, bool IsKey_/*,
bool AllowBadUTF8_*/>
const char* parse_unescaped(const char* p,
std::integral_constant<bool, StackEmpty_> stack_empty,
const char* parse_unescaped(
const char* p,
PrevState st,
std::size_t total,
std::integral_constant<bool, IsKey_> is_key,
/*std::integral_constant<bool, AllowBadUTF8_>*/ bool allow_bad_utf8);

template<bool StackEmpty_/*, bool IsKey_,
template<class PrevState/*, bool IsKey_,
bool AllowBadUTF8_*/>
const char* parse_escaped(
const char* p,
PrevState st,
std::size_t total,
std::integral_constant<bool, StackEmpty_> stack_empty,
/*std::integral_constant<bool, IsKey_>*/ bool is_key,
/*std::integral_constant<bool, AllowBadUTF8_>*/ bool allow_bad_utf8);

Expand Down
Loading
Loading