public void initGenModel(Object target, IGenModel genModel) {
IGraphicalEditPart editpart = (IGraphicalEditPart) target;
Automaton automaton = (Automaton) editpart.getNotationView().getElement();
// The automaton name is used as a default project name.
String projectName = automaton.getName() == null ? "myautomaton" : automaton.getName();
genModel.setProperty(IGenModel.PROJECT_NAME, projectName);
genModel.setProperty(CodegenUtils.PROPERTY_DEPTH, CodegenUtils.DEFAULT_DEPTH);
genModel.setProperty(CodegenUtils.PROPERTY_RANGE, CodegenUtils.DEFAULT_RANGE);
genModel.setProperty(CodegenUtils.PROPERTY_FILENAME, projectName + ".msat");
genModel.setProperty("targetlang", mathsat); // mathsat is default
genModel.setTarget(automaton);
}
