mirror of
https://gitlab.com/ita1024/waf.git
synced 2024-12-11 19:29:39 +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.7475,-1.35"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.6975,-1.4;11.7975,-0.3"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.7475,-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.4975,28.85"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.4475,28.8;12.0475,30.4"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.4975,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.9206,10.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="16.8706,10.2;23.3331,12.1"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="16.9206,10.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="6.3624999999999998"/>
|
|
</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="20.1018,11.345"/>
|
|
</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.2475,10.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.1768,10.0793;12.3182,12.2207"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.2475,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.055;13.3975,10.8"/>
|
|
</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.2475,14.35"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.1768,14.2793;12.3182,16.4207"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.2475,14.35"/>
|
|
</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.405;9.21631,16.75"/>
|
|
</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,14.75"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.6,14.155;13.3975,14.9"/>
|
|
</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,14.75"/>
|
|
</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.0743,21.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="16.0243,21.1;24.1793,23.8"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="16.0743,21.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="8.0549999999999997"/>
|
|
</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="20.1018,22.245"/>
|
|
</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.1275,1.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="7.0775,1.1;15.4175,3.8"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="7.1275,1.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="8.2400000000000002"/>
|
|
</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.2475,2.245"/>
|
|
</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.305;34.9325,21.65"/>
|
|
</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.28,5.525"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="6.23,5.475;16.265,8.175"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="6.28,5.525"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="9.9349999999999987"/>
|
|
</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.2475,6.62"/>
|
|
</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.2475,3.75"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.8857,3.7;11.6093,5.6368"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.2475,3.75"/>
|
|
<dia:point val="11.2475,5.525"/>
|
|
</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.2475,8.125"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.8857,8.075;11.6093,10.2618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.2475,8.125"/>
|
|
<dia:point val="11.2475,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.2475,11.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.1975,10.7882;17.0324,11.5118"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="12.2475,11.15"/>
|
|
<dia:point val="16.9206,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.2475,12.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.8857,12.1;11.6093,14.4618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.2475,12.15"/>
|
|
<dia:point val="11.2475,14.35"/>
|
|
</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.2475,15.35"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.1975,11.9382;20.4637,15.4"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="12.2475,15.35"/>
|
|
<dia:point val="20.1018,15.35"/>
|
|
<dia:point val="20.1018,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.13;10.2225,12.475"/>
|
|
</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.2475,18.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.1768,18.8293;12.3182,20.9707"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.2475,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.2475,16.35"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.8857,16.3;11.6093,19.0118"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.2475,16.35"/>
|
|
<dia:point val="11.2475,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.505;9.73,20.85"/>
|
|
</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.8857,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="11.9975,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="23.2831,11.15"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="23.2331,11.1;28.3118,21.5618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="23.2831,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.2475,19.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="12.1975,11.9382;20.4637,19.95"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="12.2475,19.9"/>
|
|
<dia:point val="20.1018,19.9"/>
|
|
<dia:point val="20.1018,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.655;13.3975,19.4"/>
|
|
</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="24.0175,22.0882;27,22.8118"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="26.95,22.45"/>
|
|
<dia:point val="24.1293,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.2475,20.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.8857,20.85;11.6093,28.9618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.2475,20.9"/>
|
|
<dia:point val="11.2475,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.2475,-0.301172"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.8857,-0.351172;11.6093,1.2618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="11.2475,-0.301172"/>
|
|
<dia:point val="11.2475,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.7481,25.225"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="15.6981,25.175;24.5056,27.875"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="15.7481,25.225"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="8.7074999999999996"/>
|
|
</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="20.1018,26.32"/>
|
|
</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="20.1018,23.75"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="19.74,23.7;20.4636,25.3368"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="20.1018,23.75"/>
|
|
<dia:point val="20.1018,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.7481,26.525"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.8857,26.475;15.7981,28.9618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="15.7481,26.525"/>
|
|
<dia:point val="11.2475,26.525"/>
|
|
<dia:point val="11.2475,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.125;10.5388,12.87"/>
|
|
</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.925;10.5575,17.67"/>
|
|
</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.15;10.5575,21.895"/>
|
|
</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.905;26.5625,21.65"/>
|
|
</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.2325;10.0125,-0.4875"/>
|
|
</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.0925;9.5675,29.8375"/>
|
|
</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>
|