Feature #112

extend anidot multicast to allow tree selection

Added by Axel Belinfante over 11 years ago. Updated over 11 years ago.

Status:ClosedStart date:11 Jun 2009
Priority:NormalDue date:
Assignee:-% Done:

100%

Category:-
Target version:1.1.0

Description

see commit d2823fc6261f310b4c4de3564a51c35fd90041f8
so we don't have to re-add a transition to make it highlighted,
but instead can just refer to an identification of the information
that has already been added


Related issues

Blocks JTorX - Bug #113: fix highlighting of <root> state in simulation pane Closed 11 Jun 2009

History

#1 Updated by Axel Belinfante over 11 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

added in commit 00907defed4d3668a56da110cdb85edaaca8e33a

example of use:

on anidot stdin we write the tree and the highlighting:

dot node s0
dot edge s0->s1
dot edge s1->s2
dot edge s0->s3
dot edge s3->s4
tree bla n0 –c red –n s0
tree n0 n1 –c red –n s1 –e s0->s1
tree n1 n2 –c red –n s2 –e s1->s2
tree n0 n3 –c red –n s3 –e s0->s3
tree n3 n4 –c red –n s4 –e s3->s4

and on the multicast we can now switch to these previous highlights, as part of a trace:
tree n4 0 hightlight node s0, on trace leading to s4
tree n2 0 hightlight node s0, on trace leading to s2

tree n3 highlight node s3, on trace leading to s3

#2 Updated by Axel Belinfante over 11 years ago

  • Target version set to 1.1.0

Also available in: Atom PDF