public class JavaGenerator extends Object
| Constructor and Description |
|---|
JavaGenerator() |
| Modifier and Type | Method and Description |
|---|---|
void |
writeSourceFiles(File destdir,
StateTypeGenerator stg) |
public void writeSourceFiles(File destdir, StateTypeGenerator stg) throws IOException
IOExceptionCopyright © 2019. All rights reserved.