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

Document 
{
	{ Type "Data and Event Flow Diagram" }
	{ Name Stm1-3.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.3.1" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

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

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

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

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

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

DataProcess 43
{
	{ Name "flush\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.3.5" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

DataProcess 44
{
	{ Name "seek\rP" }
	{ Annotation "" }
	{ Parent 0 }
	{ Index "1.3.6" }
	{ ProcessGroup False }
	{ Persistence Instantaneous }
	{ Minispec "" }
	{ ActivationMechanism Unspecified }
}

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

# GRAPH EDGES

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

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

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

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

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

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

DataFlow 22
{
	{ Name "current position" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 11 }
	{ Subject2 8 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 45
{
	{ Name "number of\rflushed bytes" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 43 }
	{ Subject2 8 }
	{ Components 0 }
	{ ContentType Unspecified }
}

DataFlow 46
{
	{ Name "seeked\rposition" }
	{ Annotation "" }
	{ Parent 0 }
	{ Subject1 44 }
	{ Subject2 8 }
	{ Components 0 }
	{ ContentType Unspecified }
}

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

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

# VIEWS AND GRAPHICAL SHAPES

View 2
{
	{ Index "0" }
	{ Parent 0 }
}

HorizontalBar 23
{
	{ View 2 }
	{ Subject 3 }
	{ Position 570 230 }
	{ 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 24
{
	{ View 2 }
	{ Subject 4 }
	{ Position 360 50 }
	{ 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 25
{
	{ View 2 }
	{ Subject 5 }
	{ Position 360 150 }
	{ 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 2 }
	{ Subject 6 }
	{ Position 360 380 }
	{ 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 27
{
	{ View 2 }
	{ Subject 7 }
	{ Position 360 270 }
	{ 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 }
}

Line 28
{
	{ View 2 }
	{ Subject 12 }
	{ FromShape 23 }
	{ ToShape 24 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 553 215 }
	{ Point 393 78 }
	{ NamePosition 497 131 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 29
{
	{ View 2 }
	{ Subject 13 }
	{ FromShape 23 }
	{ ToShape 26 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 549 245 }
	{ Point 396 354 }
	{ NamePosition 464 291 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 30
{
	{ View 2 }
	{ Subject 14 }
	{ FromShape 23 }
	{ ToShape 27 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 530 238 }
	{ Point 404 262 }
	{ NamePosition 465 241 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 31
{
	{ View 2 }
	{ Subject 15 }
	{ FromShape 25 }
	{ ToShape 23 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 401 165 }
	{ Point 531 215 }
	{ NamePosition 471 181 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Square 32
{
	{ View 2 }
	{ Subject 8 }
	{ Position 90 310 }
	{ 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 34
{
	{ View 2 }
	{ Subject 17 }
	{ FromShape 27 }
	{ ToShape 32 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 316 277 }
	{ Point 150 301 }
	{ NamePosition 231 280 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 35
{
	{ View 2 }
	{ Subject 18 }
	{ FromShape 26 }
	{ ToShape 32 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 317 369 }
	{ Point 150 326 }
	{ NamePosition 236 338 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 41
{
	{ View 2 }
	{ Subject 11 }
	{ Position 360 500 }
	{ 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 42
{
	{ View 2 }
	{ Subject 22 }
	{ FromShape 41 }
	{ ToShape 32 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 324 475 }
	{ Point 150 352 }
	{ NamePosition 267 400 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Circle 47
{
	{ View 2 }
	{ Subject 43 }
	{ Position 60 500 }
	{ 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 48
{
	{ View 2 }
	{ Subject 44 }
	{ Position 190 500 }
	{ 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 49
{
	{ View 2 }
	{ Subject 45 }
	{ FromShape 47 }
	{ ToShape 32 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 67 457 }
	{ Point 81 370 }
	{ NamePosition 110 429 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 50
{
	{ View 2 }
	{ Subject 46 }
	{ FromShape 48 }
	{ ToShape 32 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 170 462 }
	{ Point 122 370 }
	{ NamePosition 175 411 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Square 54
{
	{ View 2 }
	{ Subject 51 }
	{ Position 90 100 }
	{ 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 55
{
	{ View 2 }
	{ Subject 52 }
	{ FromShape 24 }
	{ ToShape 54 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 317 58 }
	{ Point 150 89 }
	{ NamePosition 243 52 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}

Line 56
{
	{ View 2 }
	{ Subject 53 }
	{ FromShape 54 }
	{ ToShape 25 }
	{ Curved False }
	{ End1 Empty }
	{ End2 FilledArrow }
	{ Points 2 }
	{ Point 150 111 }
	{ Point 317 142 }
	{ NamePosition 250 111 }
	{ Color "black" }
	{ LineWidth 1 }
	{ LineStyle Solid }
	{ FixedName False }
	{ Font "-*-helvetica-bold-r-normal--8*" }
	{ TextAlignment Center }
	{ TextColor "black" }
	{ NameUnderlined False }
}