00001 package gov.nasa.arc.ase.jpf.jvm.examine;
00002
00003 import gov.nasa.arc.ase.jpf.*;
00004 import gov.nasa.arc.ase.jpf.jvm.*;
00005
00006 public class BoolValue implements iValue {
00007
00008 private boolean value = false;
00009
00010 public BoolValue(int v) {
00011 value = (v == 1);
00012 }
00013 public BoolValue(long v) {
00014 value = Types.intToBoolean((int)v);
00015 }
00016 public boolean getValue() {
00017 return value;
00018 }
00019 public String toString() {
00020 return "" + value;
00021 }
00022 }
