nl.tudelft.goal.unreal.translators
Class ConfigurationKeyTranslator
java.lang.Object
nl.tudelft.goal.unreal.translators.ConfigurationKeyTranslator
- All Implemented Interfaces:
- eis.eis2java.translation.Parameter2Java<ConfigurationKey>
public class ConfigurationKeyTranslator
- extends Object
- implements eis.eis2java.translation.Parameter2Java<ConfigurationKey>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ConfigurationKeyTranslator
public ConfigurationKeyTranslator()
translate
public ConfigurationKey translate(eis.iilang.Parameter p)
throws eis.eis2java.exception.TranslationException
- Specified by:
translate
in interface eis.eis2java.translation.Parameter2Java<ConfigurationKey>
- Throws:
eis.eis2java.exception.TranslationException
translatesTo
public Class<ConfigurationKey> translatesTo()
- Specified by:
translatesTo
in interface eis.eis2java.translation.Parameter2Java<ConfigurationKey>
Copyright © 2014 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.