/// True if the argument changed vs the "diff against" graph.
///
/// If there is no graph to diff against, return true, as everything
/// is considered to have changed.
True if the argument changed vs the "diff against" graph.
If there is no graph to diff against, return true, as everything
is considered to have changed.
True if the argument changed vs the " diff against " graph . If there is no graph to diff against return true as everything is considered to have changed .
fn permission_node_did_change(
        &self,
        w: &mut GraphvizWriter<'_>,
        permission: PermissionNode,
    ) -> bool {
        let Some(diff_against) = w.diff_against else {
            return true;
        };
        let machine_permission = permission.data(&self.tables).permission;
        Some(&self.machine[machine_permission])
            != diff_against
                .machine
                .heap
                .permission_data(machine_permission)
    }
fn permission_node_did_change ( & self , w : & mut GraphvizWriter < ' _ > , permission : PermissionNode , ) -> bool { let Some ( diff_against ) = w . diff_against else { return true ; } ; let machine_permission = permission . data ( & self . tables ) . permission ; Some ( & self . machine [ machine_permission ] ) != diff_against . machine . heap . permission_data ( machine_permission ) }
True if the argument changed vs the "diff against" graph.
True if the argument changed vs the " diff against " graph .
&self
w
&mut GraphvizWriter<'_>
permission
PermissionNode