Bug #116

hardcoded limit in number of items shown in compound state label

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

compound node labels are constructed from labels of associated 'underlying' states -- to avoid issues when a suspension automaton state consists of hundreds of LTS states, we show only 9 such labels -- this must be done in a better way, for example, by allowing the requester of the label to specify, optionally, an upperbound on the amount of labels or so,

e.g. by having two state getLabel methods:
  • getLabel() returning the whole thing (without restrictions)
  • getLabel(int maxElements) returning label with upperbound on nr of elements (or upperbound of length of label string???)

Related issues

Related to JTorX - Feature #123: add heuristics to dot writer to break long state/transiti... New 16 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 a method getLabel(int maxLength), and made getLabel() return label without restriction.

We now again show the full state labels in the automata (and in the utracesChecker results) --
this will not be nice when a suspension automaton state consists of hundreds of LTS states,
but is chosen over the earlier solution as giving "least surprise".

#2 Updated by Axel Belinfante over 11 years ago

  • Target version set to 1.1.0

Also available in: Atom PDF