1 package nl.tudelft.goal.ut2004.translators;
2
3 import eis.iilang.Identifier;
4 import eis.iilang.Parameter;
5 import nl.tudelft.goal.EIS2Java.exception.TranslationException;
6 import nl.tudelft.goal.EIS2Java.translation.Java2Parameter;
7 import nl.tudelft.goal.ut2004.messages.FlagState;
8
9
10
11
12
13
14
15
16 public class FlagStateTranslator implements Java2Parameter<FlagState> {
17
18 @Override
19 public Parameter[] translate(FlagState o) throws TranslationException {
20 return new Parameter[] {new Identifier(o.name().toLowerCase())};
21 }
22
23 @Override
24 public Class<? extends FlagState> translatesFrom() {
25 return FlagState.class;
26 }
27
28
29
30
31 }