(
&mut self,
s: S,
d: D,
input_name: &str,
name: &Name,
shadow_id: Option<NodeID>,
)
| 163 | } |
| 164 | |
| 165 | fn name_input( |
| 166 | &mut self, |
| 167 | s: S, |
| 168 | d: D, |
| 169 | input_name: &str, |
| 170 | name: &Name, |
| 171 | shadow_id: Option<NodeID>, |
| 172 | ) -> io::Result<()> { |
| 173 | match s.qualify_name(d, name) { |
| 174 | Some(QualifiedName::Var(name, _)) => { |
| 175 | write!(self, "[3,[12,{},{}],", json!(*name), json!(*name))?; |
| 176 | } |
| 177 | Some(QualifiedName::List(name, _)) => { |
| 178 | write!(self, "[3,[13,{},{}],", json!(*name), json!(*name))?; |
| 179 | } |
| 180 | None => {} |
| 181 | } |
| 182 | self.shadow_input(input_name, shadow_id) |
| 183 | } |
| 184 | |
| 185 | fn node_input( |
| 186 | &mut self, |
no test coverage detected