mirror of
https://gitlab.com/ita1024/waf.git
synced 2024-11-22 09:57:15 +01:00
1328 lines
45 KiB
XML
1328 lines
45 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
|
|
<dia:diagramdata>
|
|
<dia:attribute name="background">
|
|
<dia:color val="#ffffff"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pagebreak">
|
|
<dia:color val="#000099"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="paper">
|
|
<dia:composite type="paper">
|
|
<dia:attribute name="name">
|
|
<dia:string>#A4#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="tmargin">
|
|
<dia:real val="2.8222000598907471"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="bmargin">
|
|
<dia:real val="2.8222000598907471"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="lmargin">
|
|
<dia:real val="2.8222000598907471"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="rmargin">
|
|
<dia:real val="2.8222000598907471"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="is_portrait">
|
|
<dia:boolean val="true"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="scaling">
|
|
<dia:real val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fitto">
|
|
<dia:boolean val="false"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="grid">
|
|
<dia:composite type="grid">
|
|
<dia:attribute name="width_x">
|
|
<dia:real val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="width_y">
|
|
<dia:real val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="visible_x">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="visible_y">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:composite type="color"/>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#d8e5e5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="guides">
|
|
<dia:composite type="guides">
|
|
<dia:attribute name="hguides"/>
|
|
<dia:attribute name="vguides"/>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
</dia:diagramdata>
|
|
<dia:layer name="Fondo" visible="true" active="true">
|
|
<dia:object type="UML - State Term" version="0" id="O0">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="10.8362,-1.35"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.7862,-1.4;11.8863,-0.3"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.8362,-1.35"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#ffffff"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="is_final">
|
|
<dia:boolean val="false"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - State Term" version="0" id="O1">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="10.5862,28.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.5362,28.8;12.1363,30.4"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.5862,28.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="1.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="1.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#ffffff"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="is_final">
|
|
<dia:boolean val="true"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - Activity" version="0" id="O2">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="16.9594,10.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="16.9093,10.2;22.7344,12.1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="16.9594,10.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="5.7249999999999996"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="1.8"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#fffea6"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Execute the task#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="19.8219,11.33"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - Branch" version="0" id="O3">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="10.3362,10.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.2655,10.0793;12.407,12.2207"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.3362,10.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#aef9a5"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O4">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="12.6,10.65"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.6,10.07;13.31,10.7875"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#no#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="12.6,10.65"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - Branch" version="0" id="O5">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="10.3362,14.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.2655,14.7793;12.407,16.9207"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.3362,14.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#aef9a5"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O6">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="2.93131,15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="2.93131,14.42;8.47131,16.7375"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Do the current and
|
|
previous signatures
|
|
match?#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="2.93131,15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O7">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="12.6,15.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.6,14.67;13.31,15.3875"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#no#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="12.6,15.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - Activity" version="0" id="O8">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="16.2131,21.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="16.1631,21.1;23.4806,23.8"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="16.2131,21.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="7.2174999999999994"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="2.6000000000000001"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#fffea6"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Associate the task uid
|
|
to the signature#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="19.8219,22.23"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - Activity" version="0" id="O9">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="7.7475,1.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="7.6975,1.1;14.975,3.8"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="7.7475,1.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="7.1775000000000002"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="2.6000000000000001"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#fffea6"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Compute the task
|
|
identifier (method uid)#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="11.3362,2.23"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O10">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="28.95,19.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="28.95,19.32;34.35,21.6375"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Task was executed
|
|
successfully
|
|
and not skipped#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="28.95,19.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - Branch" version="0" id="O11">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="26.95,21.45"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="26.8793,21.3793;29.0207,23.5207"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="26.95,21.45"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#aef9a5"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - Activity" version="0" id="O12">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="6.93,5.425"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="6.88,5.375;15.7925,8.075"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="6.93,5.425"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="8.8125"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="2.6000000000000001"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#fffea6"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Compute the task signature
|
|
(method signature)#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="11.3362,6.505"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O13">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="11.3362,3.75"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.9744,3.7;11.6981,5.5368"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.3362,3.75"/>
|
|
<dia:point val="11.3362,5.425"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O9" connection="6"/>
|
|
<dia:connection handle="1" to="O12" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O14">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="11.3362,8.025"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.9744,7.975;11.6981,10.2618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.3362,8.025"/>
|
|
<dia:point val="11.3362,10.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O12" connection="6"/>
|
|
<dia:connection handle="1" to="O3" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O15">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="12.3362,11.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.2862,10.7882;17.0712,11.5118"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="12.3362,11.15"/>
|
|
<dia:point val="16.9594,11.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O3" connection="2"/>
|
|
<dia:connection handle="1" to="O2" connection="3"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O16">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="11.3362,12.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.9744,12.1;11.6981,14.9618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.3362,12.15"/>
|
|
<dia:point val="11.3362,14.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O3" connection="3"/>
|
|
<dia:connection handle="1" to="O5" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - ZigZagLine" version="1" id="O17">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="12.3362,15.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.2862,11.9382;20.1837,15.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="12.3362,15.85"/>
|
|
<dia:point val="19.8219,15.85"/>
|
|
<dia:point val="19.8219,12.05"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_orient">
|
|
<dia:enum val="0"/>
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="autorouting">
|
|
<dia:boolean val="true"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O5" connection="2"/>
|
|
<dia:connection handle="1" to="O2" connection="6"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O18">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="2.95,10.725"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="2.95,10.145;9.3775,12.4625"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Is a previous signature
|
|
associated to the uid
|
|
present?#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="2.95,10.725"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="UML - Branch" version="0" id="O19">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="10.3362,18.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.2655,18.8293;12.407,20.9707"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.3362,18.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#aef9a5"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O20">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="11.3362,16.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.9744,16.8;11.6981,19.0118"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.3362,16.85"/>
|
|
<dia:point val="11.3362,18.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O5" connection="3"/>
|
|
<dia:connection handle="1" to="O19" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O21">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="2.95,19.1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="2.95,18.52;8.88,20.8375"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Are the output nodes
|
|
associated to the
|
|
same signature?#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="2.95,19.1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - ZigZagLine" version="1" id="O22">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="27.95,23.45"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="11.9744,23.4;28,29.9618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="27.95,23.45"/>
|
|
<dia:point val="27.95,29.6"/>
|
|
<dia:point val="12.0862,29.6"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_orient">
|
|
<dia:enum val="1"/>
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="autorouting">
|
|
<dia:boolean val="true"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O11" connection="3"/>
|
|
<dia:connection handle="1" to="O1" connection="4"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - ZigZagLine" version="1" id="O23">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="22.6844,11.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="22.6344,11.1;28.3118,21.5618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="22.6844,11.15"/>
|
|
<dia:point val="27.95,11.15"/>
|
|
<dia:point val="27.95,21.45"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_orient">
|
|
<dia:enum val="0"/>
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="autorouting">
|
|
<dia:boolean val="true"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O2" connection="4"/>
|
|
<dia:connection handle="1" to="O11" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - ZigZagLine" version="1" id="O24">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="12.3362,19.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.2862,11.9382;20.1837,19.95"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="12.3362,19.9"/>
|
|
<dia:point val="19.8219,19.9"/>
|
|
<dia:point val="19.8219,12.05"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_orient">
|
|
<dia:enum val="0"/>
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="autorouting">
|
|
<dia:boolean val="true"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O19" connection="2"/>
|
|
<dia:connection handle="1" to="O2" connection="6"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O25">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="12.6,19.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.6,18.67;13.31,19.3875"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#no#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="12.6,19.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O26">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="26.95,22.45"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="23.3188,22.0882;27,22.8118"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="26.95,22.45"/>
|
|
<dia:point val="23.4306,22.45"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O11" connection="0"/>
|
|
<dia:connection handle="1" to="O8" connection="4"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O27">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="11.3362,20.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.9744,20.85;11.6981,28.9618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.3362,20.9"/>
|
|
<dia:point val="11.3362,28.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O19" connection="3"/>
|
|
<dia:connection handle="1" to="O1" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O28">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="11.3362,-0.301172"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.9744,-0.351172;11.6981,1.2618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.3362,-0.301172"/>
|
|
<dia:point val="11.3362,1.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O0" connection="8"/>
|
|
<dia:connection handle="1" to="O9" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="UML - Activity" version="0" id="O29">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="15.9481,25.225"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="15.8981,25.175;23.7456,27.875"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="15.9481,25.225"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="7.7474999999999996"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="2.6000000000000001"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="line_colour">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="fill_colour">
|
|
<dia:color val="#fffea6"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Store the task signature
|
|
on the output nodes#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="19.8219,26.305"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O30">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="19.8219,23.75"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="19.46,23.7;20.1837,25.3368"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="19.8219,23.75"/>
|
|
<dia:point val="19.8219,25.225"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="numcp">
|
|
<dia:int val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O8" connection="6"/>
|
|
<dia:connection handle="1" to="O29" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - ZigZagLine" version="1" id="O31">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="15.9481,26.525"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.9744,26.475;15.9981,28.9618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="15.9481,26.525"/>
|
|
<dia:point val="11.3362,26.525"/>
|
|
<dia:point val="11.3362,28.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_orient">
|
|
<dia:enum val="0"/>
|
|
<dia:enum val="1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="autorouting">
|
|
<dia:boolean val="true"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow">
|
|
<dia:enum val="22"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_length">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="end_arrow_width">
|
|
<dia:real val="0.5"/>
|
|
</dia:attribute>
|
|
<dia:connections>
|
|
<dia:connection handle="0" to="O29" connection="3"/>
|
|
<dia:connection handle="1" to="O1" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O32">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="9.43131,12.72"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="9.43131,12.14;10.4263,12.8575"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#yes#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="9.43131,12.72"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O33">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="9.45,17.52"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="9.45,16.94;10.445,17.6575"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#yes#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="9.45,17.52"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O34">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="9.45,21.745"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="9.45,21.165;10.445,21.8825"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#yes#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="9.45,21.745"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O35">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="25.8,21.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="25.8,20.92;26.475,21.6375"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#ok#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="25.8,21.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O36">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="8.45,-0.6375"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="8.45,-1.2175;9.8,-0.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#Start#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="8.45,-0.6375"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O37">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="8.35,29.6875"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="8.35,29.1075;9.4875,29.825"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#End#</dia:string>
|
|
</dia:attribute>
|
|
<dia:attribute name="font">
|
|
<dia:font family="sans" style="0" name="Helvetica"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="height">
|
|
<dia:real val="0.80000000000000004"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="pos">
|
|
<dia:point val="8.35,29.6875"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="color">
|
|
<dia:color val="#000000"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="alignment">
|
|
<dia:enum val="0"/>
|
|
</dia:attribute>
|
|
</dia:composite>
|
|
</dia:attribute>
|
|
<dia:attribute name="valign">
|
|
<dia:enum val="3"/>
|
|
</dia:attribute>
|
|
</dia:object>
|
|
</dia:layer>
|
|
</dia:diagram>
|