hardcoded limit in number of items shown in compound state label
|Status:||Closed||Start date:||11 Jun 2009|
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???)
#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".