nl.tudelft.goal.unreal.translators
Class LevelTranslator

java.lang.Object
  nl.tudelft.goal.unreal.translators.LevelTranslator

All Implemented Interfaces:

eis.eis2java.translation.Parameter2Java<Level>

public class LevelTranslator
extends Object
implements eis.eis2java.translation.Parameter2Java<Level>

Constructor Summary

LevelTranslator()

Method Summary

Level	translate(eis.iilang.Parameter parameter)
Class<Level>	translatesTo()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LevelTranslator

public LevelTranslator()

Method Detail

translate

public Level translate(eis.iilang.Parameter parameter)
                throws eis.eis2java.exception.TranslationException

Specified by:

translate in interface eis.eis2java.translation.Parameter2Java<Level>

Throws:

eis.eis2java.exception.TranslationException

translatesTo

public Class<Level> translatesTo()

Specified by:

translatesTo in interface eis.eis2java.translation.Parameter2Java<Level>