@Test public void testPut() { fail("Not yet implemented"); }
public void put(Location l, BoundedSet<SymbolicAddress> bs) { if(bs == null) { throw new AssertionError("put "+l+": null"); } if(this.isTop()) return; this.mapP.put(l, bs); }
SymbolicAddressMap { public void put(Location l, BoundedSet<SymbolicAddress> bs) { if(bs == null) { throw new AssertionError("put "+l+": null"); } if(this.isTop()) return; this.mapP.put(l, bs); } }
SymbolicAddressMap { public void put(Location l, BoundedSet<SymbolicAddress> bs) { if(bs == null) { throw new AssertionError("put "+l+": null"); } if(this.isTop()) return; this.mapP.put(l, bs); } SymbolicAddressMap(BoundedSetFactory<SymbolicAddress> bsFactory); private  SymbolicAddressMap(BoundedSetFactory<SymbolicAddress> bsFactory,
							   HashMap<Location,BoundedSet<SymbolicAddress>> initP,
							   HashMap<String,BoundedSet<SymbolicAddress>> initA); }
SymbolicAddressMap { public void put(Location l, BoundedSet<SymbolicAddress> bs) { if(bs == null) { throw new AssertionError("put "+l+": null"); } if(this.isTop()) return; this.mapP.put(l, bs); } SymbolicAddressMap(BoundedSetFactory<SymbolicAddress> bsFactory); private  SymbolicAddressMap(BoundedSetFactory<SymbolicAddress> bsFactory,
							   HashMap<Location,BoundedSet<SymbolicAddress>> initP,
							   HashMap<String,BoundedSet<SymbolicAddress>> initA); boolean isTop(); static SymbolicAddressMap top(); @Override int hashCode(); @Override boolean equals(Object obj); boolean isSubset(SymbolicAddressMap other); SymbolicAddressMap cloneFilterStack(int bound); SymbolicAddressMap cloneInvoke(int framePtr); void addStackUpto(SymbolicAddressMap in, int bound); void join(SymbolicAddressMap b); void joinReturned(SymbolicAddressMap returned, int framePtr); void copyStack(SymbolicAddressMap in, int dst, int src); BoundedSet<SymbolicAddress> getStack(int index); void putStack(int index, BoundedSet<SymbolicAddress> bs); BoundedSet<SymbolicAddress> getHeap(String staticfield); void putHeap(String staticfield, BoundedSet<SymbolicAddress> pointers); void put(Location l, BoundedSet<SymbolicAddress> bs); void addAlias(String ty, BoundedSet<SymbolicAddress> newAliases); BoundedSet<SymbolicAddress> getAliases(String fieldType); void print(PrintStream out, int indent); @Override String toString(); }
SymbolicAddressMap { public void put(Location l, BoundedSet<SymbolicAddress> bs) { if(bs == null) { throw new AssertionError("put "+l+": null"); } if(this.isTop()) return; this.mapP.put(l, bs); } SymbolicAddressMap(BoundedSetFactory<SymbolicAddress> bsFactory); private  SymbolicAddressMap(BoundedSetFactory<SymbolicAddress> bsFactory,
							   HashMap<Location,BoundedSet<SymbolicAddress>> initP,
							   HashMap<String,BoundedSet<SymbolicAddress>> initA); boolean isTop(); static SymbolicAddressMap top(); @Override int hashCode(); @Override boolean equals(Object obj); boolean isSubset(SymbolicAddressMap other); SymbolicAddressMap cloneFilterStack(int bound); SymbolicAddressMap cloneInvoke(int framePtr); void addStackUpto(SymbolicAddressMap in, int bound); void join(SymbolicAddressMap b); void joinReturned(SymbolicAddressMap returned, int framePtr); void copyStack(SymbolicAddressMap in, int dst, int src); BoundedSet<SymbolicAddress> getStack(int index); void putStack(int index, BoundedSet<SymbolicAddress> bs); BoundedSet<SymbolicAddress> getHeap(String staticfield); void putHeap(String staticfield, BoundedSet<SymbolicAddress> pointers); void put(Location l, BoundedSet<SymbolicAddress> bs); void addAlias(String ty, BoundedSet<SymbolicAddress> newAliases); BoundedSet<SymbolicAddress> getAliases(String fieldType); void print(PrintStream out, int indent); @Override String toString();  }