FUML12 — The bodyOutputLists for a loop node need to be cleared when the node fires again

Specification: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.1 RTF Beta (ptc/2012-10-18)

Subclause: 8.5.3.2.3 LoopNodeActivation

The beginning of LoopNodeActivation::doStructuredActivity creates the bodyOutputLists for the firing of a loop node. However, it does not first clear any bodyOutputLists that may have been created on a previous firing of the loop node. This can result in an exception if a loop node fires repeatedly (for instance, if it is nested in another loop node), because there will be more body output lists than there are result pins.

(Also, the variables loopVariables and resultPins are no longer used within doStructuredActivity.)

Update LoopNodeActivation::doStructuredActivity

Agreed.