void MorphismListWidget::updateList(const VariableList &variableList)
{
// updates morphism list
int row = 0;
int rowSpan = 0;
QTableWidgetItem *nameItem;
QTableWidgetItem *varItem;
clearContents();
VariableListIterator i(variableList);
while (i.hasNext()) {
i.next();
if (i.value().type() == Morphism)
row += i.value().mapData().domainRank();
}
setRowCount(row);
i.toFront();
row = 0;
while (i.hasNext()) {
i.next();
if (i.value().type() == Morphism) {
nameItem = item(row,0);
if (!nameItem) {
nameItem = new QTableWidgetItem;
setItem(row,0,nameItem);
}
nameItem->setText(i.key());
nameItem->setTextAlignment(Qt::AlignLeft);
nameItem->setTextAlignment(Qt::AlignVCenter);
nameItem->setFlags(Qt::ItemIsSelectable | Qt::ItemIsEnabled);
rowSpan = i.value().mapData().domainRank();
setSpan(row,0,rowSpan,1);
MapIterator x(i.value().mapData());
while (x.hasNext()) {
x.next();
if (x.key().isLower()) {
varItem = item(row,1);
if (!varItem) {
varItem = new QTableWidgetItem;
setItem(row,1,varItem);
}
varItem->setText(QString(x.key()) + " -> " + x.value());
varItem->setTextAlignment(Qt::AlignLeft);
varItem->setTextAlignment(Qt::AlignVCenter);
varItem->setFlags(Qt::ItemIsSelectable | Qt::ItemIsEnabled);
row++;
}
}
}
}
}
void
StageListView::updateRowSpans()
{
if (!m_pModel) {
return;
}
int const count = m_pModel->rowCount(QModelIndex());
for (int i = 0; i < count; ++i) {
setSpan(i, 0, 1, m_batchProcessingInProgress ? 1 : 2);
}
}
void PlayListTable::setupTable()
{
setColumnCount(4);
QStringList headerLabels;
headerLabels<<tr("客户端")<<tr("开始时间")<<tr("结束时间")<<tr("播放文件");
setHorizontalHeaderLabels(headerLabels);
horizontalHeader()->setStretchLastSection(true);
verticalHeader()->hide();
setEditTriggers(QAbstractItemView::NoEditTriggers);
setSelectionBehavior(QAbstractItemView::SelectRows);
setSelectionMode(QAbstractItemView::SingleSelection);
PlayListCenter* playListCenter = g_DataCenter->createPlayListCenter();
for(ClientGroup::Iterator it = m_ClientGroup->begin();
it != m_ClientGroup->end();
++it)
{
int clientId = (*it)->getId();
int orgRowCount = rowCount();
std::vector<VideoFileInformation> playList;
playListCenter->getNewestPlayList(clientId, playList);
size_t playListSize = playList.size();
setRowCount(orgRowCount + ( playListSize == 0 ? 1 :playListSize) );
setItem(orgRowCount, 0, new QTableWidgetItem( (*it)->getName() ));
if(playListSize != 0)
{
setSpan(orgRowCount, 0, playListSize, 1);
for(int rowIndex = orgRowCount, i = 0; rowIndex < rowCount(); ++rowIndex, ++i)
{
const VideoFileInformation& videoInfo = playList[i];
setItem(rowIndex, 1, new QTableWidgetItem(videoInfo.m_StartTime.toString("hh:mm")));
setItem(rowIndex, 2, new QTableWidgetItem(videoInfo.m_EndTime.toString("hh:mm")));
setItem(rowIndex, 3, new QTableWidgetItem(videoInfo.m_FileName ));
}
}
}
}
void SweepSettings::increaseSpan(bool inc)
{
double new_span = bb_lib::sequence_span(span, inc);
setSpan(new_span);
}
void QxtSpanSlider::setUpperValue(int upper)
{
setSpan(qxt_d().lower, upper);
}
void QxtSpanSlider::setLowerValue(int lower)
{
setSpan(lower, qxt_d().upper);
}
void Chassis::setDim(const float & x, const float & y, const float & z)
{
setWidth(x);
setHeight(y);
setSpan(z);
}
