Errors in Token handling when loading example PetriNets

Status: Beta

Brought to you by: bk506, bmk06, connerh, corveau, and 22 others

#45 Errors in Token handling when loading example PetriNets

Milestone: PIPEv4.3.0

Status: closed-fixed

Owner: Steve Doubleday

Labels: None

Priority: 5

Updated: 2013-10-06

Created: 2013-10-06

Private: No

After opening a non-coloured PetriNet, an immediate attempt to enter Animation node gets Null Pointer Exception.
List in the token drop-down box is inconsistent with the tokens seen in the token editor dialog when PetriNet is initially loaded.
Tokens not locked for update in the token editor when PetriNet is loaded. When tokens are edited, initial markings are lost.

Fixes involved consolidating logic regarding TokenViews into a new controller: TokenSetController. See README for details.