Commit 98c17a1e authored by De Viry Guilhem's avatar De Viry Guilhem

Amélioration du texte des arcs de transition terminée

parent 16f3d16c
......@@ -14,7 +14,7 @@
<edgeMappings name="TransitionEdge" synchronizationLock="true" sourceMapping="//@ownedViewpoints[name='FSMViewpoint']/@ownedRepresentations[name='FSMDiagram']/@defaultLayer/@nodeMappings[name='StateNode']" targetMapping="//@ownedViewpoints[name='FSMViewpoint']/@ownedRepresentations[name='FSMDiagram']/@defaultLayer/@nodeMappings[name='StateNode']" targetFinderExpression="feature:target" sourceFinderExpression="feature:source" domainClass="fsm::Transition" useDomainElement="true">
<style sizeComputationExpression="2" routingStyle="manhattan" foldingStyle="SOURCE">
<strokeColor xsi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='gray']"/>
<centerLabelStyleDescription labelSize="12" showIcon="false" labelExpression="aql:self.event.name + if self.actions &lt;> null then ' / '+ self.actions.name else '' endif + if self.guard &lt;> null then ' [' + if self.InverseGuard then ' !' else '' endif + self.guard.name + ']' else '' endif">
<centerLabelStyleDescription labelSize="12" showIcon="false" labelExpression="aql:self.event.name + if self.actions->notEmpty() then ' / '+ self.actions.name else '' endif + if self.guard &lt;> null then ' [' + if self.InverseGuard then '!' else '' endif + self.guard.name + ']' else '' endif">
<labelColor xsi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
</centerLabelStyleDescription>
</style>
......
<?xml version="1.0" encoding="ASCII"?>
<fsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:fsm="http://fr.supelec.plong9.fsm" name="TicTacToe Server" initialState="//@ownedStates.0" finalState="//@ownedStates.4" isServer="true">
<ownedStates name="Attente Nom J1">
<outgoingTransitions name="" actions="//@ownedActions.0" event="//@ownedEvents.0" target="//@ownedStates.1"/>
<outgoingTransitions name="Nom J1" actions="//@ownedActions.0" event="//@ownedEvents.0" target="//@ownedStates.1"/>
</ownedStates>
<ownedStates name="Attente Nom J2" incomingTransitions="//@ownedStates.0/@outgoingTransitions.0 //@ownedStates.1/@outgoingTransitions.0">
<outgoingTransitions actions="//@ownedActions.2" guard="//@ownedGuards.1" event="//@ownedEvents.1" target="//@ownedStates.1"/>
<outgoingTransitions actions="//@ownedActions.1" guard="//@ownedGuards.0" event="//@ownedEvents.1" target="//@ownedStates.2"/>
<ownedStates name="Attente Nom J2" incomingTransitions="//@ownedStates.0/@outgoingTransitions.0 //@ownedStates.1/@outgoingTransitions.1">
<outgoingTransitions name="Nom J2" actions="//@ownedActions.1" guard="//@ownedGuards.0" event="//@ownedEvents.1" target="//@ownedStates.2"/>
<outgoingTransitions name="Refus Nom J2" guard="//@ownedGuards.0" event="//@ownedEvents.1" target="//@ownedStates.1" InverseGuard="true"/>
</ownedStates>
<ownedStates name="Attente Jeu J1" incomingTransitions="//@ownedStates.1/@outgoingTransitions.1 //@ownedStates.2/@outgoingTransitions.0 //@ownedStates.3/@outgoingTransitions.1">
<outgoingTransitions actions="//@ownedActions.6" guard="//@ownedGuards.2" event="//@ownedEvents.2" target="//@ownedStates.2" InverseGuard="true"/>
<outgoingTransitions actions="//@ownedActions.5" guard="//@ownedGuards.2" event="//@ownedEvents.2" target="//@ownedStates.3"/>
<outgoingTransitions actions="//@ownedActions.3" guard="//@ownedGuards.3" event="//@ownedEvents.2" target="//@ownedStates.4"/>
<ownedStates name="Attente Jeu J1" incomingTransitions="//@ownedStates.1/@outgoingTransitions.0 //@ownedStates.2/@outgoingTransitions.0 //@ownedStates.3/@outgoingTransitions.1">
<outgoingTransitions name="Refus Coup J1" actions="//@ownedActions.6" guard="//@ownedGuards.1" event="//@ownedEvents.2" target="//@ownedStates.2" InverseGuard="true"/>
<outgoingTransitions name="Coup J1" actions="//@ownedActions.5" guard="//@ownedGuards.1" event="//@ownedEvents.2" target="//@ownedStates.3"/>
<outgoingTransitions name="Victoire J1" actions="//@ownedActions.3" guard="//@ownedGuards.2" event="//@ownedEvents.2" target="//@ownedStates.4"/>
</ownedStates>
<ownedStates name="Attente Jeu J2" incomingTransitions="//@ownedStates.2/@outgoingTransitions.1 //@ownedStates.3/@outgoingTransitions.0">
<outgoingTransitions actions="//@ownedActions.6" guard="//@ownedGuards.2" event="//@ownedEvents.3" target="//@ownedStates.3" InverseGuard="true"/>
<outgoingTransitions actions="//@ownedActions.5" guard="//@ownedGuards.2" event="//@ownedEvents.3" target="//@ownedStates.2"/>
<outgoingTransitions actions="//@ownedActions.4" guard="//@ownedGuards.3" event="//@ownedEvents.3" target="//@ownedStates.4"/>
<outgoingTransitions name="Refus Coup J2" actions="//@ownedActions.6" guard="//@ownedGuards.1" event="//@ownedEvents.3" target="//@ownedStates.3" InverseGuard="true"/>
<outgoingTransitions name="Coup J2" actions="//@ownedActions.5" guard="//@ownedGuards.1" event="//@ownedEvents.3" target="//@ownedStates.2"/>
<outgoingTransitions name="Victoire J2" actions="//@ownedActions.4" guard="//@ownedGuards.2" event="//@ownedEvents.3" target="//@ownedStates.4"/>
</ownedStates>
<ownedStates name="Fin Partie" incomingTransitions="//@ownedStates.2/@outgoingTransitions.2 //@ownedStates.3/@outgoingTransitions.2"/>
<ownedEvents name="Message J1"/>
......@@ -30,7 +30,6 @@
<ownedActions name="Mise &#xe0; Jour Plateau"/>
<ownedActions name="Refus Coup"/>
<ownedGuards name="Nom J2 Valide"/>
<ownedGuards name="Nom J2 Invalide"/>
<ownedGuards name="Coup Valide"/>
<ownedGuards name="Coup Gagnant"/>
<ownedMessages event="//@ownedEvents.0" name="Nom J1"/>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment