Beispiel #1
0
 public void delete_resources(ResourceType t, List<String> value) {
   Set<String> resources = resource_map.get(t);
   if (resources != null && !resources.isEmpty()) {
     t.postHook(resources, value);
     resources.removeAll(value);
   }
 }