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