Skip to content

Simplify 'ModelElement.filtering_criteria'#558

Merged
Wuestengecko merged 1 commit into
masterfrom
filtering-criteria-accessor
Jul 15, 2025
Merged

Simplify 'ModelElement.filtering_criteria'#558
Wuestengecko merged 1 commit into
masterfrom
filtering-criteria-accessor

Conversation

@Wuestengecko

Copy link
Copy Markdown
Member

Use a simple property and ElementList.map() instead of a specialized, single-use Accessor subclass.

@Wuestengecko
Wuestengecko requested a review from ewuerger July 1, 2025 12:53
@Wuestengecko
Wuestengecko force-pushed the filtering-criteria-accessor branch from d87eb0f to 53c66f4 Compare July 1, 2025 14:09
@Wuestengecko
Wuestengecko force-pushed the filtering-criteria-accessor branch 3 times, most recently from eed64b4 to 185a1a5 Compare July 11, 2025 11:38
Use a simple property and `ElementList.map()` instead of a specialized,
single-use Accessor subclass.
@Wuestengecko
Wuestengecko force-pushed the filtering-criteria-accessor branch from 185a1a5 to d9b208a Compare July 14, 2025 14:41
@Wuestengecko
Wuestengecko merged commit c92295b into master Jul 15, 2025
20 checks passed
@Wuestengecko
Wuestengecko deleted the filtering-criteria-accessor branch July 15, 2025 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant