code-moniker-workspace 0.4.0

Workspace model, ports, snapshots, linkage, and change analysis for code-moniker.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

use std::collections::BTreeSet;

use crate::linkage::catalog::CandidateCatalog;
use crate::linkage::resolve::MethodTable;
use crate::snapshot::SourceId;
use crate::source::CodeIndexMaterial;

/// Builds the [`MethodTable`] and keeps it aligned with the generation-local
/// symbol ordinal catalog.
pub(in crate::linkage) struct MethodIndexer {
	methods: MethodTable,
	file_source_ids: Vec<SourceId>,
}

impl MethodIndexer {
	pub(in crate::linkage) fn new(
		material: &CodeIndexMaterial,
		candidates: &CandidateCatalog,
	) -> Self {
		Self {
			methods: MethodTable::build(material, candidates),
			file_source_ids: file_source_ids(material),
		}
	}

	pub(in crate::linkage) fn reindex(
		&mut self,
		material: &CodeIndexMaterial,
		candidates: &CandidateCatalog,
		_changed_file_indexes: &BTreeSet<usize>,
	) -> &MethodTable {
		let next_source_ids = file_source_ids(material);
		self.methods = MethodTable::build(material, candidates);
		self.file_source_ids = next_source_ids;
		&self.methods
	}

	pub(in crate::linkage) fn methods(&self) -> &MethodTable {
		&self.methods
	}
}

fn file_source_ids(material: &CodeIndexMaterial) -> Vec<SourceId> {
	material.files.iter().map(|file| file.source_id).collect()
}