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