thingFilter property

ThingFilter? thingFilter

Optional filter that is supposed to used as a query parameter and to filter received TDs.

Currently, this configuration parameter is unused, however.

Implementation

final ThingFilter? thingFilter;