new_filtered


Description:

[ Version ( since = "0.2.2" ) ]
public List new_filtered (Filter filter)

Construct a new list that is filled with elements from this that match filter

Parameters:

this

the list to copy

filter

the filter to apply

Returns:

a filtered copy of the list




2022 vala-language.org