public final class SpecGenerator extends java.lang.Object implements TranslatorHandler<Ir>
| Constructor and Description |
|---|
SpecGenerator(Translator<Ir> translator) |
public SpecGenerator(Translator<Ir> translator)
public void processIr(Ir ir)
processIr in interface TranslatorHandler<Ir>