public interface VMStateTransition extends VMEvent
VMState
getCurrentState()
getNextState()
getVM
apply, visit
VMState getCurrentState()
VMState getNextState()
Copyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.