private void printDouble ( MetricType metricType , String name , String description , double value ) { printHeader ( metricType , name , description ) ; printDoubleWithFields ( name , null , value ) ; }
prints a double metric value including HELP and TYPE rows