Storage 
{
	{ Format 1.33 }
	{ GeneratedFrom TEFD-version-2.20 }
	{ WrittenBy jemarch }
	{ WrittenOn "" }
}

Document 
{
	{ Type "Data and Event Flow Diagram" }
	{ Name Stm1-2.efd }
	{ Author jemarch }
	{ CreatedOn "" }
	{ Annotation "" }
	{ Hierarchy False }
}

Page 
{
	{ PageOrientation Landscape }
	{ PageSize A4 }
	{ ShowHeaders False }
	{ ShowFooters False }
	{ ShowNumbers False }
}

Scale 
{
	{ ScaleValue 1 }
}

# GRAPH NODES

DataStore 3
{
	{ Name "buffer" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "" }
	{ AtomicSubjects 0 }
}

DataProcess 4
{
	{ Name "read\rbytes\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.1" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

DataProcess 5
{
	{ Name "write\rbytes\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.2" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

DataProcess 6
{
	{ Name "read_char\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.3" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

DataProcess 7
{
	{ Name "peek_char\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.4" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

DataProcess 8
{
	{ Name "read\rbuffer\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.5" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

DataProcess 9
{
	{ Name "write\rbuffer\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.6" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

ExternalEntity 10
{
	{ Name "client" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "" }
}

DataProcess 86
{
	{ Name "tell\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.9" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

DataProcess 90
{
	{ Name "flush" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.7" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

DataProcess 91
{
	{ Name "seek" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.2.8" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

ExternalEntity 98
{
	{ Name "filtering" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "" }
}

# GRAPH EDGES

DataFlow 12
{
	{ Name "readed\rbytes" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 8 }
	{ Subject2 3 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 13
{
	{ Name "buffered\rbytes" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 3 }
	{ Subject2 9 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 15
{
	{ Name "buffered\rbytes" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 3 }
	{ Subject2 4 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 16
{
	{ Name "buffered char" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 3 }
	{ Subject2 6 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 17
{
	{ Name "buffered char" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 3 }
	{ Subject2 7 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 18
{
	{ Name "written bytes" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 5 }
	{ Subject2 3 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 69
{
	{ Name "peeked char" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 7 }
	{ Subject2 10 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 70
{
	{ Name "readed char" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 6 }
	{ Subject2 10 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 87
{
	{ Name "current\rposition" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 86 }
	{ Subject2 10 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 92
{
	{ Name "number of\rflushed bytes" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 90 }
	{ Subject2 10 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 93
{
	{ Name "seeked\rposition" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 91 }
	{ Subject2 10 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 100
{
	{ Name "unfiltered bytes" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 4 }
	{ Subject2 98 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 101
{
	{ Name "filtered bytes" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 98 }
	{ Subject2 5 }
	{ Components 0 }
	{ ContentType Unspecified }
}

# VIEWS AND GRAPHICAL SHAPES

View 1
{
	{ Index "0" }
	{ Parent 0 }
}

HorizontalBar 24
{
	{ View 1 }
	{ Subject 3 }
	{ Position 570 260 }
	{ Size 80 30 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 25
{
	{ View 1 }
	{ Subject 4 }
	{ Position 360 80 }
	{ Size 87 87 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 26
{
	{ View 1 }
	{ Subject 5 }
	{ Position 360 190 }
	{ Size 87 87 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 27
{
	{ View 1 }
	{ Subject 6 }
	{ Position 360 410 }
	{ Size 88 88 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 28
{
	{ View 1 }
	{ Subject 7 }
	{ Position 360 300 }
	{ Size 89 89 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 29
{
	{ View 1 }
	{ Subject 8 }
	{ Position 690 150 }
	{ Size 90 90 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 30
{
	{ View 1 }
	{ Subject 9 }
	{ Position 690 350 }
	{ Size 90 90 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 32
{
	{ View 1 }
	{ Subject 12 }
	{ FromShape 29 }
	{ ToShape 24 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 657 180 }
	{ Point 586 245 }
	{ NamePosition 604 189 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 33
{
	{ View 1 }
	{ Subject 13 }
	{ FromShape 24 }
	{ ToShape 30 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 590 275 }
	{ Point 654 323 }
	{ NamePosition 647 284 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 35
{
	{ View 1 }
	{ Subject 15 }
	{ FromShape 24 }
	{ ToShape 25 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 553 245 }
	{ Point 393 108 }
	{ NamePosition 499 160 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 36
{
	{ View 1 }
	{ Subject 16 }
	{ FromShape 24 }
	{ ToShape 27 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 549 275 }
	{ Point 396 384 }
	{ NamePosition 451 314 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 37
{
	{ View 1 }
	{ Subject 17 }
	{ FromShape 24 }
	{ ToShape 28 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 530 268 }
	{ Point 404 292 }
	{ NamePosition 454 262 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 38
{
	{ View 1 }
	{ Subject 18 }
	{ FromShape 26 }
	{ ToShape 24 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 401 204 }
	{ Point 530 247 }
	{ NamePosition 460 203 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Square 39
{
	{ View 1 }
	{ Subject 10 }
	{ Position 90 340 }
	{ Size 120 120 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 73
{
	{ View 1 }
	{ Subject 69 }
	{ FromShape 28 }
	{ ToShape 39 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 316 307 }
	{ Point 150 331 }
	{ NamePosition 226 298 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 74
{
	{ View 1 }
	{ Subject 70 }
	{ FromShape 27 }
	{ ToShape 39 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 317 399 }
	{ Point 150 356 }
	{ NamePosition 250 363 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 88
{
	{ View 1 }
	{ Subject 86 }
	{ Position 360 520 }
	{ Size 87 87 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-helvetica-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 89
{
	{ View 1 }
	{ Subject 87 }
	{ FromShape 88 }
	{ ToShape 39 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 3 }
	{ Point 321 501 }
	{ Point 340 510 }
	{ Point 150 381 }
	{ NamePosition 249 417 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 94
{
	{ View 1 }
	{ Subject 90 }
	{ Position 50 540 }
	{ Size 87 87 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-courier-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 95
{
	{ View 1 }
	{ Subject 91 }
	{ Position 190 540 }
	{ Size 87 87 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-courier-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 96
{
	{ View 1 }
	{ Subject 92 }
	{ FromShape 94 }
	{ ToShape 39 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 59 497 }
	{ Point 78 400 }
	{ NamePosition 55 447 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 97
{
	{ View 1 }
	{ Subject 93 }
	{ FromShape 95 }
	{ ToShape 39 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 171 501 }
	{ Point 120 400 }
	{ NamePosition 157 446 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Square 99
{
	{ View 1 }
	{ Subject 98 }
	{ Position 80 110 }
	{ Size 120 120 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FillStyle Unfilled }
	{ FillColor "white" }
	{ FixedName False }
	{ Font "-*-courier-medium-r-normal--10*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 102
{
	{ View 1 }
	{ Subject 100 }
	{ FromShape 25 }
	{ ToShape 99 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 317 85 }
	{ Point 140 104 }
	{ NamePosition 247 73 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 103
{
	{ View 1 }
	{ Subject 101 }
	{ FromShape 99 }
	{ ToShape 26 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 140 127 }
	{ Point 318 178 }
	{ NamePosition 250 136 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}