00001 00005 package edu.mit.csail.sdg.squander.absstate; 00006 00007 import edu.mit.csail.sdg.squander.spec.JField; 00008 00015 public class FieldValue { 00016 00018 private final JField jfield; 00020 private final ObjTupleSet tupleSet; 00021 00022 public FieldValue(JField jfield, int arity) { 00023 assert jfield != null; 00024 this.jfield = jfield; 00025 this.tupleSet = new ObjTupleSet(arity); 00026 } 00027 00028 public JField jfield() { return jfield; } 00029 00030 public ObjTupleSet tupleSet() { 00031 return tupleSet; 00032 } 00033 00034 public void addTuple(ObjTuple tuple) { 00035 tupleSet.add(tuple); 00036 } 00037 00038 public void addAllTuples(ObjTupleSet value) { 00039 for (ObjTuple ot : value) 00040 addTuple(ot); 00041 } 00042 00043 @Override 00044 public String toString() { 00045 return String.format(" (%s) -> %s\n", jfield.name(), tupleSet); 00046 } 00047 00048 }