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
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 |
TranslatorMessages
public TranslatorMessages()
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)