Struct adapton::reflect::trace::Edge

pub struct Edge {
    pub loc: Option<Loc>,
    pub succ: Succ,
}

An edge in the DCG, representing an effect of the incremental program.

Fields

loc: Option<Loc>

The source of the directed edge; it is actively doing the effect of succ.effect to succ.loc. None means the doer is the editor, who is not identified by any location. (The editor is not a node in the DCG, but rather, an actor operating outside of it).

succ: Succ

The effect and target of the directed edge.

Trait Implementations

impl Clone for Edge

fn clone(&self) -> Edge

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Edge

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.