nl.tudelft.goal.ut2004.translators
Class FlagStateTranslator
java.lang.Object
nl.tudelft.goal.ut2004.translators.FlagStateTranslator
- All Implemented Interfaces:
- eis.eis2java.translation.Java2Parameter<FlagState>
public class FlagStateTranslator
- extends Object
- implements eis.eis2java.translation.Java2Parameter<FlagState>
Example: held
Example: home
Example: dropped
- Author:
- mpkorstanje
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FlagStateTranslator
public FlagStateTranslator()
translate
public eis.iilang.Parameter[] translate(FlagState o)
throws eis.eis2java.exception.TranslationException
- Specified by:
translate
in interface eis.eis2java.translation.Java2Parameter<FlagState>
- Throws:
eis.eis2java.exception.TranslationException
translatesFrom
public Class<? extends FlagState> translatesFrom()
- Specified by:
translatesFrom
in interface eis.eis2java.translation.Java2Parameter<FlagState>
Copyright © 2013 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.