Create a new machine when a MachineContext is used and has a definition.
authorChristian Femers <femers@in.tum.de>
Mon, 23 Sep 2019 14:53:05 +0000 (16:53 +0200)
committerChristian Femers <femers@in.tum.de>
Mon, 23 Sep 2019 14:53:05 +0000 (16:53 +0200)
commitf4c2b2357f708fce0b1a15d7d9de32fbf509e0eb
tree48b88f4c75a2936e70e9618b0595af2049d9c5e3
parent6458f65f62e891a76076071c624855170e920d3a
Create a new machine when a MachineContext is used and has a definition.

This might be refined in future to a somewhat more lazy creation, but
for now it fixes the bug that a machine context has no machine at the
start, and it is not clear, when else it should be created.
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/nature/MachineContext.java