mirror of
https://gitlab.com/ita1024/waf.git
synced 2024-11-25 19:30:04 +01:00
1053 lines
36 KiB
XML
1053 lines
36 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="false"/>
|
|
</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="25.3694,1.6"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="25.3194,1.55;26.4194,2.65"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="25.3694,1.6"/>
|
|
</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="33.0919,5.84"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="33.0419,5.79;34.6419,7.39"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="33.0919,5.84"/>
|
|
</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="10.0862,10.6933"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.0362,10.6433;20.4438,13.3433"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.0862,10.6933"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="10.307500000000001"/>
|
|
</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>#Read the list of features
|
|
from self.features and add '*'#</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="15.24,11.7883"/>
|
|
</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="O3">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="10.605,21.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="10.555,21.45;19.925,24.95"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="10.605,21.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="9.2699999999999996"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_height">
|
|
<dia:real val="3.4000000000000004"/>
|
|
</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>#Perform a topological sort
|
|
on self.meths using the
|
|
precedence constraints #</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="15.24,22.595"/>
|
|
</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="O4">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="29.6944,21.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="29.6444,21.85;38.0394,24.55"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="29.6944,21.9"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="8.2949999999999999"/>
|
|
</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>#pop one method name
|
|
from self.meths#</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="33.8419,22.995"/>
|
|
</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="O5">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="9.23875,5.29"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="9.18875,5.24;21.2913,7.94"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="9.23875,5.29"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="12.002500000000001"/>
|
|
</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>#Take a task generator instance
|
|
which has not generated its tasks #</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="15.24,6.385"/>
|
|
</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="O6">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="22.1244,26.83"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="22.0744,26.78;29.6644,28.68"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="22.1244,26.83"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="7.4900000000000002"/>
|
|
</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 method#</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.8694,27.925"/>
|
|
</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="O7">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="24.8694,5.59"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="24.7987,5.51929;26.9401,7.66071"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="24.8694,5.59"/>
|
|
</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="O8">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="9.12,16.0967"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="9.07,16.0467;21.41,18.7467"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="9.12,16.0967"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_width">
|
|
<dia:real val="12.24"/>
|
|
</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>#Add all the methods corresponding
|
|
to the list of features to self.meths #</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="15.24,17.1917"/>
|
|
</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="O9">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="24.8694,22.2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="24.7987,22.1293;26.9401,24.2707"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="meta">
|
|
<dia:composite type="dict"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="elem_corner">
|
|
<dia:point val="24.8694,22.2"/>
|
|
</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="O10">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="27,4.2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="27,3.605;31.34,5.95"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#More task
|
|
generators to
|
|
process? #</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="27,4.2"/>
|
|
</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="O11">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="26.75,20.8"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="26.75,20.205;31.255,21.75"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#no: self.meths
|
|
is empty#</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="26.75,20.8"/>
|
|
</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="O12">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="24.8694,6.59"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="21.1294,6.2282;24.9194,6.9518"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="24.8694,6.59"/>
|
|
<dia:point val="21.2413,6.59"/>
|
|
</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="O7" connection="0"/>
|
|
<dia:connection handle="1" to="O5" connection="4"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O13">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="15.24,7.89"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="14.8782,7.84;15.6018,10.8051"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="15.24,7.89"/>
|
|
<dia:point val="15.24,10.6933"/>
|
|
</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="6"/>
|
|
<dia:connection handle="1" to="O2" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O14">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="15.24,13.2933"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="14.8782,13.2433;15.6018,16.2085"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="15.24,13.2933"/>
|
|
<dia:point val="15.24,16.0967"/>
|
|
</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="O2" connection="6"/>
|
|
<dia:connection handle="1" to="O8" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O15">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="15.24,18.6967"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="14.8782,18.6467;15.6018,21.6118"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="15.24,18.6967"/>
|
|
<dia:point val="15.24,21.5"/>
|
|
</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="O3" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O16">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="19.875,23.2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="19.825,22.8382;24.9812,23.5618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="19.875,23.2"/>
|
|
<dia:point val="24.8694,23.2"/>
|
|
</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="4"/>
|
|
<dia:connection handle="1" to="O9" connection="0"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O17">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="26.8694,23.2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="26.8194,22.8382;29.8062,23.5618"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="26.8694,23.2"/>
|
|
<dia:point val="29.6944,23.2"/>
|
|
</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="2"/>
|
|
<dia:connection handle="1" to="O4" connection="3"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - ZigZagLine" version="1" id="O18">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="33.8419,24.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="29.5026,24.45;33.8919,28.0918"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="orth_points">
|
|
<dia:point val="33.8419,24.5"/>
|
|
<dia:point val="33.8419,27.73"/>
|
|
<dia:point val="29.6144,27.73"/>
|
|
</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="O4" connection="6"/>
|
|
<dia:connection handle="1" to="O6" connection="4"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O19">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="25.8694,26.83"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="25.5076,24.0882;26.2312,26.88"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="25.8694,26.83"/>
|
|
<dia:point val="25.8694,24.2"/>
|
|
</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="O6" connection="1"/>
|
|
<dia:connection handle="1" to="O9" connection="3"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O20">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="26.8694,6.59"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="26.8194,6.2282;33.2037,6.9518"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="26.8694,6.59"/>
|
|
<dia:point val="33.0919,6.59"/>
|
|
</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="O7" connection="2"/>
|
|
<dia:connection handle="1" to="O1" connection="3"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O21">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="25.8694,2.6"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="25.5076,2.55;26.2312,5.7018"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="25.8694,2.6"/>
|
|
<dia:point val="25.8694,5.59"/>
|
|
</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="6"/>
|
|
<dia:connection handle="1" to="O7" connection="1"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Line" version="0" id="O22">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="25.8694,22.2"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="25.5076,7.4782;26.2312,22.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="conn_endpoints">
|
|
<dia:point val="25.8694,22.2"/>
|
|
<dia:point val="25.8694,7.59"/>
|
|
</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="1"/>
|
|
<dia:connection handle="1" to="O7" connection="3"/>
|
|
</dia:connections>
|
|
</dia:object>
|
|
<dia:object type="Standard - Text" version="1" id="O23">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="23.15,7.425"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="23.15,6.83;24.2575,7.575"/>
|
|
</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="23.15,7.425"/>
|
|
</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="O24">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="28.5,7.425"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="28.5,6.83;29.2975,7.575"/>
|
|
</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="28.5,7.425"/>
|
|
</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="O25">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="20.6,24.5"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="20.6,23.905;25.195,25.45"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="text">
|
|
<dia:composite type="text">
|
|
<dia:attribute name="string">
|
|
<dia:string>#More methods
|
|
to execute?#</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.6,24.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="O26">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="27.45,24.25"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="27.45,23.655;28.5575,24.4"/>
|
|
</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="27.45,24.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 - Text" version="1" id="O27">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="32.7,8.55"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="32.7,7.955;33.9175,8.7"/>
|
|
</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="32.7,8.55"/>
|
|
</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="O28">
|
|
<dia:attribute name="obj_pos">
|
|
<dia:point val="23.4,2.3"/>
|
|
</dia:attribute>
|
|
<dia:attribute name="obj_bb">
|
|
<dia:rectangle val="23.4,1.705;24.9625,2.45"/>
|
|
</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="23.4,2.3"/>
|
|
</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>
|