RiSE4fun samples for AglList of built-in samples for the Agl in RiSE4funen-USrise4fun © 2017 Microsoft Corporationhttp://rise4fun.com//Images/Rise.gifRiSE4fun samples for Aglhttp://rise4fun.com/Agl/helloworldhelloworlddigraph G { Hello -> World } http://rise4fun.com/Agl/chrischrisdigraph test { n1 -> n2 n1 -> n3 n1 -> n4 n2 -> n5 n3 -> n31 n3 -> n6 n4 -> n7 n4 -> n16 n4 -> n8 n5 -> n31 n6 -> n31 n6 -> n9 n7 -> n10 n8 -> n11 n8 -> n13 n8 -> n14 n9 -> n15 n9 -> n28 n10 -> n16 n15 -> n17 n15 -> n18 n16 -> n19 n16 -> n20 n16 -> n21 n18 -> n22 n19 -> n31 n20 -> n29 n21 -> n23 n21 -> n24 n22 -> n28 n23 -> n26 n24 -> n27 n25 -> n28 n26 -> n29 n27 -> n30 n31 -> n25 n31 -> n32 } http://rise4fun.com/Agl/fsmfsmdigraph finite_state_machine { node [shape = doublecircle]; LR_0 LR_3 LR_4 LR_8; LR_0 [shape = doublecircle] LR_3 [shape = doublecircle] LR_4 [shape = doublecircle] LR_8 [shape = doublecircle] node [shape = circle]; rankdir=RL; LR_0 -> LR_2 [ label = "SS(B)" ]; LR_0 -> LR_1 [ label = "SS(S)" ]; LR_1 -> LR_3 [ label = "S($end)" ]; LR_2 -> LR_6 [ label = "SS(b)" ]; LR_2 -> LR_5 [ label = "SS(a)" ]; LR_2 -> LR_4 [ label = "S(A)" ]; LR_5 -> LR_7 [ label = "S(b)" ]; LR_5 -> LR_5 [ label = "S(a)" ]; LR_6 -> LR_6 [ label = "S(b)" ]; LR_6 -> LR_5 [ label = "S(a)" ]; LR_7 -> LR_8 [ label = "S(b)" ]; LR_7 -> LR_5 [ label = "S(a)" ]; LR_8 -> LR_6 [ label = "S(b)" ]; LR_8 -> LR_5 [ label = "S(a)" ]; } http://rise4fun.com/Agl/abstractabstractdigraph abstract { S24 -> 27; S24 -> 25; S1 -> 10; S1 -> 2; S35 -> 36; S35 -> 43; S30 -> 31; S30 -> 33; 9 -> 42; 9 -> T1; 25 -> T1; 25 -> 26; 27 -> T24; 2 -> 3; 2 -> 16; 2 -> 17; 2 -> T1; 2 -> 18; 10 -> 11; 10 -> 14; 10 -> T1; 10 -> 13; 10 -> 12; 31 -> T1; 31 -> 32; 33 -> T30; 33 -> 34; 42 -> 4; 26 -> 4; 3 -> 4; 16 -> 15; 17 -> 19; 18 -> 29; 11 -> 4; 14 -> 15; 37 -> 39; 37 -> 41; 37 -> 38; 37 -> 40; 13 -> 19; 12 -> 29; 43 -> 38; 43 -> 40; 36 -> 19; 32 -> 23; 34 -> 29; 39 -> 15; 41 -> 29; 38 -> 4; 40 -> 19; 4 -> 5; 19 -> 21; 19 -> 20; 19 -> 28; 5 -> 6; 5 -> T35; 5 -> 23; 21 -> 22; 20 -> 15; 28 -> 29; 6 -> 7; 15 -> T1; 22 -> 23; 22 -> T35; 29 -> T30; 7 -> T8; 23 -> T24; 23 -> T1; } http://rise4fun.com/Agl/riserisedigraph RiSE { Agl [fillcolor=gray, fontcolor=white, color=gray] Bek [fillcolor=gray, fontcolor=white, color=gray] Boogie [fillcolor=gray, fontcolor=white, color=gray] Chalice [fillcolor=gray, fontcolor=white, color=gray] CodeContractsVerifier [fillcolor=gray, fontcolor=white, color=gray] ConcurrentRevisions [fillcolor=gray, fontcolor=white, color=gray] Dafny [fillcolor=gray, fontcolor=white, color=gray] Dkal [fillcolor=gray, fontcolor=white, color=gray] F* [fillcolor=gray, fontcolor=white, color=gray] Formula [fillcolor=gray, fontcolor=white, color=gray] HeapDbg [fillcolor=gray, fontcolor=white, color=gray] Koka [fillcolor=gray, fontcolor=white, color=gray] Pex [fillcolor=gray, fontcolor=white, color=gray] Pex4fun [fillcolor=gray, fontcolor=white, color=gray] Poirot [fillcolor=gray, fontcolor=white, color=gray] Rex [fillcolor=gray, fontcolor=white, color=gray] Seal [fillcolor=gray, fontcolor=white, color=gray] SLayer [fillcolor=gray, fontcolor=white, color=gray] SpecSharp [fillcolor=gray, fontcolor=white, color=gray] TouchDevelop [fillcolor=gray, fontcolor=white, color=gray] Vcc [fillcolor=gray, fontcolor=white, color=gray] Z3 [fillcolor=gray, fontcolor=white, color=gray] Z3Py [fillcolor=gray, fontcolor=white, color=gray] Z3-4Biology [fillcolor=gray, fontcolor=white, color=gray] DGML -> Agl; Rex -> Agl; Rex -> Automata; Bek -> Automata; Bek -> DGML; Automata -> Z3; Boogie -> Z3; Boogie -> CCI; Dafny -> Boogie; Chalice -> Boogie; Vcc -> Boogie; Vcc -> CCI; CodeContracts -> CCI; CodeContractsVerifier -> CCI; CodeContractsVerifier -> CodeContracts; HeapDbg -> CCI; HeapDbg -> Agl; Pex -> Z3; Pex -> ER; Pex -> Moles; Pex -> Rex; Moles -> ER; CHESS -> ER; CHESS -> CAP; Cuzz -> CAP; ConcurrentRevisions -> CCI; F* -> Z3; SymDiff -> Boogie SymDiff -> Havoc SLAM -> Z3; Poirot -> Boogie; Poirot -> Havoc; Havoc -> Boogie LineUp -> CHESS RaceKit -> ER SpecSharp -> Boogie SpecSharp -> CCI Formula -> Z3 Formula -> Agl SLayer -> Z3; Z3Py -> Z3; Z3-4Biology -> Z3; Pex4fun -> Pex; } http://rise4fun.com/Agl/b53b53digraph "If.try_if_then" { label = "If.try_if_then"; rankdir="TD"; node [fontname="Helvetica", shape=record, fontsize="12", color="lightblue", style="filled"]; edge [fontname="Helvetica", fontsize="10", color="black"]; subgraph "cluster_node_57" { /* block node_57 */ label = ""; node_57 [label = "Block [57]"]; node_58 [label = "Return [58@57]"]; node_50 -> node_58 [label = "mem", dir = back]; node_48 -> node_58 [label = "int", dir = back]; } /* block node_57 */ subgraph "cluster_node_43" { /* block node_43 */ label = ""; node_43 [label = "Block [43]"]; node_50 [label = "Proj (mem) [50@43]"]; node_45 -> node_50 [label = "tuple", dir = back]; node_49 [label = "Proj (arg_2) [49@43]"]; node_45 -> node_49 [label = "tuple", dir = back]; node_48 [label = "Proj (arg_1) [48@43]"]; node_45 -> node_48 [label = "tuple", dir = back]; node_45 [label = "Start [45@43]"]; node_51 [label = "Proj (exe(4)) [51@43]"]; node_45 -> node_51 [label = "tuple", dir = back]; } /* block node_43 */ subgraph "cluster_node_52" { /* block node_52 */ label = ""; node_52 [label = "Block [52]"]; node_56 [label = "Proj (exe(0)) [56@52]"]; node_54 -> node_56 [label = "tuple", dir = back]; node_53 [label = "Compare [53@52]"]; node_48 -> node_53 [label = "int", dir = back]; node_49 -> node_53 [label = "int", dir = back]; node_54 [label = "Cond (2) [54@52]"]; node_53 -> node_54 [label = "condition", dir = back]; node_55 [label = "Proj (exe(1)) [55@52]"]; node_54 -> node_55 [label = "tuple", dir = back]; } /* block node_52 */ subgraph "cluster_node_60" { /* block node_60 */ label = ""; node_60 [label = "Block [60]"]; node_61 [label = "Return [61@60]"]; node_50 -> node_61 [label = "mem", dir = back]; node_49 -> node_61 [label = "int", dir = back]; } /* block node_60 */ subgraph "cluster_node_44" { /* block node_44 */ label = ""; node_44 [label = "Block [44]"]; node_46 [label = "End [46@44]"]; } /* block node_44 */ node_56 -> node_60 [label = "exe", dir = back]; node_51 -> node_52 [label = "exe", dir = back]; node_55 -> node_57 [label = "exe", dir = back]; node_58 -> node_44 [label = "exe", dir = back]; node_61 -> node_44 [label = "exe", dir = back]; } /* Graph "If.try_if_then" */http://rise4fun.com/Agl/honda-tokorohonda-tokorodigraph "Honda-Tokoro" { rankdir="LR" ranksep="0.2" edge[labelfontsize="8" fontsize="8" labeldistance="0.8" arrowsize="0.9" labelangle="-30" dir="none"] nodesep="0.2" node[width="0" height="0" fontsize="10"] n000 [label="z"] n001->n000 [headlabel=":s:" arrowhead="invdot"] n001 [label="m"] n002->n001 [samehead="m002" headlabel=":r:" samearrowhead="1" arrowhead="invdot" arrowtail="inv"] n002 [label="p1"] n003->n002 [headlabel=":s:" arrowhead="dot"] n003 [label="b"] n004->n003 n004 [label="x1"] n022->n004 [weight="0" headlabel=":s/r:" fontsize="8" arrowhead="invdot"] n003->n002 [samehead="m000" fontsize="8" samearrowhead="1" arrowtail="inv"] n005->n002 [samehead="m000" headlabel=":u:" fontsize="8" samearrowhead="1" arrowhead="dot" arrowtail="inv"] n005->n001 [samehead="m002" samearrowhead="1"] n005 [label="b"] n006->n005 [arrowtail="inv"] n006 [label="p2"] n007->n006 [headlabel=":s:" arrowhead="dot"] n007 [label="b"] n008->n007 n008 [label="x2"] n022->n008 [weight="0" headlabel=":s/r:" fontsize="8" arrowhead="invdot"] n007->n006 [samehead="m001" headlabel=":u:" fontsize="8" samearrowhead="1" arrowhead="dot" arrowtail="inv"] n009->n006 [samehead="m001" samearrowhead="1" arrowtail="inv"] n009 [label="b2"] n022->n009 [fontsize="8"] n022->n009 [fontsize="8"] n010->n006 [samehead="m001" samearrowhead="1" arrowtail="inv"] n010 [label="b2"] n022->n010 [fontsize="8"] n022->n010 [fontsize="8"] n011->n000 [headlabel=":r:" arrowhead="invdot" arrowtail="inv"] n011 [label="n"] n012->n011 [samehead="m005" headlabel=":s:" samearrowhead="1" arrowhead="dot"] n012 [label="b"] n013->n012 n013 [label="c1"] n014->n013 [headlabel=":r:" arrowhead="invdot"] n014 [label="b"] n015->n014 [arrowtail="inv"] n015 [label="y1"] n023->n015 [weight="0" headlabel=":s/r:" fontsize="8" arrowhead="dot"] n016->n015 [samehead="m003" headlabel=":u:" fontsize="8" samearrowhead="1" arrowhead="dot" arrowtail="inv"] n018->n015 [samehead="m003" fontsize="8" samearrowhead="1" arrowtail="inv"] n014->n011 [samehead="m006" headlabel=":u:" fontsize="8" samearrowhead="1" arrowhead="dot" arrowtail="inv"] n012->n011 [samehead="m006" fontsize="8" samearrowhead="1" arrowtail="inv"] n016->n011 [samehead="m005" samearrowhead="1"] n016 [label="b"] n017->n016 n017 [label="c2"] n018->n017 [headlabel=":r:" arrowhead="invdot"] n018 [label="b"] n019->n018 [arrowtail="inv"] n019 [label="y2"] n023->n019 [weight="0" headlabel=":s/r:" fontsize="8" arrowhead="dot"] n020->n019 [samehead="m004" headlabel=":u:" samearrowhead="1" arrowhead="dot" arrowtail="inv"] n020 [label="b2"] n023->n020 [fontsize="8"] n023->n020 [fontsize="8"] n021->n019 [samehead="m004" samearrowhead="1" arrowtail="inv"] n021 [label="b2"] n023->n021 [fontsize="8"] n023->n021 [fontsize="8"] n022 [width="0.5" label="[P]" shape="box" style="dashed" height="0.35"] n023 [width="0.5" label="[Q]" shape="box" style="dashed" height="0.35"] {/*L=x1*/rank=same n004 n015} {/*L=p1*/rank=same n002 n013} {/*L=b*/rank=same n009 n010 n020 n021} {/*L=x2*/rank=same n008 n019} {/*L=p2*/rank=same n006 n017} {/*L=m*/rank=same n001 n011} } http://rise4fun.com/Agl/QDQDdigraph testGraph { size = "48,48"; node [color=lightblue2, style=filled]; "0" -> "1"; "1" -> "2"; "1" -> "5"; "1" -> "8"; "1" -> "11"; "1" -> "50"; "1" -> "85"; "1" -> "314"; "1" -> "315"; "1" -> "316"; "1" -> "318"; "2" -> "3"; "3" -> "4"; "4" -> "319"; "5" -> "6"; "6" -> "7"; "7" -> "320"; "8" -> "9"; "9" -> "10"; "10" -> "340"; "11" -> "12"; "11" -> "15"; "11" -> "19"; "11" -> "23"; "11" -> "27"; "11" -> "31"; "11" -> "35"; "11" -> "39"; "11" -> "43"; "11" -> "47"; "12" -> "13"; "13" -> "320"; "15" -> "16"; "16" -> "320"; "19" -> "20"; "20" -> "320"; "23" -> "24"; "24" -> "320"; "27" -> "28"; "28" -> "320"; "31" -> "32"; "32" -> "320"; "35" -> "36"; "36" -> "320"; "39" -> "40"; "40" -> "320"; "43" -> "44"; "44" -> "320"; "47" -> "48"; "48" -> "320"; "50" -> "51"; "50" -> "54"; "50" -> "58"; "50" -> "62"; "50" -> "66"; "50" -> "74"; "50" -> "78"; "50" -> "82"; "50" -> "70"; "51" -> "52"; "52" -> "320"; "54" -> "55"; "55" -> "320"; "58" -> "59"; "59" -> "320"; "62" -> "63"; "63" -> "320"; "66" -> "67"; "67" -> "320"; "70" -> "71"; "71" -> "320"; "74" -> "75"; "75" -> "320"; "78" -> "79"; "79" -> "320"; "82" -> "83"; "83" -> "320"; "85" -> "86"; "85" -> "88"; "85" -> "90"; "85" -> "92"; "85" -> "94"; "85" -> "96"; "85" -> "99"; "85" -> "103"; "85" -> "107"; "85" -> "111"; "85" -> "115"; "85" -> "119"; "85" -> "123"; "85" -> "127"; "85" -> "131"; "85" -> "135"; "85" -> "139"; "85" -> "143"; "85" -> "147"; "85" -> "151"; "85" -> "155"; "85" -> "159"; "85" -> "163"; "85" -> "167"; "85" -> "171"; "85" -> "175"; "85" -> "179"; "85" -> "183"; "85" -> "187"; "85" -> "191"; "85" -> "195"; "85" -> "199"; "85" -> "203"; "85" -> "207"; "85" -> "211"; "85" -> "215"; "85" -> "219"; "85" -> "223"; "85" -> "227"; "85" -> "231"; "85" -> "235"; "85" -> "239"; "85" -> "243"; "85" -> "247"; "85" -> "255"; "85" -> "259"; "85" -> "267"; "85" -> "251"; "85" -> "263"; "85" -> "271"; "85" -> "275"; "85" -> "279"; "85" -> "283"; "85" -> "287"; "85" -> "291"; "85" -> "295"; "85" -> "299"; "85" -> "303"; "85" -> "307"; "85" -> "311"; "86" -> "87"; "87" -> "319"; "88" -> "89"; "89" -> "319"; "90" -> "91"; "91" -> "319"; "92" -> "93"; "93" -> "319"; "94" -> "95"; "95" -> "319"; "96" -> "97"; "97" -> "319"; "99" -> "100"; "100" -> "319"; "103" -> "104"; "104" -> "319"; "107" -> "108"; "108" -> "319"; "111" -> "112"; "112" -> "319"; "115" -> "116"; "116" -> "319"; "119" -> "120"; "120" -> "319"; "123" -> "124"; "124" -> "319"; "127" -> "128"; "128" -> "319"; "131" -> "132"; "132" -> "319"; "135" -> "136"; "136" -> "319"; "139" -> "140"; "140" -> "319"; "143" -> "144"; "144" -> "319"; "147" -> "148"; "148" -> "319"; "151" -> "152"; "152" -> "319"; "155" -> "156"; "156" -> "319"; "159" -> "160"; "160" -> "319"; "163" -> "164"; "164" -> "319"; "167" -> "168"; "168" -> "319"; "171" -> "172"; "172" -> "319"; "175" -> "176"; "176" -> "319"; "179" -> "180"; "180" -> "319"; "183" -> "184"; "184" -> "319"; "187" -> "188"; "188" -> "319"; "191" -> "192"; "192" -> "319"; "195" -> "196"; "196" -> "319"; "199" -> "200"; "200" -> "319"; "203" -> "204"; "204" -> "319"; "207" -> "208"; "208" -> "319"; "211" -> "212"; "212" -> "319"; "215" -> "216"; "216" -> "319"; "219" -> "220"; "220" -> "319"; "223" -> "224"; "224" -> "319"; "227" -> "228"; "228" -> "319"; "231" -> "232"; "232" -> "319"; "235" -> "236"; "236" -> "319"; "239" -> "240"; "240" -> "319"; "243" -> "244"; "244" -> "319"; "247" -> "248"; "248" -> "319"; "251" -> "252"; "252" -> "319"; "255" -> "256"; "256" -> "319"; "259" -> "260"; "260" -> "319"; "263" -> "264"; "264" -> "319"; "267" -> "268"; "268" -> "319"; "271" -> "272"; "272" -> "319"; "275" -> "276"; "276" -> "319"; "279" -> "280"; "280" -> "319"; "283" -> "284"; "284" -> "319"; "287" -> "288"; "288" -> "319"; "291" -> "292"; "292" -> "319"; "295" -> "296"; "296" -> "319"; "299" -> "300"; "300" -> "319"; "303" -> "304"; "304" -> "319"; "307" -> "308"; "308" -> "319"; "311" -> "312"; "312" -> "319"; "314" -> "317"; "315" -> "317"; "316" -> "327"; "317" -> "319"; "318" -> "319"; "319" -> "320"; "320" -> "321"; "321" -> "322"; "322" -> "323"; "323" -> "324"; "324" -> "325"; "325" -> "326"; "325" -> "328"; "326" -> "329"; "327" -> "329"; "328" -> "329"; "329" -> "330"; "329" -> "331"; "330" -> "332"; "331" -> "332"; "332" -> "333"; "333" -> "334"; "334" -> "335"; "335" -> "336"; "336" -> "337"; "337" -> "338"; "337" -> "339"; "338" -> "340"; "339" -> "340"; "340" -> "341"; "341" -> "342"; } http://rise4fun.com/Agl/chatchatdigraph "" { graph [ rankdir=TB color="#000000ff" bgcolor="#fffff0ff" fontcolor="#000000ff" fontsize=16 ] node [fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="\N"] edge [color="#000000ff",fontcolor="#000000ff",fontsize=16] //nodes "8"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S8"] "9"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=point,label=""] "2"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S2"] "3"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S3"] "0"[style="filled",style="filled",fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S0",fillcolor="#008000ff"] "1"[style="filled",style="filled",fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S1",fillcolor="#008000ff"] "6"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S6"] "7"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S7"] "4"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S4"] "5"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S5"] "19"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=point,label=""] "18"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S18"] "13"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=point,label=""] "12"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S12"] "11"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S11"] "10"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S10"] "17"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S17"] "16"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=point,label=""] "15"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S15"] "14"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S14"] "20"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=diamond,label="S20"] "20" -> "7"[label="c0.?Receive(c1, ''hi''..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="40"] "19" -> "20"[label="c1.Send(''bye'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="39"] "19" -> "12"[label="c0.Send(''bye'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="38"] "19" -> "17"[label="c0.Send(''hi'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="37"] "5" -> "1"[label="c0.?Receive(c1, ''hi''..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="35"] "17" -> "5"[label="c1.?Receive(c0, ''hi''..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="34"] "17" -> "6"[label="c0.?Receive(c1, ''hi''..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="33"] "18" -> "8"[label="c1.?Receive(c0, ''hi''..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="32"] "16" -> "18"[label="c0.Send(''bye'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="31"] "16" -> "14"[label="c1.Send(''bye'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="30"] "16" -> "17"[label="c1.Send(''hi'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="29"] "6" -> "1"[label="c1.?Receive(c0, ''hi''..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="27"] "14" -> "6"[label="c0.?Receive(c1, ''bye..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="26"] "14" -> "7"[label="c1.?Receive(c0, ''hi''..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="25"] "15" -> "5"[label="c0.?Receive(c1, ''bye..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="24"] "13" -> "15"[label="c1.Send(''hi'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="23"] "13" -> "14"[label="c0.Send(''hi'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="22"] "13" -> "11"[label="c0.Send(''bye'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="21"] "7" -> "1"[label="c0.?Receive(c1, ''bye..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="19"] "10" -> "6"[label="c1.?Receive(c0, ''bye..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="18"] "11" -> "8"[label="c0.?Receive(c1, ''bye..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="17"] "11" -> "7"[label="c1.?Receive(c0, ''bye..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="16"] "12" -> "8"[label="c0.?Receive(c1, ''hi''..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="15"] "12" -> "5"[label="c1.?Receive(c0, ''bye..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="14"] "9" -> "12"[label="c1.Send(''hi'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="13"] "9" -> "11"[label="c1.Send(''bye'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="12"] "9" -> "10"[label="c0.Send(''hi'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="11"] "8" -> "1"[label="c1.?Receive(c0, ''bye..",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="9"] "1" -> "8"[label="c0.Send(''bye'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="8"] "1" -> "7"[label="c1.Send(''bye'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="7"] "1" -> "6"[label="c0.Send(''hi'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="6"] "1" -> "5"[label="c1.Send(''hi'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="5"] "4" -> "1"[label="c1.Enter()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="4"] "3" -> "4"[label="c0.Enter()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="3"] "2" -> "3"[label="Create()/c1",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="2"] "0" -> "2"[label="Create()/c0",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="1"] "8" -> "9"[color="#808080ff",fontcolor="#000000ff",fontsize=16,id="-1"] "7" -> "13"[color="#808080ff",fontcolor="#000000ff",fontsize=16,id="-2"] "6" -> "16"[color="#808080ff",fontcolor="#000000ff",fontsize=16,id="-3"] "5" -> "19"[color="#808080ff",fontcolor="#000000ff",fontsize=16,id="-4"] } http://rise4fun.com/Agl/jsortjsortdigraph prof { size="6,4"; ratio = fill; node [style=filled]; start -> main [color="0.002 0.999 0.999"]; start -> on_exit [color="0.649 0.701 0.701"]; main -> sort [color="0.348 0.839 0.839"]; main -> merge [color="0.515 0.762 0.762"]; main -> term [color="0.647 0.702 0.702"]; main -> signal [color="0.650 0.700 0.700"]; main -> sbrk [color="0.650 0.700 0.700"]; main -> unlink [color="0.650 0.700 0.700"]; main -> newfile [color="0.650 0.700 0.700"]; main -> fclose [color="0.650 0.700 0.700"]; main -> close [color="0.650 0.700 0.700"]; main -> brk [color="0.650 0.700 0.700"]; main -> setbuf [color="0.650 0.700 0.700"]; main -> copyproto [color="0.650 0.700 0.700"]; main -> initree [color="0.650 0.700 0.700"]; main -> safeoutfil [color="0.650 0.700 0.700"]; main -> getpid [color="0.650 0.700 0.700"]; main -> sprintf [color="0.650 0.700 0.700"]; main -> creat [color="0.650 0.700 0.700"]; main -> rem [color="0.650 0.700 0.700"]; main -> oldfile [color="0.650 0.700 0.700"]; sort -> msort [color="0.619 0.714 0.714"]; sort -> filbuf [color="0.650 0.700 0.700"]; sort -> newfile [color="0.650 0.700 0.700"]; sort -> fclose [color="0.650 0.700 0.700"]; sort -> setbuf [color="0.650 0.700 0.700"]; sort -> setfil [color="0.650 0.700 0.700"]; msort -> qsort [color="0.650 0.700 0.700"]; msort -> insert [color="0.650 0.700 0.700"]; msort -> wline [color="0.650 0.700 0.700"]; msort -> div [color="0.650 0.700 0.700"]; msort -> cmpsave [color="0.650 0.700 0.700"]; merge -> insert [color="0.650 0.700 0.700"]; merge -> rline [color="0.650 0.700 0.700"]; merge -> wline [color="0.650 0.700 0.700"]; merge -> unlink [color="0.650 0.700 0.700"]; merge -> fopen [color="0.650 0.700 0.700"]; merge -> fclose [color="0.650 0.700 0.700"]; merge -> setfil [color="0.650 0.700 0.700"]; merge -> mul [color="0.650 0.700 0.700"]; merge -> setbuf [color="0.650 0.700 0.700"]; merge -> cmpsave [color="0.650 0.700 0.700"]; insert -> cmpa [color="0.650 0.700 0.700"]; wline -> flsbuf [color="0.649 0.700 0.700"]; qsort -> cmpa [color="0.650 0.700 0.700"]; rline -> filbuf [color="0.649 0.700 0.700"]; xflsbuf -> write [color="0.650 0.700 0.700"]; flsbuf -> xflsbuf [color="0.649 0.700 0.700"]; filbuf -> read [color="0.650 0.700 0.700"]; term -> unlink [color="0.650 0.700 0.700"]; term -> signal [color="0.650 0.700 0.700"]; term -> setfil [color="0.650 0.700 0.700"]; term -> exit [color="0.650 0.700 0.700"]; endopen -> open [color="0.650 0.700 0.700"]; fopen -> endopen [color="0.639 0.705 0.705"]; fopen -> findiop [color="0.650 0.700 0.700"]; newfile -> fopen [color="0.634 0.707 0.707"]; newfile -> setfil [color="0.650 0.700 0.700"]; fclose -> fflush [color="0.642 0.704 0.704"]; fclose -> close [color="0.650 0.700 0.700"]; fflush -> xflsbuf [color="0.635 0.707 0.707"]; malloc -> morecore [color="0.325 0.850 0.850"]; malloc -> demote [color="0.650 0.700 0.700"]; morecore -> sbrk [color="0.650 0.700 0.700"]; morecore -> getfreehdr [color="0.650 0.700 0.700"]; morecore -> free [color="0.650 0.700 0.700"]; morecore -> getpagesize [color="0.650 0.700 0.700"]; morecore -> putfreehdr [color="0.650 0.700 0.700"]; morecore -> udiv [color="0.650 0.700 0.700"]; morecore -> umul [color="0.650 0.700 0.700"]; on_exit -> malloc [color="0.325 0.850 0.850"]; signal -> sigvec [color="0.650 0.700 0.700"]; moncontrol -> profil [color="0.650 0.700 0.700"]; getfreehdr -> sbrk [color="0.650 0.700 0.700"]; free -> insert [color="0.650 0.700 0.700"]; insert -> getfreehdr [color="0.650 0.700 0.700"]; setfil -> div [color="0.650 0.700 0.700"]; setfil -> rem [color="0.650 0.700 0.700"]; sigvec -> sigblock [color="0.650 0.700 0.700"]; sigvec -> sigsetmask [color="0.650 0.700 0.700"]; doprnt -> urem [color="0.650 0.700 0.700"]; doprnt -> udiv [color="0.650 0.700 0.700"]; doprnt -> strlen [color="0.650 0.700 0.700"]; doprnt -> localeconv [color="0.650 0.700 0.700"]; sprintf -> doprnt [color="0.650 0.700 0.700"]; cmpa [color="0.000 1.000 1.000"]; wline [color="0.201 0.753 1.000"]; insert [color="0.305 0.625 1.000"]; rline [color="0.355 0.563 1.000"]; sort [color="0.408 0.498 1.000"]; qsort [color="0.449 0.447 1.000"]; write [color="0.499 0.386 1.000"]; read [color="0.578 0.289 1.000"]; msort [color="0.590 0.273 1.000"]; merge [color="0.603 0.258 1.000"]; unlink [color="0.628 0.227 1.000"]; filbuf [color="0.641 0.212 1.000"]; open [color="0.641 0.212 1.000"]; sbrk [color="0.647 0.204 1.000"]; signal [color="0.647 0.204 1.000"]; moncontrol [color="0.647 0.204 1.000"]; xflsbuf [color="0.650 0.200 1.000"]; flsbuf [color="0.650 0.200 1.000"]; div [color="0.650 0.200 1.000"]; cmpsave [color="0.650 0.200 1.000"]; rem [color="0.650 0.200 1.000"]; setfil [color="0.650 0.200 1.000"]; close [color="0.650 0.200 1.000"]; fclose [color="0.650 0.200 1.000"]; fflush [color="0.650 0.200 1.000"]; setbuf [color="0.650 0.200 1.000"]; endopen [color="0.650 0.200 1.000"]; findiop [color="0.650 0.200 1.000"]; fopen [color="0.650 0.200 1.000"]; mul [color="0.650 0.200 1.000"]; newfile [color="0.650 0.200 1.000"]; sigblock [color="0.650 0.200 1.000"]; sigsetmask [color="0.650 0.200 1.000"]; sigvec [color="0.650 0.200 1.000"]; udiv [color="0.650 0.200 1.000"]; urem [color="0.650 0.200 1.000"]; brk [color="0.650 0.200 1.000"]; getfreehdr [color="0.650 0.200 1.000"]; strlen [color="0.650 0.200 1.000"]; umul [color="0.650 0.200 1.000"]; doprnt [color="0.650 0.200 1.000"]; copyproto [color="0.650 0.200 1.000"]; creat [color="0.650 0.200 1.000"]; demote [color="0.650 0.200 1.000"]; exit [color="0.650 0.200 1.000"]; free [color="0.650 0.200 1.000"]; getpagesize [color="0.650 0.200 1.000"]; getpid [color="0.650 0.200 1.000"]; initree [color="0.650 0.200 1.000"]; insert [color="0.650 0.200 1.000"]; localeconv [color="0.650 0.200 1.000"]; main [color="0.650 0.200 1.000"]; malloc [color="0.650 0.200 1.000"]; morecore [color="0.650 0.200 1.000"]; oldfile [color="0.650 0.200 1.000"]; on_exit [color="0.650 0.200 1.000"]; profil [color="0.650 0.200 1.000"]; putfreehdr [color="0.650 0.200 1.000"]; safeoutfil [color="0.650 0.200 1.000"]; sprintf [color="0.650 0.200 1.000"]; term [color="0.650 0.200 1.000"]; } http://rise4fun.com/Agl/tinyNotepadtinyNotepaddigraph "" { graph [ rankdir=TB color="#000000ff" bgcolor="#fffff0ff" fontcolor="#000000ff" fontsize=16 ] node [fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="\N"] edge [color="#000000ff",fontcolor="#000000ff",fontsize=16] //nodes "8"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S8"] "9"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S9"] "2"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S2"] "3"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S3"] "0"[style="filled",style="filled",fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S0",fillcolor="#d3d3d3ff"] "1"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S1"] "6"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S6"] "7"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S7"] "4"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S4"] "5"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S5"] "19"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S19"] "18"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S18"] "13"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S13"] "12"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S12"] "11"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S11"] "10"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S10"] "17"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S17"] "16"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S16"] "15"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S15"] "14"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S14"] "20"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S20"] "21"[fontcolor="#000000ff",fontsize=16,color="#000000ff",shape=ellipse,label="S21"] "2" -> "3"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="165"] "2" -> "8"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="164"] "2" -> "1"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="163"] "2" -> "11"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="161"] "2" -> "8"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="159"] "4" -> "11"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="158"] "4" -> "5"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="156"] "4" -> "1"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="154"] "4" -> "5"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="153"] "4" -> "3"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="152"] "6" -> "19"[label="Paste()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="151"] "6" -> "21"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="149"] "6" -> "19"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="148"] "6" -> "7"[label="Cut()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="144"] "6" -> "7"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="143"] "6" -> "17"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="142"] "17" -> "6"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="141"] "17" -> "19"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="140"] "17" -> "18"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="139"] "17" -> "6"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="136"] "17" -> "7"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="135"] "18" -> "17"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="134"] "18" -> "21"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="132"] "18" -> "20"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="131"] "18" -> "7"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="129"] "18" -> "21"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="128"] "21" -> "18"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="126"] "21" -> "19"[label="Paste()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="125"] "21" -> "9"[label="Cut()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="124"] "21" -> "7"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="123"] "21" -> "6"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="122"] "21" -> "10"[label="Copy()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="121"] "21" -> "20"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="120"] "20" -> "18"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="117"] "20" -> "21"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="115"] "20" -> "19"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="113"] "20" -> "21"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="112"] "20" -> "7"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="111"] "19" -> "20"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="109"] "19" -> "6"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="108"] "19" -> "17"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="107"] "19" -> "7"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="105"] "19" -> "6"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="104"] "7" -> "19"[label="Paste()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="103"] "7" -> "18"[label="Insert(0, ''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="101"] "7" -> "17"[label="Insert(0, ''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="100"] "7" -> "18"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="99"] "7" -> "17"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="96"] "9" -> "15"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="94"] "9" -> "14"[label="Insert(0, ''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="92"] "9" -> "15"[label="Insert(0, ''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="91"] "9" -> "12"[label="Paste()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="90"] "9" -> "14"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="89"] "12" -> "14"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="87"] "12" -> "10"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="86"] "12" -> "10"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="83"] "12" -> "16"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="82"] "12" -> "9"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="81"] "13" -> "6"[label="Copy()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="78"] "13" -> "7"[label="Cut()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="77"] "13" -> "15"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="75"] "13" -> "10"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="74"] "13" -> "12"[label="Paste()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="73"] "13" -> "16"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="72"] "13" -> "9"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="71"] "16" -> "15"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="70"] "16" -> "13"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="69"] "16" -> "12"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="68"] "16" -> "13"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="66"] "16" -> "9"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="65"] "15" -> "16"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="63"] "15" -> "13"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="62"] "15" -> "14"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="60"] "15" -> "13"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="59"] "15" -> "9"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="57"] "14" -> "15"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="56"] "14" -> "12"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="55"] "14" -> "10"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="52"] "14" -> "10"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="51"] "14" -> "9"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="50"] "10" -> "9"[label="Cut()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="49"] "10" -> "14"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="48"] "10" -> "12"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="47"] "10" -> "13"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="45"] "10" -> "12"[label="Paste()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="43"] "10" -> "9"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="42"] "11" -> "1"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="39"] "11" -> "8"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="37"] "11" -> "4"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="36"] "11" -> "8"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="35"] "11" -> "2"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="34"] "8" -> "5"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="31"] "8" -> "11"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="30"] "8" -> "10"[label="Copy()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="28"] "8" -> "2"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="27"] "8" -> "9"[label="Cut()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="26"] "8" -> "1"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="25"] "5" -> "3"[label="Select(0, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="22"] "5" -> "4"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="21"] "5" -> "1"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="20"] "5" -> "8"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="18"] "5" -> "7"[label="Cut()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="17"] "5" -> "6"[label="Copy()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="16"] "3" -> "5"[label="SelectAll()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="13"] "3" -> "5"[label="Select(0, 1)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="12"] "3" -> "2"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="10"] "3" -> "4"[label="Select(1, 0)",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="9"] "3" -> "1"[label="Clear()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="8"] "1" -> "3"[label="SetText(''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="7"] "1" -> "2"[label="SetText(''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="6"] "1" -> "3"[label="Insert(0, ''b'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="5"] "1" -> "2"[label="Insert(0, ''a'')",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="4"] "0" -> "1"[label="Start()",color="#000000ff",fontcolor="#000000ff",fontsize=16,id="0"] }