cz.cuni.amis.pogamut.udk.communication.translator
Class TranslatorMessages

java.lang.Object
  cz.cuni.amis.pogamut.udk.communication.translator.TranslatorMessages

public class TranslatorMessages
extends Object

Constructor Summary

TranslatorMessages()

Method Summary

static String	messageNotWorldEvent(cz.cuni.amis.fsm.IFSMState state, Object symbol)
static String	messageNotWorldEvent(cz.cuni.amis.fsm.IFSMTransition state, Object symbol)
static String	unexpectedMessage(cz.cuni.amis.fsm.IFSMState state, Object symbol)
static String	unexpectedMessage(cz.cuni.amis.fsm.IFSMState state, Object symbol, Class expected)
static String	unexpectedMessage(cz.cuni.amis.fsm.IFSMTransition state, Object symbol)
static String	unexpectedMessage(cz.cuni.amis.fsm.IFSMTransition state, Object symbol, Class expected)
static String	unprocessedMessage(cz.cuni.amis.fsm.IFSMState state, Object symbol)
static String	unprocessedMessage(cz.cuni.amis.fsm.IFSMTransition state, Object symbol)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TranslatorMessages

public TranslatorMessages()

Method Detail

unexpectedMessage

public static String unexpectedMessage(cz.cuni.amis.fsm.IFSMState state,
                                       Object symbol)

unexpectedMessage

public static String unexpectedMessage(cz.cuni.amis.fsm.IFSMState state,
                                       Object symbol,
                                       Class expected)

unprocessedMessage

public static String unprocessedMessage(cz.cuni.amis.fsm.IFSMState state,
                                        Object symbol)

messageNotWorldEvent

public static String messageNotWorldEvent(cz.cuni.amis.fsm.IFSMState state,
                                          Object symbol)

unexpectedMessage

public static String unexpectedMessage(cz.cuni.amis.fsm.IFSMTransition state,
                                       Object symbol)

unexpectedMessage

public static String unexpectedMessage(cz.cuni.amis.fsm.IFSMTransition state,
                                       Object symbol,
                                       Class expected)

unprocessedMessage

public static String unprocessedMessage(cz.cuni.amis.fsm.IFSMTransition state,
                                        Object symbol)

messageNotWorldEvent

public static String messageNotWorldEvent(cz.cuni.amis.fsm.IFSMTransition state,
                                          Object symbol)