| 2240 | return *array_shape; |
| 2241 | } |
| 2242 | Shape* mutable_shape() { |
| 2243 | if (!array_shape) { |
| 2244 | array_shape.reset(new Shape); |
| 2245 | } |
| 2246 | return array_shape.get(); |
| 2247 | } |
| 2248 | void copy_shape(const Shape& src_shape) { *mutable_shape() = src_shape; } |
| 2249 | void clear_shape() { array_shape = nullptr; } |
| 2250 |