TAPNComposerWithGUI

[Jiri Srba]

We now use both TAPNComposer and TAPNComposerWithGUI (earlier called TAPNComposerExtended).

The older TAPNComposer should be replaced by the newer one (and the calls to the old one should be
updated with the GUI data layer in order to match the new constructor).

[Thomas Stig Jacobsen (tsja10)]

There are some problems with fixing this bug.
As pointed out in the merge of tapaal-approx into tapaal:

Essentially the new composer takes a HashMap<TimedArcPetriNet, DataLayer> guiModel in it's constructor so it cannot be used everywhere either since not everywhere a guiModel is available.

I will propose a solution to this later today.

[Thomas Stig Jacobsen (tsja10)]

As I see it, there are two possible solutions to this and we can use the new TAPNComposerWithGUI everywhere in the code in either case.

Solution 1: When a TAPNComposerWithGUI is initialized without a guiModel we will use a TAPNComposer instead.

Solution 2: TAPNComposerWithGUI can be rewritten to only create a new guiModel if the old one was given.

I am working on solution number 2 right now.

[Thomas Stig Jacobsen (tsja10)]

I have not committed a fix in the linked branch which fixes the problem.