/interpreter/tags/at2dist220411/test/edu/vub/at/trace/fulfilled.json
JSON | 14 lines | 14 code | 0 blank | 0 comment | 0 complexity | ee46902edb4901ac19c629b2951a3170 MD5 | raw file
1[ { 2 "class" : [ "org.ref_send.log.Fulfilled", "org.ref_send.log.Resolved", "org.ref_send.log.Event" ], 3 "anchor" : { 4 "number" : 0, 5 "turn" : { 6 "loop" : "testLoop", 7 "number" : 0 8 } 9 }, 10 "condition" : "theCondition", 11 "trace" : { 12 "calls" : [ ] 13 } 14} ]