Extend Filters, extract Ids - #509

Draft

rtroilo wants to merge 11 commits into

mainfrom

extend_filters_getters

Commits on Jun 16, 2023

adding missing getters
rtroilo
committed
16928ca
minor fixes and changes for java 17 new features
rtroilo
committed
514a5cc
generate stream from IdRange
rtroilo
committed
b642123
new FilterUtil for extraction of ids from expression
rtroilo
committed
4a9580a
new FilterUtil for extraction of ids from expression
rtroilo
committed
6d83b24
changes for review
rtroilo
committed
4529e56

Commits on Jun 19, 2023

Apply suggestions from code review

rtroilo
and
tyrasd
authored
bb87c50
add assert for idFilterEqualsAny.getIds()
rtroilo
committed
9284e1a
clean up and fix some warnings
rtroilo
committed
e335a4b
incooperate typefilter for id extraction as well
rtroilo
committed
bdb936b
add tag extraction
rtroilo
committed
d2df862