forin/forof extension

[Haiyang-Sun]

• added a new callback forObjectPost to mark the end of a forin or forof event

• added cfBlockEnter and cfBlockExit to mark any enter and exit of a control flow block (i.e., if,iterations,switch).

[alexjordan]

I'm getting a strange nesting of callbacks when testing this, e.g.:

forObject@ (/home/aljordan/work/graal-au/nodeprof/src/ch.usi.inf.nodeprof.test/js/minitests/forinof.js:8:1:10:2) true { x: 'valueX', y: 'valueY' }
write name=key, val=x
read name=key, val=x
write name=baz, val=x
iterationEnter@ (/home/aljordan/work/graal-au/nodeprof/src/ch.usi.inf.nodeprof.test/js/minitests/forinof.js:8:1:10:2) 0
iterationExit@ (/home/aljordan/work/graal-au/nodeprof/src/ch.usi.inf.nodeprof.test/js/minitests/forinof.js:8:1:10:2)
write name=key, val=y

cfBlockEnter is executed at the end of the block, immediately followed by cfBlockExit.

[alexjordan]

@Haiyang-Sun to issue the callback at the right time, the -1 should be 0 here. I.e. we want to ignore the inputs to the block and issue the callback onEnter right away. (We don't have a use for the inputs, which I think are the statements, anyway.