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.None;
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 }