method private update_metrics_map filename strmap = metrics_map <- Datatype.String.Map.add filename strmap metrics_map