public class HelloObserverExpectedState extends ObserverMessageExpectedState<TranslatorContext>
Constructor and Description |
---|
HelloObserverExpectedState() |
init, innerStateSymbol, restart, stateEntering, stateLeaving
stateSymbol, toString
Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.