Struct TypeRegistry 

pub struct TypeRegistry { /* private fields */ }

In-Memory-Registry von bekannten TypeObjects, indiziert nach EquivalenceHash. Wird typischerweise durch TypeLookup-Replies befuellt.

Implementations

impl TypeRegistry

pub fn new() -> Self

Leere Registry.

pub fn insert_minimal(&mut self, hash: EquivalenceHash, t: MinimalTypeObject)

Fuegt ein Minimal-TypeObject ein, indiziert unter seinem Hash.

pub fn insert_complete(&mut self, hash: EquivalenceHash, t: CompleteTypeObject)

Fuegt ein Complete-TypeObject ein.

pub fn get_minimal(&self, hash: &EquivalenceHash) -> Option<&MinimalTypeObject>

Lookup.

pub fn get_complete( &self, hash: &EquivalenceHash, ) -> Option<&CompleteTypeObject>

Lookup.

pub fn len(&self) -> (usize, usize)

Anzahl Eintraege.

pub fn is_empty(&self) -> bool

Leer?

pub fn iter_minimals(&self) -> Iter<'_, EquivalenceHash, MinimalTypeObject>

Iteriert alle Minimal-Eintraege.

pub fn iter_completes(&self) -> Iter<'_, EquivalenceHash, CompleteTypeObject>

Iteriert alle Complete-Eintraege.

pub fn dependencies_of(&self, hash: &EquivalenceHash) -> Vec<EquivalenceHash>

Liefert alle direkten Dependencies eines Hashes (transitiv ueber collect_referenced_hashes). Wenn der Type nicht in der Registry ist, wird leer zurueckgegeben.

Bevorzugt die Minimal-Variante, faellt zurueck auf Complete.

pub fn transitive_dependencies( &self, hash: &EquivalenceHash, max_nodes: usize, ) -> Vec<EquivalenceHash>

Sammelt transitiv alle abhaengigen Hashes — folgt jedem gefundenen Hash rekursiv durch die Registry. Eingehender Hash selbst ist NICHT enthalten. Begrenzt durch max_nodes.

Trait Implementations

impl Clone for TypeRegistry

fn clone(&self) -> TypeRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeRegistry

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

Formats the value using the given formatter.

impl Default for TypeRegistry

fn default() -> TypeRegistry

Returns the “default value” for a type.