paralegal_spdg::dot

Function dump_for_controller

Source 
pub fn dump_for_controller(
    spdg: &ProgramDescription,
    out: impl Write,
    controller_id: Endpoint,
) -> Result<()>
Expand description

Dump the SPDG for one select controller in dot format