6061626364656667686970
} // Generate the Classical B source FileGenerator generator= new FileGenerator(model, project); try { generator.generateAndWrite(); } catch (Exception e1) { // TODO Auto-generated catch block e1.printStackTrace(); }
5758596061626364656667
} // Generate the Classical B source Transformation generator= new Transformation(model, project); try { generator.generateAndWrite(); } catch (Exception e1) { // TODO Auto-generated catch block e1.printStackTrace(); }