Feature: Proper type prettification#110

Merged

DNKpp merged 130 commits intodevelopmentfrom

dev/TypeNameParser

May 10, 2025

Commits on May 6, 2025

feat: util::prefix_range
DNKpp
committed
feat: util::concat_array
DNKpp
committed
feat: printing::type::lexing::NameLexer
DNKpp
committed
chore: enhance VariantEqualsMatcher
DNKpp
committed
chore: rework NameLexer.hpp
DNKpp
committed
feat: util::projected_value_t c++26-backport
DNKpp
committed
fix: add utilities/C++26Backports.hpp to Utilities.hpp
DNKpp
committed
fix: NameLexer handles << and >> correctly
DNKpp
committed
feat: util::contains
DNKpp
committed
feat: lexing::keyword::text and lexing::operator_or_punctuator::text
DNKpp
committed
fix: remove invalid constexpr specification
DNKpp
committed
feat: printing::type::parsing::NameParser, which handles identifiers
DNKpp
committed
refactor: enhance usability of match_suffix with single suffix-element
DNKpp
committed
feat: type::parsing::NameParser handles specs
DNKpp
committed
fix: correct impl of match_suffix with multiple suffix-elements
DNKpp
committed
feat: type::parsing::NameParser handles templates
DNKpp
committed
chore: mark several functions as constexpr
DNKpp
committed
feat: type::parsing::NameParser handles functions
DNKpp
committed
fix: parsing::NameParser correctly detects function-types
DNKpp
committed
feat: parsing::NameParser detects placeholders
DNKpp
committed
refactor: overhaul function handling and introduce token::End as end-state
DNKpp
committed
fix: make util::concat_array working on msvc

aunovis-koepke
authored and
DNKpp
committed
fix: please msvc

aunovis-koepke
authored and
DNKpp
committed
fix: remove obsolete function-info symbols from parsing::token::Identifier
DNKpp
committed
fix: parsing::NameParser detects placeholders wrapped in parenthesis
DNKpp
committed
fix: remove constexpr from try_reduce_as_scope_sequence and thus pleasing libc++
DNKpp
committed
test: remove constexpr from test result, so that they are actually executed at runtime
DNKpp
committed
test: remove constexpr from test input, so that they are actually executed at runtime
DNKpp
committed
feat: add FunctionContext token
DNKpp
committed
feat: add `unrecognized` callback for reporting errors in parsing::NameParser
DNKpp
committed
feat: parsing::NameParser detects simple function-ptrs
DNKpp
committed
fix: parsing::NameParser correctly detects function-ptrs as params
DNKpp
committed
fix: parsing::NameParser correctly detects function-ptrs as template arguments
DNKpp
committed
feat: parsing::NameParser handles function-ptr return-types
DNKpp
committed
fix: remove invalid constexpr
DNKpp
committed
chore: function and function-type tokens do not emit begin/end_type callbacks
DNKpp
committed
test: extend parsing::NameParser tests
DNKpp
committed
feat: extend lexer keyword collection
DNKpp
committed
feat: parsing::NameParser supports msvc-like function-scopes
DNKpp
committed
test: extend placeholder parsing test-case
DNKpp
committed
test: add parsing::NameParser cases for reserved identifier handling
DNKpp
committed
feat: parsing::NameParser supports simple operators
DNKpp
committed
feat: parsing::NameParser handles new, delete and co_await operators
DNKpp
committed
feat: parsing::NameParser handles conversion operators
DNKpp
committed
fix: remove invalid constexpr
DNKpp
committed
fix: add missing include
DNKpp
committed
fix: parsing::NameParser omits void from function args `(void)`
DNKpp
committed
feat: printing::type::PrintVisitor sketchup
DNKpp
committed
chore: enable NameParser as type-printer backend
DNKpp
committed
test: relax several test constraints
DNKpp
committed
fix: parsing::NameParser does not treat something like `(anonymous class)` as function-args
DNKpp
committed
fix: parsing::NameParser correctly handles nested templates and placeholders as template-args
DNKpp
committed
fix: parsing::NameParser detects placeholders wrapped in ''
DNKpp
committed
feat: PrintVisitor unwraps identifier in the form `'lambda\\d*'`
DNKpp
committed
fix: parsing::NameParser correctly handles `operator<<>`
DNKpp
committed
refactor: slightly overhaul parsing::token::Specs reference and noexcept handling
DNKpp
committed
test: mark test as mayfail
DNKpp
committed
cleanup: remove unnecessary placeholder reductions
DNKpp
committed
refactor: extract parsing tokens into NameParserTokens.hpp
DNKpp
committed
refactor: extract parsing reductions into NameParserReductions.hpp
DNKpp
committed
cleanup: remove obsolete and deactivated tests from NameLexer
DNKpp
committed
test: add test-case for lexing::operator_or_punctuator::text
DNKpp
committed
test: add test-case for lexing::keyword::text
DNKpp
committed
chore: exclude compile-time only code from code-coverage
DNKpp
committed
fix: correct assertion
DNKpp
committed
feat: parsing::PrintVisitor ignores namespaces in form `\d+'

aunovis-koepke
authored and
DNKpp
committed
feat: parsing::PrintVisitor prettifies msvc-like lambdas

aunovis-koepke
authored and
DNKpp
committed
fix: parsing::PrintVisitor unwraps general msvc-like scope-sequences

aunovis-koepke
authored and
DNKpp
committed
feat: parsing::PrintVisitor prettifies `anonymous-namespace' identifier

aunovis-koepke
authored and
DNKpp
committed
feat: parsing::PrintVisitor fully unwraps msvc-like placeholders

aunovis-koepke
authored and
DNKpp
committed
fix: try_reduce_as_function_identifier ignores trailing spaces

aunovis-koepke
authored and
DNKpp
committed
fix: parsing::NameParser does not treat ::() as function-args

aunovis-koepke
authored and
DNKpp
committed
fix: try_reduce_as_function_ptr ignores optional space

aunovis-koepke
authored and
DNKpp
committed
fix: parsing::NameParser correctly handles function-types as template-argument
DNKpp
committed
chore: split operator() of parsing::NameParser into two separate functions: parse_type and parse_function
DNKpp
committed
chore: split prettify_identifier into separate functions: prettify_type and prettify_function
DNKpp
committed
fix: strenghten the condition for keeping reserved identifiers

aunovis-koepke
authored and
DNKpp
committed
chore: unify token::Specs reductions

aunovis-koepke
authored and
DNKpp
committed
fix: make token::Space filtering more reliable

aunovis-koepke
authored and
DNKpp
committed
test: extend parsing::NameParser test cases

aunovis-koepke
authored and
DNKpp
committed
chore: rework token::Specs handling
DNKpp
committed
chore: parsing::NameParser keeps all identifiers, even the reserved ones
DNKpp
committed
chore: parsing::NameParser does not store Space tokens
DNKpp
committed
chore: rework token::FunctionContext and remove token::FunctionArgs
DNKpp
committed
fix: parsing::NameParser never accepts two adjacent Type tokens
DNKpp
committed
fix: parsing::NameParser ignores non-name reserved-identifiers
DNKpp
committed
fix: define functions type::prettify_function and type::prettify_type when MIMICPP_CONFIG_EXPERIMENTAL_PRETTY_TYPES is disabled
DNKpp
committed
test: add additional msvc-like test
DNKpp
committed
fix: parsing::NameParser does not treat placeholders as template- or function-args
DNKpp
committed
fix: treat token::TypeContext as valid placeholder-prefix

aunovis-koepke
authored and
DNKpp
committed
fix: parsing::NameParser correctly handles placeholders

aunovis-koepke
authored and
DNKpp
committed
fix: parsing::NameParser ignores identifiers like `__ptr64` during type reductions

aunovis-koepke
authored and
DNKpp
committed
fix: parsing::NameParser treats call-conventions as valid return-type delimiter when reducing function-types

aunovis-koepke
authored and
DNKpp
committed
fix: parsing::NameParser detects function-ptrs decorated with call-convention

aunovis-koepke
authored and
DNKpp
committed
fix: lexing::NameLexer recognizes `static` as keyword

aunovis-koepke
authored and
DNKpp
committed
test: extend parsing::NameParser test with msvc-like case
DNKpp
committed
fix: correct test-case from previous commit
DNKpp
committed
fix: please gcov
DNKpp
committed
fix: remove unused value
DNKpp
committed
cleanup: remove obsolete parsing::token::Specs::Layer::merge function
DNKpp
committed
cleanup: remove obsolete character predicates
DNKpp
committed
chore: improve parsing::NameParser::finalize
DNKpp
committed
refactor: simplify several token peeks
DNKpp
committed
chore: slightly simplify parsing::NameParser::unwrap_msvc_like_function
DNKpp
committed
fix: parsing::NameParser handles msvc's std::stacktrace special characteristics

aunovis-koepke
authored and
DNKpp
committed
cleanup: remove obsolete type-name post-processing symbols
DNKpp
committed
fix: parsing::NameParser handles all builtin-types correctly
DNKpp
committed
fix: correct assertion condition
DNKpp
committed
fix: parsing::NameParser treats `__int64` as an alias for `long long`

aunovis-koepke
authored and
DNKpp
committed
fix: please AppleClang-16 and 17 by disabling case for char8_t
DNKpp
committed
test: add test case returning function-ptr
DNKpp
committed
test: add cases for printing::type::lexing::is_space
DNKpp
committed
test: add cases for printing::type::lexing::is_digit
DNKpp
committed
cleanup: remove obsolete code-branch
DNKpp
committed
fix: try_reduce_as_function_ptr ignores optional space
DNKpp
committed
fix: try_reduce_as_function_ptr ignores call-convention

aunovis-koepke
authored and
DNKpp
committed
test: add test-cases for msvc-like decorated function-ptrs
DNKpp
committed
refactor: simplify get_or_emplace_specs
DNKpp
committed
fix: revert changes from previous commit

aunovis-koepke
authored and
DNKpp
committed

Commits on May 10, 2025

feat: begin_template_args and begin_function_args reports their argument-count by additional arg
DNKpp
committed
fix: parsing::NameParser correctly handles conversion-operators
DNKpp
committed
chore: adjust conversion-operator reduction
DNKpp
committed
fix: correct operator related tests
DNKpp
committed
fix: please clang
DNKpp
committed
fix: correct TestAssert.hpp integration
DNKpp
committed
fix: make try_reduce_as_regular_type more robust
aunovis-koepke
committed
fix: reduce_as_conversion_operator_function_identifier is more permissive
aunovis-koepke
committed
chore: mark test case as mayfail on msvc
aunovis-koepke
committed
chore: adjust reduce_as_conversion_operator_function_identifier's handling of operators in non-function form
DNKpp
committed
test: make conversion-operator stacktrace test more permissive to match results on clang-cl
aunovis-koepke
committed

Uh oh!

Commits

Commits on May 6, 2025

Commits on May 10, 2025