Revize 9744d223

#7767

Zprovoznění exportu do JSON. Přidáno zpracovávání binárních zazipovaných dat. Úprava struktury.

demo_mh/Deserializer/src/deserialize/Deserializer.java

@@ -1 +1 @@
 package deserialize;
 
-import java.io.BufferedInputStream;
 import java.io.File;
-import java.io.FileInputStream;
-import java.io.IOException;
-import java.io.ObjectInputStream;
 
-import general.*;
+import javafx.application.Application;
+import javafx.geometry.Insets;
+import javafx.geometry.Pos;
+import javafx.scene.Parent;
+import javafx.scene.Scene;
+import javafx.scene.control.Button;
+import javafx.scene.control.Label;
+import javafx.scene.control.Separator;
+import javafx.scene.layout.HBox;
+import javafx.scene.layout.Pane;
+import javafx.scene.layout.Priority;
+import javafx.scene.layout.VBox;
+import javafx.stage.FileChooser;
+import javafx.stage.Stage;
 
-public class Deserializer {
+import serialize.Example;
+
+public class Deserializer extends Application {
+	
+	private Stage stage;
+	private File inputFile;
+	private File outputFile;
+	
+	// TODO delete after deserializer debugging is complete...
+	private boolean testing;
 	
 	public static void main(String[] args) {
-		try {
-			
-			// Try to deserialize classically.
-			FileInputStream fis = new FileInputStream(Constants.SERIALIZED_FILE);
-			ObjectInputStream ois = new ObjectInputStream(fis);
-			Deserializer d = (Deserializer) ois.readObject();
-			System.out.println(d.toString());
-			ois.close();
-			
-		} catch (IOException e) {
-			
-			// Stream error.
-			System.out.println("Chyba pri otevirani (uzavirani) streamu.");
-			e.printStackTrace();
-			
-		} catch (Exception e) {
-			
-			// Others: ClassNotFoundException, ClassCastException, ...
-			// Usually due to problems with classical deserialization.
-			byte buffer[];
-			try {
-				File f = new File(Constants.SERIALIZED_FILE);
-				buffer = new byte[(int) f.length()];
-				
-				BufferedInputStream fis = new BufferedInputStream(new FileInputStream(f));
-		        fis.read(buffer);
-		        fis.close();
-		        
-		        System.out.println("Doslo k chybe pri deserializaci.");
-				System.out.println("Spoustim univerzalni deserializer.");
-				
-				ToJSON thread = new ToJSON(buffer);
-				thread.start();
-				try {
-					thread.join();
-					System.out.println("JSON byl vytvoren.");
-				} catch (InterruptedException e1) {
-					e1.printStackTrace();
-				}
-				
-		    } catch (IOException e1) {
-		        e1.printStackTrace();
-		    }
-			
+		launch(args);
+	}
+
+	@Override
+	public void init() throws Exception {
+		super.init();
+		testing = false;
+	}
+	
+	@Override
+	public void start(Stage stage) throws Exception {
+		this.stage = stage;
+		stage.setTitle("Java object universal deserializer");
+		stage.setScene(createScene());
+		stage.setMinWidth(400);
+		stage.show();
+	}
+	
+	private Scene createScene() {
+		return new Scene(createLayout());
+	}
+	
+	private Parent createLayout() {
+		VBox layout = new VBox();
+		layout.setPadding(new Insets(10.0));
+		layout.setSpacing(10.0);
+		
+		Label forDefaultBinFile = new Label("Chcete vytvo?it defaultn? bin?rn? soubor?");
+		Button createBinFile = new Button("Vytvo?it");
+		createBinFile.setOnAction(event -> {
+			FileChooser fCh = new FileChooser();
+			fCh.setInitialDirectory(new File("."));
+			fCh.getExtensionFilters().add(new FileChooser.ExtensionFilter("Binary Files", "*.out"));
+			File file = fCh.showSaveDialog(stage);
+			if (file != null) {
+				createSerializedFile(file);
+			}
+		});
+		final Pane spacer = new Pane();
+	    HBox.setHgrow(spacer, Priority.ALWAYS);
+		HBox header = new HBox();
+		header.setAlignment(Pos.CENTER_LEFT);
+		header.getChildren().add(forDefaultBinFile);
+		header.getChildren().add(spacer);
+		header.getChildren().add(createBinFile);
+		
+		Label forInputFile = new Label("Soubor k deserializaci:");
+		Label inputFile = new Label("    Je?t? nebyl vybr?n ??dn? soubor...");
+		inputFile.setStyle("-fx-font-style: italic;");
+		VBox forInput = new VBox();
+		forInput.getChildren().add(forInputFile);
+		forInput.getChildren().add(inputFile);
+		
+		Label forOutputFile = new Label("V?stupn? soubor:");
+		Label outputFile = new Label("    Je?t? nebyl vybr?n ??dn? soubor...");
+		outputFile.setStyle("-fx-font-style: italic;");
+		VBox forOutput = new VBox();
+		forOutput.getChildren().add(forOutputFile);
+		forOutput.getChildren().add(outputFile);
+		
+		Button convert = new Button("P?ev?st");
+		convert.setOnAction(event -> {
+			ToJSON thread = new ToJSON(testing ? new File("data.out") : this.inputFile, this.outputFile);
+			thread.start();
+		});
+		convert.setDisable(!testing);
+		Button setInputFile = new Button("Vstupn? soubor");
+		setInputFile.setOnAction(event -> {
+			FileChooser fCh = new FileChooser();
+			fCh.setInitialDirectory(new File("."));
+			// The input can be a zip file or file without a specific extension -> file chooser without extension filters...
+			// fCh.getExtensionFilters().add(new FileChooser.ExtensionFilter("Binary Files", "*.out"));
+			File file = fCh.showOpenDialog(stage);
+			if (file != null) {
+				this.inputFile = file;
+				inputFile.setText(this.inputFile == null ? "" : this.inputFile.getAbsolutePath());
+				inputFile.setStyle("-fx-font-weight: bold;");
+				convert.setDisable(this.inputFile == null || this.outputFile == null);
+			}
+		});
+		Button setOutputFile = new Button("V?stupn? soubor");
+		setOutputFile.setOnAction(event -> {
+			FileChooser fCh = new FileChooser();
+			fCh.setInitialDirectory(new File("."));
+			fCh.getExtensionFilters().add(new FileChooser.ExtensionFilter("JSON Files", "*.json"));
+			File file = fCh.showSaveDialog(stage);
+			if (file != null) {
+				this.outputFile = file;
+				outputFile.setText(this.outputFile == null ? "" : this.outputFile.getAbsolutePath());
+				outputFile.setStyle("-fx-font-weight: bold;");
+				convert.setDisable(this.inputFile == null || this.outputFile == null);
+			}
+		});
+		HBox footer = new HBox();
+		footer.setSpacing(10.0);
+		footer.setAlignment(Pos.CENTER_RIGHT);
+		footer.getChildren().add(setInputFile);
+		footer.getChildren().add(setOutputFile);
+		footer.getChildren().add(convert);
+		
+		layout.getChildren().add(header);
+		layout.getChildren().add(new Separator());
+		layout.getChildren().add(forInput);
+		layout.getChildren().add(forOutput);
+		layout.getChildren().add(footer);
+		
+		return layout;
+	}
+	
+	private void createSerializedFile(File file) {
+		String title = "Vytvo?en? defaultn?ho souboru";
+		if (Example.serialize(file)) {
+			Report.info(title, null, "Vytvo?en? prob?hlo v po??dku.");
+		} else {
+			Report.error(title, null, "Vytvo?en? souboru se nepovedlo.");
 		}
 	}