2012-10-02 09:12:39 +02:00
|
|
|
/****************************************************************************
|
2011-07-06 15:48:52 +00:00
|
|
|
**
|
2014-01-07 13:27:11 +01:00
|
|
|
** Copyright (C) 2014 Digia Plc and/or its subsidiary(-ies).
|
2012-10-02 09:12:39 +02:00
|
|
|
** Contact: http://www.qt-project.org/legal
|
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
|
|
|
|
|
** a written agreement between you and Digia. For licensing terms and
|
2014-10-01 13:21:18 +02:00
|
|
|
** conditions see http://www.qt.io/licensing. For further information
|
|
|
|
|
** use the contact form at http://www.qt.io/contact-us.
|
2011-07-06 15:48:52 +00:00
|
|
|
**
|
|
|
|
|
** GNU Lesser General Public License Usage
|
2012-10-02 09:12:39 +02:00
|
|
|
** Alternatively, this file may be used under the terms of the GNU Lesser
|
2014-10-01 13:21:18 +02:00
|
|
|
** General Public License version 2.1 or version 3 as published by the Free
|
|
|
|
|
** Software Foundation and appearing in the file LICENSE.LGPLv21 and
|
|
|
|
|
** LICENSE.LGPLv3 included in the packaging of this file. Please review the
|
|
|
|
|
** following information to ensure the GNU Lesser General Public License
|
|
|
|
|
** requirements will be met: https://www.gnu.org/licenses/lgpl.html and
|
|
|
|
|
** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
|
2012-10-02 09:12:39 +02:00
|
|
|
**
|
|
|
|
|
** In addition, as a special exception, Digia gives you certain additional
|
|
|
|
|
** rights. These rights are described in the Digia Qt LGPL Exception
|
2011-07-06 15:48:52 +00:00
|
|
|
** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
|
|
|
|
|
**
|
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-11-07 18:13:31 +01:00
|
|
|
property QtObject zoomer
|
2011-06-20 18:11:17 +02:00
|
|
|
|
2014-11-07 18:13:31 +01:00
|
|
|
readonly property int labelsHeight: 24
|
2011-06-20 18:11:17 +02:00
|
|
|
|
2014-11-07 18:13:31 +01:00
|
|
|
readonly property int initialBlockLength: 120
|
2011-06-20 18:11:17 +02:00
|
|
|
|
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-11-07 18:13:31 +01:00
|
|
|
property double rangeDuration: Math.max(1, Math.round(zoomer.rangeDuration))
|
|
|
|
|
property double alignedWindowStart: Math.round(zoomer.windowStart - (zoomer.windowStart % timePerBlock))
|
|
|
|
|
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
|
|
|
|
|
property int offsetX: contentX + Math.round((zoomer.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) {
|
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 /
|
|
|
|
|
timeDisplay.timePerBlock) % 2) ?
|
|
|
|
|
"#E6E6E6" : "white";
|
|
|
|
|
|
|
|
|
|
Text {
|
|
|
|
|
id: labelText
|
|
|
|
|
renderType: Text.NativeRendering
|
|
|
|
|
font.pixelSize: 8
|
|
|
|
|
font.family: "sans-serif"
|
|
|
|
|
anchors.fill: parent
|
|
|
|
|
anchors.leftMargin: 5
|
|
|
|
|
anchors.bottomMargin: 5
|
|
|
|
|
verticalAlignment: Text.AlignBottom
|
|
|
|
|
text: prettyPrintTime(column.blockStartTime, timeDisplay.rangeDuration)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
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 {
|
|
|
|
|
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 {
|
|
|
|
|
height: 2
|
|
|
|
|
anchors.left: parent.left
|
|
|
|
|
anchors.right: parent.right
|
|
|
|
|
y: labelsHeight - 2
|
|
|
|
|
color: "#B0B0B0"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Rectangle {
|
|
|
|
|
height: 1
|
|
|
|
|
anchors.left: parent.left
|
|
|
|
|
anchors.right: parent.right
|
|
|
|
|
anchors.top: row.bottom
|
|
|
|
|
color: "#B0B0B0"
|
|
|
|
|
}
|
2011-06-20 18:11:17 +02:00
|
|
|
}
|