00001 package gov.nasa.arc.ase.jpf;
00002
00003 public class TransitionResult {
00004 public static final int NEW = 0;
00005 public static final int OLD = 1;
00006 public static final int END = 2;
00007
00008 public static final int ERROR = 4;
00009
00010 private static final int RESULTS = 3;
00011
00012 private TransitionResult() {
00013 }
00014 public static int getResults(int result) {
00015 return result & RESULTS;
00016 }
00017 public static boolean isEnd(int result) {
00018 return (result & RESULTS) == END;
00019 }
00020 public static boolean isError(int result) {
00021 return (result & ERROR) == ERROR;
00022 }
00023 public static boolean isNew(int result) {
00024 return (result & RESULTS) == NEW;
00025 }
00026 public static boolean isOld(int result) {
00027 return (result & RESULTS) == OLD;
00028 }
00029 }
