1 package nl.tudelft.goal.ut2004.translators;
2
3 import nl.tudelft.goal.ut2004.messages.None;
4 import eis.eis2java.exception.TranslationException;
5 import eis.eis2java.translation.Java2Parameter;
6 import eis.iilang.Identifier;
7 import eis.iilang.Parameter;
8
9 public class NoneTranslator implements Java2Parameter<None> {
10
11 @Override
12 public Parameter[] translate(None o) throws TranslationException {
13 return new Parameter[]{ new Identifier(o.id())};
14 }
15
16 @Override
17 public Class<? extends None> translatesFrom() {
18 return None.class;
19 }
20
21 }