/** * Method to read the header from a metrics file. */ public static List<Header> readHeaders(final File file) { try { final MetricsFile<MetricBase, ?> metricsFile = new MetricsFile<>(); metricsFile.read(new FileReader(file)); return metricsFile.getHeaders(); } catch (FileNotFoundException e) { throw new SAMException(e.getMessage(), e); } }
/** * Method to read the header from a metrics file. */ public static List<Header> readHeaders(final File file) { try { final MetricsFile<MetricBase, ?> metricsFile = new MetricsFile<>(); metricsFile.read(new FileReader(file)); return metricsFile.getHeaders(); } catch (FileNotFoundException e) { throw new SAMException(e.getMessage(), e); } }