// Store element information for a field. public void StoreElement(String key, String name, Type type) { fieldElements[key] = new FieldNameAndTypeInfo(name, type); }
// Store attribute information for a field. public void StoreAttribute(String key, String name, Type type) { fieldAttrs[key] = new FieldNameAndTypeInfo(name, type); }