Struct Code 

pub struct Code {
    pub semantic: String,
    pub structure: String,
    pub units: Vec<Unit>,
    pub erased: Vec<usize>,
}

What a parser could say about one file.

Fields

semantic: String

Digest of everything a program can observe: the whole file with comments blanked and inert declarations removed.

structure: String

Digest of the set of declarations – kind and path – that can take part in name resolution or dispatch. Adding, removing or renaming one changes it; editing a body does not.

units: Vec<Unit>

In source order; units[0] is the file itself and contains everything.

erased: Vec<usize>

Lines (one-based, ascending) that hold nothing a program can observe: a comment on its own, or blank. Counting lines without them gives a position that inserting either does not move.

Implementations

impl Code

pub fn code_line(&self, line: usize) -> usize

A line’s number counting only lines that hold code.

pub fn unit_at(&self, line: usize, column: usize) -> usize

The innermost unit holding a position; the file unit when nothing narrower does.

pub fn ancestors(&self, index: usize) -> impl Iterator<Item = usize> + '_

A unit and everything it sits inside, innermost first, ending at the file unit.

pub fn by_path(&self) -> BTreeMap<&str, &Unit>

Units by path, for matching one capture against another.

pub fn diff(&self, new: &Code) -> Diff

What moved between two views of the same file, by declaration path.

Trait Implementations

impl Clone for Code

fn clone(&self) -> Code

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Code

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Code

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Code

impl PartialEq for Code

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Code

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Code