equal
deleted
inserted
replaced
67 // don't enter invalid names in map |
67 // don't enter invalid names in map |
68 } |
68 } |
69 } |
69 } |
70 } |
70 } |
71 |
71 |
|
72 public Attributes(Map<String, Attribute> attributes) { |
|
73 this.attrs = attributes.values().toArray(new Attribute[attributes.size()]); |
|
74 map = attributes; |
|
75 } |
|
76 |
72 public Iterator<Attribute> iterator() { |
77 public Iterator<Attribute> iterator() { |
73 return Arrays.asList(attrs).iterator(); |
78 return Arrays.asList(attrs).iterator(); |
74 } |
79 } |
75 |
80 |
76 public Attribute get(int index) { |
81 public Attribute get(int index) { |