| // Copyright 2014 The Bazel Authors. All rights reserved. | |
| // | |
| // Licensed under the Apache License, Version 2.0 (the "License"); | |
| // you may not use this file except in compliance with the License. | |
| // You may obtain a copy of the License at | |
| // | |
| // http://www.apache.org/licenses/LICENSE-2.0 | |
| // | |
| // Unless required by applicable law or agreed to in writing, software | |
| // distributed under the License is distributed on an "AS IS" BASIS, | |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| // See the License for the specific language governing permissions and | |
| // limitations under the License. | |
| package com.google.devtools.build.lib.profiler; | |
| /** | |
| * Hold pre-formatted statistics of a profiled execution phase. | |
| * | |
| * TODO(bazel-team): Change String statistics into StatisticsTable[], where StatisticsTable is an | |
| * Object with a title (can be null), header[columns] (can be null), data[rows][columns], | |
| * alignment[columns] (left/right). | |
| * The HtmlChartsVisitor can turn that into HTML tables, the text formatter can calculate the max | |
| * for each column and format the text accordingly. | |
| */ | |
| public class ProfilePhaseStatistics { | |
| private final String title; | |
| private final String statistics; | |
| public ProfilePhaseStatistics (String title, String statistics) { | |
| this.title = title; | |
| this.statistics = statistics; | |
| } | |
| public String getTitle(){ | |
| return title; | |
| } | |
| public String getStatistics(){ | |
| return statistics; | |
| } | |
| } |