Struct srclang::compiler::ir::__ProgramConfig

pub struct __ProgramConfig { /* private fields */ }

Trait Implementations

`impl Configuration for __ProgramConfig`

`type Id = Program`

The id type used to define instances of this struct. The TrackedStructIngredient contains the interner that will create the id values.

`type Fields = (Vec<Function>, BTreeMap<Mangled, Symbol>)`

A (possibly empty) tuple of the fields for this struct.

`type Revisions = [Revision; 2]`

A array of Revision values, one per each of the value fields. When a struct is re-recreated in a new revision, the corresponding entries for each field are updated to the new revision if their values have changed (or if the field is marked as #[no_eq]).

`fn id_fields(fields: &Self::Fields) -> impl Hash`

`fn revision(revisions: &Self::Revisions, field_index: u32) -> Revision`

Access the revision of a given value field.field_index will be between 0 and the number of value fields.

`fn new_revisions(current_revision: Revision) -> Self::Revisions`

Create a new value revision array where each element is set to current_revision.

`fn update_revisions( current_revision_: Revision, old_value_: &Self::Fields, new_value_: &Self::Fields, revisions_: &mut Self::Revisions)`

Update an existing value revision array revisions, given the tuple of the old values (old_value) and the tuple of the values (new_value). If a value has changed, then its element is updated to current_revision.