Pages

Friday 28 October 2011

FeatureId

Small improvement coming out of some recent work on ResourceId.
BEFORE
    Set selected = new HashSet();
    selected.add(ff.featureId("CITY.98734597823459687235"));
    selected.add(ff.featureId("CITY.98734592345235823474"));
    
    filter = ff.id(selected);
AFTER:
    filter = ff.id(ff.featureId("CITY.98734597823459687235"),
                   ff.featureId("CITY.98734592345235823474"));
Documentation harmed in the making of this post:

No comments: