Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

CharValue.java

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 }

Generated at Thu Feb 7 06:42:08 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001