00001 package gov.nasa.arc.ase.jpf.jvm.examine;
00002
00003 public class BoolValue implements iValue {
00004 private boolean value;
00005
00006 public BoolValue(boolean v) {
00007 value = v;
00008 }
00009 public boolean equals(Object o) {
00010 if(o == null) return false;
00011 if(!(o instanceof BoolValue)) return false;
00012
00013 return value == ((BoolValue)o).value;
00014 }
00015 public boolean getValue() {
00016 return value;
00017 }
00018 public int hashCode() {
00019 return value ? 1 : 0;
00020 }
00021 public String toString() {
00022 return new Boolean(value).toString();
00023 }
00024 }
