public CounterMetricName(string counterName) { Contract.Requires(!string.IsNullOrEmpty(counterName)); CounterName = counterName; }