monitor.subTask("Deleting existing file");
output1.delete();
}
monitor.worked(1);
OAWGenerator gen = new OAWGenerator();
// first save the model to file
File modelFile;
try {
monitor.subTask("Exporting model to XMI");
modelFile = saveToFile(model, "test.iaml");
} catch (IOException e1) {
throw new VerificationException(e1);
}
monitor.worked(1);
// now generate it
monitor.subTask("Generating SMV template using OAW");
IStatus status = gen.generateCode(modelFile, getWorkflowFile());
if (!status.isOK()) {
throw new VerificationException("Generation was not successful: " + status.getMessage(), status.getException());
}
monitor.worked(2);