2012-10-02 09:12:39 +02:00
|
|
|
/****************************************************************************
|
2011-07-06 15:48:52 +00:00
|
|
|
**
|
2016-01-15 14:58:39 +01:00
|
|
|
** Copyright (C) 2016 The Qt Company Ltd.
|
|
|
|
|
** Contact: https://www.qt.io/licensing/
|
2011-07-06 15:48:52 +00:00
|
|
|
**
|
2012-10-02 09:12:39 +02:00
|
|
|
** This file is part of Qt Creator.
|
2011-07-06 15:48:52 +00:00
|
|
|
**
|
2012-10-02 09:12:39 +02:00
|
|
|
** Commercial License Usage
|
|
|
|
|
** Licensees holding valid commercial Qt licenses may use this file in
|
|
|
|
|
** accordance with the commercial license agreement provided with the
|
|
|
|
|
** Software or, alternatively, in accordance with the terms contained in
|
2016-01-15 14:58:39 +01:00
|
|
|
** a written agreement between you and The Qt Company. For licensing terms
|
|
|
|
|
** and conditions see https://www.qt.io/terms-conditions. For further
|
|
|
|
|
** information use the contact form at https://www.qt.io/contact-us.
|
2011-07-06 15:48:52 +00:00
|
|
|
**
|
2016-01-15 14:58:39 +01:00
|
|
|
** GNU General Public License Usage
|
|
|
|
|
** Alternatively, this file may be used under the terms of the GNU
|
|
|
|
|
** General Public License version 3 as published by the Free Software
|
|
|
|
|
** Foundation with exceptions as appearing in the file LICENSE.GPL3-EXCEPT
|
|
|
|
|
** included in the packaging of this file. Please review the following
|
|
|
|
|
** information to ensure the GNU General Public License requirements will
|
|
|
|
|
** be met: https://www.gnu.org/licenses/gpl-3.0.html.
|
2011-07-06 15:48:52 +00:00
|
|
|
**
|
2012-10-02 09:12:39 +02:00
|
|
|
****************************************************************************/
|
2011-07-06 15:48:52 +00:00
|
|
|
|
2013-09-03 12:53:48 +02:00
|
|
|
import QtQuick 2.1
|
2011-06-20 18:11:17 +02:00
|
|
|
|
2014-11-07 18:13:31 +01:00
|
|
|
Item {
|
2011-06-20 18:11:17 +02:00
|
|
|
id: timeDisplay
|
|
|
|
|
|
2014-12-10 11:21:53 +01:00
|
|
|
property double windowStart
|
|
|
|
|
property double rangeDuration
|
|
|
|
|
|
|
|
|
|
property int topBorderHeight: 2
|
|
|
|
|
property int bottomBorderHeight: 1
|
|
|
|
|
property int textMargin: 5
|
|
|
|
|
property int labelsHeight: 24
|
|
|
|
|
property int fontSize: 8
|
|
|
|
|
property color color1: "#E6E6E6"
|
|
|
|
|
property color color2: "white"
|
|
|
|
|
property int initialBlockLength: 120
|
2014-11-07 18:13:31 +01:00
|
|
|
property double spacing: width / rangeDuration
|
2011-06-20 18:11:17 +02:00
|
|
|
|
2014-11-07 18:13:31 +01:00
|
|
|
property double timePerBlock: Math.pow(2, Math.floor(Math.log(initialBlockLength / spacing) /
|
|
|
|
|
Math.LN2))
|
2011-11-16 16:08:05 +01:00
|
|
|
|
2014-12-10 11:21:53 +01:00
|
|
|
property double alignedWindowStart: Math.round(windowStart - (windowStart % timePerBlock))
|
2014-11-07 18:13:31 +01:00
|
|
|
property double pixelsPerBlock: timeDisplay.timePerBlock * timeDisplay.spacing
|
|
|
|
|
property double pixelsPerSection: pixelsPerBlock / 5
|
2011-06-20 18:11:17 +02:00
|
|
|
|
2014-11-07 18:13:31 +01:00
|
|
|
property int contentX
|
2014-12-10 11:21:53 +01:00
|
|
|
property int offsetX: contentX + Math.round((windowStart % timePerBlock) * spacing)
|
2014-03-25 17:10:25 +01:00
|
|
|
|
2014-11-07 18:13:31 +01:00
|
|
|
readonly property var timeUnits: ["μs", "ms", "s"]
|
|
|
|
|
function prettyPrintTime(t, rangeDuration) {
|
2015-07-01 18:58:05 +02:00
|
|
|
if (rangeDuration < 1)
|
|
|
|
|
return ""
|
|
|
|
|
|
2013-11-21 18:07:17 +01:00
|
|
|
var round = 1;
|
|
|
|
|
var barrier = 1;
|
|
|
|
|
|
2014-11-07 18:13:31 +01:00
|
|
|
for (var i = 0; i < timeUnits.length; ++i) {
|
2013-11-21 18:07:17 +01:00
|
|
|
barrier *= 1000;
|
2014-11-07 18:13:31 +01:00
|
|
|
if (rangeDuration < barrier)
|
2013-11-21 18:07:17 +01:00
|
|
|
round *= 1000;
|
2014-11-07 18:13:31 +01:00
|
|
|
else if (rangeDuration < barrier * 10)
|
2013-11-21 18:07:17 +01:00
|
|
|
round *= 100;
|
2014-11-07 18:13:31 +01:00
|
|
|
else if (rangeDuration < barrier * 100)
|
2013-11-21 18:07:17 +01:00
|
|
|
round *= 10;
|
|
|
|
|
if (t < barrier * 1000)
|
2014-11-07 18:13:31 +01:00
|
|
|
return Math.floor(t / (barrier / round)) / round + timeUnits[i];
|
2013-11-21 18:07:17 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
t /= barrier;
|
|
|
|
|
var m = Math.floor(t / 60);
|
|
|
|
|
var s = Math.floor((t - m * 60) * round) / round;
|
|
|
|
|
return m + "m" + s + "s";
|
2011-06-20 18:11:17 +02:00
|
|
|
}
|
2014-11-07 18:13:31 +01:00
|
|
|
|
|
|
|
|
Item {
|
|
|
|
|
x: Math.floor(firstBlock * timeDisplay.pixelsPerBlock - timeDisplay.offsetX)
|
|
|
|
|
y: 0
|
|
|
|
|
id: row
|
|
|
|
|
|
|
|
|
|
property int firstBlock: timeDisplay.offsetX / timeDisplay.pixelsPerBlock
|
|
|
|
|
property int offset: firstBlock % repeater.model
|
|
|
|
|
|
|
|
|
|
Repeater {
|
|
|
|
|
id: repeater
|
|
|
|
|
model: Math.floor(timeDisplay.width / timeDisplay.initialBlockLength * 2 + 2)
|
|
|
|
|
|
|
|
|
|
Item {
|
|
|
|
|
id: column
|
|
|
|
|
|
|
|
|
|
// Changing the text in text nodes is expensive. We minimize the number of changes
|
|
|
|
|
// by rotating the nodes during scrolling.
|
|
|
|
|
property int stableIndex: row.offset > index ? repeater.model - row.offset + index :
|
|
|
|
|
index - row.offset
|
|
|
|
|
height: timeDisplay.height
|
|
|
|
|
y: 0
|
|
|
|
|
x: width * stableIndex
|
|
|
|
|
width: timeDisplay.pixelsPerBlock
|
|
|
|
|
|
|
|
|
|
// Manually control this. We don't want it to happen when firstBlock
|
|
|
|
|
// changes before stableIndex changes.
|
|
|
|
|
onStableIndexChanged: block = row.firstBlock + stableIndex
|
|
|
|
|
property int block: -1
|
|
|
|
|
property double blockStartTime: block * timeDisplay.timePerBlock +
|
|
|
|
|
timeDisplay.alignedWindowStart
|
|
|
|
|
|
|
|
|
|
Rectangle {
|
|
|
|
|
id: timeLabel
|
|
|
|
|
|
|
|
|
|
anchors.top: parent.top
|
|
|
|
|
anchors.left: parent.left
|
|
|
|
|
anchors.right: parent.right
|
|
|
|
|
height: timeDisplay.labelsHeight
|
|
|
|
|
|
|
|
|
|
color: (Math.round(column.block + timeDisplay.alignedWindowStart /
|
2014-12-10 11:21:53 +01:00
|
|
|
timeDisplay.timePerBlock) % 2) ? color1 : color2;
|
2014-11-07 18:13:31 +01:00
|
|
|
|
2015-09-11 17:44:12 +02:00
|
|
|
TimelineText {
|
2014-11-07 18:13:31 +01:00
|
|
|
id: labelText
|
2014-12-10 11:21:53 +01:00
|
|
|
font.pixelSize: timeDisplay.fontSize
|
2014-11-07 18:13:31 +01:00
|
|
|
anchors.fill: parent
|
2014-12-10 11:21:53 +01:00
|
|
|
anchors.leftMargin: timeDisplay.textMargin
|
|
|
|
|
anchors.bottomMargin: timeDisplay.textMargin
|
2014-11-07 18:13:31 +01:00
|
|
|
verticalAlignment: Text.AlignBottom
|
|
|
|
|
text: prettyPrintTime(column.blockStartTime, timeDisplay.rangeDuration)
|
2015-09-09 17:40:00 +02:00
|
|
|
visible: width > 0
|
2014-11-07 18:13:31 +01:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Row {
|
|
|
|
|
anchors.left: parent.left
|
|
|
|
|
anchors.right: parent.right
|
|
|
|
|
anchors.top: timeLabel.bottom
|
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
|
|
|
|
|
|
Repeater {
|
|
|
|
|
model: 4
|
|
|
|
|
Item {
|
|
|
|
|
anchors.top: parent.top
|
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
|
width: timeDisplay.pixelsPerSection
|
|
|
|
|
|
|
|
|
|
Rectangle {
|
2015-08-27 19:11:48 +02:00
|
|
|
visible: column.stableIndex !== 0 || (-row.x < parent.x + x)
|
2014-11-07 18:13:31 +01:00
|
|
|
color: "#CCCCCC"
|
|
|
|
|
width: 1
|
|
|
|
|
anchors.top: parent.top
|
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
|
anchors.right: parent.right
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Rectangle {
|
|
|
|
|
color: "#B0B0B0"
|
|
|
|
|
width: 1
|
|
|
|
|
anchors.top: parent.top
|
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
|
anchors.right: parent.right
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Rectangle {
|
2014-12-10 11:21:53 +01:00
|
|
|
height: topBorderHeight
|
2014-11-07 18:13:31 +01:00
|
|
|
anchors.left: parent.left
|
|
|
|
|
anchors.right: parent.right
|
2014-12-10 11:21:53 +01:00
|
|
|
y: labelsHeight - topBorderHeight
|
2014-11-07 18:13:31 +01:00
|
|
|
color: "#B0B0B0"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Rectangle {
|
2014-12-10 11:21:53 +01:00
|
|
|
height: bottomBorderHeight
|
2014-11-07 18:13:31 +01:00
|
|
|
anchors.left: parent.left
|
|
|
|
|
anchors.right: parent.right
|
|
|
|
|
anchors.top: row.bottom
|
|
|
|
|
color: "#B0B0B0"
|
|
|
|
|
}
|
2011-06-20 18:11:17 +02:00
|
|
|
}
|