equal
deleted
inserted
replaced
230 values = new element_value[num_values]; |
230 values = new element_value[num_values]; |
231 for (int i = 0; i < values.length; i++) |
231 for (int i = 0; i < values.length; i++) |
232 values[i] = element_value.read(cr); |
232 values[i] = element_value.read(cr); |
233 } |
233 } |
234 |
234 |
|
235 public Array_element_value(element_value[] values, int tag) { |
|
236 super(tag); |
|
237 this.num_values = values.length; |
|
238 this.values = values; |
|
239 } |
|
240 |
235 @Override |
241 @Override |
236 public int length() { |
242 public int length() { |
237 int n = 2; |
243 int n = 2; |
238 for (int i = 0; i < values.length; i++) |
244 for (int i = 0; i < values.length; i++) |
239 n += values[i].length(); |
245 n += values[i].length(); |