new_filtered


Description:

[ Version ( deprecated = true , deprecated_since = "0.2.2" ) ]
public PlatformList new_filtered (Filter filter)

Warning: new_filtered is deprecated since 0.2.2.

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

Note:

Use new_filtered instead.

Parameters:

this

the platform list to copy

filter

the filter to apply

Returns:

a filtered copy of the platform list