tea-pot/earl-grey — Issue #25: State machine import restrictions
Author: mazanma3
Created: 2011-12-24 02:15:47+00:00
State: open

Create some restrictions so it is not possible to use states from imported state machine.

**file: A.stm**

statemachine Door {
state Open {
close => Closed
}

state Closed {
open => Open
}
}

**file: B.stm**

import "A.stm"
statemachine Bomb {
state Unexploded {
explode => Boom
}

final Boom {
closed => Closed
}
}

The following transition is wrong:

final Boom {
closed => Closed
}

You should not be able to use states from other statemachine.