X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=src%2Fcom%2Fquemaster%2Ftransformations%2Fmjc2wsl%2FMicroJavaInput.java;h=499659a3c313cae3d16ed5e6453de60d9ff90413;hp=3dd6157bad20e90693c44a6941816ad31c760d55;hb=2fa0619f7c0629bb2432877bb9dcef2b27d8cb00;hpb=8684ef3ea2d843b29bf54b2078d2e0d17498f0f3

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<Integer, String> getOpMap() {