From bdd87f792b18d74ff333b2c9ff2f6e30a5e6c9b1 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 29 Jun 2023 01:00:45 +0200
Subject: [PATCH] Remove more commented out XML export/serialization stuff
---
.../prob/ui/eventb/ExportNewCoreHandler.java | 20 -------------------
1 file changed, 20 deletions(-)
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java b/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
index 2b2f7f84..110bec4c 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
@@ -113,26 +113,6 @@ public class ExportNewCoreHandler extends AbstractHandler implements IHandler {
}
}
- // private static String serialize(Project project, String maincomponent) {
- // NewCoreModelTranslation translation = new NewCoreModelTranslation();
- // Model model = translation.translate(project, maincomponent);
- // // XStream xstream = new XStream(new JettisonMappedXmlDriver());
- // XStream xstream = new XStream();
- // String xml = xstream.toXML(model);
- // ByteArrayOutputStream out = new ByteArrayOutputStream();
- // GZIPOutputStream gzip;
- // byte[] bytes;
- // try {
- // gzip = new GZIPOutputStream(out);
- // gzip.write(xml.getBytes());
- // gzip.close();
- // bytes = out.toByteArray();
- // } catch (IOException e) {
- // bytes = xml.getBytes();
- // }
- // return Base64.encodeBase64String(bytes);
- // }
-
private static boolean isSafeToWrite(final String filename) {
if (new File(filename).exists()) {
final MessageDialog dialog = new MessageDialog(null, "File exists",
--
GitLab