void
PolicyView::drawArrows(QPainter * p)
{
p->setPen(darkGreen);
// get list with transitions //
TransitionVector transitions = policy_->transitions();
const int Zeilenabstand=10;
int DrawX1 = std::max(contentsWidth(), visibleWidth());
int DrawY1 = 0;
int i;
// show all transitions //
QMap<PatternXML *, int> map;
TransitionVector::iterator first, last = transitions.end();
for (first = transitions.begin(); first != last; ++first ) {
QString message = first->getMessage();
PatternXML * target = first->getTarget();
map[target] = map[target] + 1;
int DrawX2 = childX(target->widget()) + target->widget()->width();
int DrawY2 = childY(target->widget());
PatternWidget::drawArrow(p, DrawX1, DrawY1, DrawX2, DrawY2, 10);
i = map[target]-1;
p->drawText((DrawX1 + DrawX2) / 2,
(DrawY1 + DrawY2) /2 + i * Zeilenabstand, message);
}
}
void copyState( ESMoL::State inputState, ESMoL::State outputState ) {
UdmEngine::copyState( inputState, outputState );
TransStartVector transStartVector = inputState.TransStart_kind_children();
for( TransStartVector::iterator tsvItr = transStartVector.begin() ; tsvItr != transStartVector.end() ; ++tsvItr ) {
ESMoL::TransStart inputTransStart = *tsvItr;
ESMoL::TransStart outputTransStart = ESMoL::TransStart::Create( outputState );
getTransConnectorMap().insert( std::make_pair( inputTransStart, outputTransStart ) );
}
DataVector dataVector = inputState.Data_kind_children();
for( DataVector::iterator dtvItr = dataVector.begin() ; dtvItr != dataVector.end() ; ++dtvItr ) {
copyData( *dtvItr, ESMoL::Data::Create( outputState ) );
}
EventVector eventVector = inputState.Event_kind_children();
for( EventVector::iterator envItr = eventVector.begin() ; envItr != eventVector.end() ; ++envItr ) {
copyEvent( *envItr, ESMoL::Event::Create( outputState ) );
}
JunctionVector junctionVector = inputState.Junction_kind_children();
for( JunctionVector::iterator jnvItr = junctionVector.begin() ; jnvItr != junctionVector.end() ; ++jnvItr ) {
ESMoL::Junction inputJunction = *jnvItr;
ESMoL::Junction outputJunction = ESMoL::Junction::Create( outputState );
getTransConnectorMap().insert( std::make_pair( inputJunction, outputJunction ) );
}
StateVector stateVector = inputState.State_kind_children();
for( StateVector::iterator stvItr = stateVector.begin() ; stvItr != stateVector.end() ; ++stvItr ) {
ESMoL::State inputSubState = *stvItr;
ESMoL::State outputSubState = ESMoL::State::Create( outputState );
getTransConnectorMap().insert( std::make_pair( inputSubState, outputSubState ) );
copyState( inputSubState, outputSubState );
}
ConnectorRefVector connectorRefVector = inputState.ConnectorRef_kind_children();
for( ConnectorRefVector::iterator jnvItr = connectorRefVector.begin() ; jnvItr != connectorRefVector.end() ; ++jnvItr ) {
ESMoL::ConnectorRef inputConnectorRef = *jnvItr;
ESMoL::ConnectorRef outputConnectorRef = ESMoL::ConnectorRef::Create( outputState );
getTransConnectorMap().insert( std::make_pair( inputConnectorRef, outputConnectorRef ) );
getConnectorRefList().push_back( inputConnectorRef );
}
TransitionVector transitionVector = inputState.Transition_kind_children();
for( TransitionVector::iterator trvItr = transitionVector.begin() ; trvItr != transitionVector.end() ; ++trvItr ) {
ESMoL::Transition inputTransition = *trvItr;
ESMoL::TransConnector inputSrcTransConnector = inputTransition.srcTransition_end();
TransConnectorMap::iterator tcmItr = getTransConnectorMap().find( inputSrcTransConnector );
if ( tcmItr == getTransConnectorMap().end() ) {
std::cerr << "WARNING: transconnector does not map to copy" << std::endl;
continue;
}
ESMoL::TransConnector outputSrcTransConnector = tcmItr->second;
ESMoL::TransConnector inputDstTransConnector = inputTransition.dstTransition_end();
tcmItr = getTransConnectorMap().find( inputDstTransConnector );
if ( tcmItr == getTransConnectorMap().end() ) {
std::cerr << "WARNING: transconnector does not map to copy" << std::endl;
continue;
}
ESMoL::TransConnector outputDstTransConnector = tcmItr->second;
ESMoL::Transition outputTransition = ESMoL::Transition::Create( outputState );
UdmEngine::copyTransition( inputTransition, outputTransition );
outputTransition.srcTransition_end() = outputSrcTransConnector;
outputTransition.dstTransition_end() = outputDstTransConnector;
}
}
