Struct PeerBlock 

pub struct PeerBlock {
    pub name: String,
    pub can_suspend: bool,
    pub fork_branch: bool,
}

The outermost named block of another process of the instance, which a disable may target (LRM 9.6.2, 16.14.6.4).

Fields

name: String

can_suspend: bool

The block contains a suspend point, so its process may be inside it. A disable then has to terminate the process’s activity (9.6.2), which the scheduler cannot do; when the block cannot suspend, the process is never inside it while another runs, and the disable’s only effect is the flush of the process’s pending procedural assertion queue.

fork_branch: bool

The block is the outermost block of a fork branch (its own process, tagged by name): any number of those may share a name, and disable <name>; ends every one (LRM 9.6.2).

Trait Implementations

impl Clone for PeerBlock

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PeerBlock

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for PeerBlock

impl PartialEq for PeerBlock

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PeerBlock