// Copyright 2003, Trustees of Indiana University // Please see the license in the file ../LICENSE // Simple property_map implementation import java.util.*; public class hash_property_map implements ReadWritePropertyMap { private HashMap data; public hash_property_map() { data = new HashMap(); } public void set(A a, B b) { data.put(a,b); } public B get(A a) { return data.get(a); } }