From 2fa0619f7c0629bb2432877bb9dcef2b27d8cb00 Mon Sep 17 00:00:00 2001 From: Doni Pracner Date: Wed, 18 Jul 2018 01:14:36 +0200 Subject: [PATCH] rename main class to Mjc2wsl --- build.xml | 5 +++-- .../transformations/mjc2wsl/MicroJavaInput.java | 14 +++++++------- .../mjc2wsl/{mjc2wsl.java => Mjc2wsl.java} | 4 ++-- 3 files changed, 12 insertions(+), 11 deletions(-) rename src/com/quemaster/transformations/mjc2wsl/{mjc2wsl.java => Mjc2wsl.java} (99%) diff --git a/build.xml b/build.xml index f785557..6f2572b 100644 --- a/build.xml +++ b/build.xml @@ -35,6 +35,7 @@ + @@ -131,7 +132,7 @@ - + @@ -185,7 +186,7 @@ - + diff --git a/src/com/quemaster/transformations/mjc2wsl/MicroJavaInput.java b/src/com/quemaster/transformations/mjc2wsl/MicroJavaInput.java index 3dd6157..499659a 100644 --- a/src/com/quemaster/transformations/mjc2wsl/MicroJavaInput.java +++ b/src/com/quemaster/transformations/mjc2wsl/MicroJavaInput.java @@ -90,24 +90,24 @@ public class MicroJavaInput { String getRelationFor(int opcode) throws Exception { switch (opcode) { - case mjc2wsl.jeq: + case Mjc2wsl.jeq: return "="; - case mjc2wsl.jne: + case Mjc2wsl.jne: return "<>"; - case mjc2wsl.jlt: + case Mjc2wsl.jlt: return "<"; - case mjc2wsl.jle: + case Mjc2wsl.jle: return "<="; - case mjc2wsl.jgt: + case Mjc2wsl.jgt: return ">"; - case mjc2wsl.jge: + case Mjc2wsl.jge: return ">="; } throw new Exception("Wrong opcode for a relation"); } boolean isJumpCode(int opcode) { - return (opcode >= mjc2wsl.jmp) && (opcode <= mjc2wsl.jge); + return (opcode >= Mjc2wsl.jmp) && (opcode <= Mjc2wsl.jge); } private HashMap getOpMap() { diff --git a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java b/src/com/quemaster/transformations/mjc2wsl/Mjc2wsl.java similarity index 99% rename from src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java rename to src/com/quemaster/transformations/mjc2wsl/Mjc2wsl.java index 14ef154..6c3836e 100644 --- a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java +++ b/src/com/quemaster/transformations/mjc2wsl/Mjc2wsl.java @@ -38,7 +38,7 @@ import com.quemaster.transformations.TransMessages; * * @author Doni Pracner, http://perun.dmi.rs/pracner http://quemaster.com */ -public class mjc2wsl{ +public class Mjc2wsl{ //default version name, used if the file is not found private static String versionN = "v0.2.x"; @@ -951,7 +951,7 @@ public class mjc2wsl{ } public static void main(String[] args) { - new mjc2wsl().run(args); + new Mjc2wsl().run(args); } -- 2.25.1