(&self, name: &SymbolKey, subscripts: &[i32])
| 1002 | } |
| 1003 | |
| 1004 | fn query_array_element(&self, name: &SymbolKey, subscripts: &[i32]) -> Option<ConstantDatum> { |
| 1005 | match self.machine.vm.get_global_array(&self.machine.image, name, subscripts) { |
| 1006 | Ok(Some(value)) => Some(value), |
| 1007 | Ok(None) => self |
| 1008 | .machine |
| 1009 | .vm |
| 1010 | .get_program_array(&self.machine.image, name, subscripts) |
| 1011 | .unwrap_or_else(|e| panic!("Expected array {} has wrong shape: {}", name, e)), |
| 1012 | Err(e) => panic!("Expected array {} has wrong shape: {}", name, e), |
| 1013 | } |
| 1014 | } |
| 1015 | |
| 1016 | fn check_array_dims(&self, name: &SymbolKey, dimensions: &[usize]) { |
| 1017 | if dimensions.is_empty() { |
no test coverage detected