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

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

public class TranslatorMessages
extends java.lang.Object

Constructor Summary

TranslatorMessages()

Method Summary

static java.lang.String	messageNotWorldEvent(IFSMState state, java.lang.Object symbol)
static java.lang.String	messageNotWorldEvent(IFSMTransition state, java.lang.Object symbol)
static java.lang.String	unexpectedMessage(IFSMState state, java.lang.Object symbol)
static java.lang.String	unexpectedMessage(IFSMState state, java.lang.Object symbol, java.lang.Class expected)
static java.lang.String	unexpectedMessage(IFSMTransition state, java.lang.Object symbol)
static java.lang.String	unexpectedMessage(IFSMTransition state, java.lang.Object symbol, java.lang.Class expected)
static java.lang.String	unprocessedMessage(IFSMState state, java.lang.Object symbol)
static java.lang.String	unprocessedMessage(IFSMTransition state, java.lang.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 java.lang.String unexpectedMessage(IFSMState state,
                                                 java.lang.Object symbol)

unexpectedMessage

public static java.lang.String unexpectedMessage(IFSMState state,
                                                 java.lang.Object symbol,
                                                 java.lang.Class expected)

unprocessedMessage

public static java.lang.String unprocessedMessage(IFSMState state,
                                                  java.lang.Object symbol)

messageNotWorldEvent

public static java.lang.String messageNotWorldEvent(IFSMState state,
                                                    java.lang.Object symbol)

unexpectedMessage

public static java.lang.String unexpectedMessage(IFSMTransition state,
                                                 java.lang.Object symbol)

unexpectedMessage

public static java.lang.String unexpectedMessage(IFSMTransition state,
                                                 java.lang.Object symbol,
                                                 java.lang.Class expected)

unprocessedMessage

public static java.lang.String unprocessedMessage(IFSMTransition state,
                                                  java.lang.Object symbol)

messageNotWorldEvent

public static java.lang.String messageNotWorldEvent(IFSMTransition state,
                                                    java.lang.Object symbol)