Double dispatch does not indent thread block

[GoogleCodeExporter]

I am visualising double dispatch as variation of the visitor pattern. As calls 
are latex environments each, I was expecting thread blocks to be indented the 
way self calls are indented.

For better appreciation of the problem I created a small example. In the lower 
half you see nested self calls which lead to indented thread blocks. I would 
expect the same for the calls of handleStartEvent and handlePauseEvent.

Furthermore, I tried using setthreadbias, however selfcalls are created 
relatively to their initial instance, instead of the thread box they are 
related to.

Original issue reported on code.google.com by [email protected] on 29 Feb 2012 at 10:38

Attachments:

• double-dispatch-and-self-calls.tex