Method shadow_input

src/codegen/input.rs:198–207

(&mut self, input_name: &str, shadow_id: Option<NodeID>)

    }

    fn shadow_input(&mut self, input_name: &str, shadow_id: Option<NodeID>) -> io::Result<()> {
        if let Some(shadow_id) = shadow_id {
            write!(self, "{shadow_id}]")
        } else if input_name == "BROADCAST_INPUT" {
            let broadcast_name = json!("message1");
            write!(self, "[11,{},{}]]", broadcast_name, broadcast_name)
        } else {
            write!(self, r#"[10, ""]]"#)
        }
    }
}