X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=src%2Fcom%2Fquemaster%2Ftransformations%2Fmjc2wsl%2Fmjc2wsl.java;h=3eac782d1c657fe7bbe0b6ca916f5ec4e4fff667;hp=4522d6502796e780d42eb09e6f7e1598c74c2840;hb=1c83577865dc8dac7b69f2202c59843da0441273;hpb=215cc953e6fd7896f0876c66d0de1428d8d1ba7b

diff --git a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java b/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java
index 4522d65..3eac782 100644
--- a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java
+++ b/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java
@@ -17,8 +17,16 @@ package com.quemaster.transformations.mjc2wsl;
     You should have received a copy of the GNU General Public License
     along with mjc2wsl.  If not, see <http://www.gnu.org/licenses/>.
 */
-import java.io.*;
-import java.util.*;
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.PrintWriter;
+import java.nio.file.FileSystems;
+import java.nio.file.Files;
+import java.nio.file.Path;
+import java.util.Calendar;
+import java.util.Properties;
 
 import com.quemaster.transformations.TransMessages;
 
@@ -827,7 +835,12 @@ public class mjc2wsl{
 				System.out.println("no filename supplied");
 				System.exit(2);
 			}
-			File f = new File(args[i]);
+
+			Path p = FileSystems.getDefault().getPath(args[i]);
+			if (!Files.exists(p)){
+				System.out.println("input file does not exist");
+				System.exit(1);
+			}
 
 			if (i + 1 < args.length) {
 				try {
@@ -846,16 +859,18 @@ public class mjc2wsl{
 					e.printStackTrace();
 				}
 			}
-			if (f.exists()) {
-				Calendar now = Calendar.getInstance();
-				convertFile(f);
-				long mili = Calendar.getInstance().getTimeInMillis()
-						- now.getTimeInMillis();
-				System.out.println("conversion time:" + mili + " ms");
-				messages.printMessageCounters();
-				out.close();
-			} else
-				System.out.println("file does not exist");
+			Calendar now = Calendar.getInstance();
+			try {
+				convertStream(Files.newInputStream(p));
+			} catch (Exception e) {
+				// TODO Auto-generated catch block
+				e.printStackTrace();
+			}
+			long mili = Calendar.getInstance().getTimeInMillis()
+					- now.getTimeInMillis();
+			System.out.println("conversion time:" + mili + " ms");
+			messages.printMessageCounters();
+			out.close();
 		}
 	}