Home
last modified time | relevance | path

Searched refs:annotation_map (Results 1 – 1 of 1) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dannotations.rs22 pub annotation_map: HashMap<TermId, TermAnnotation>, field
34 if self.annotation_map.contains_key(term_id) { in get_annotation_for_term()
35 return Some(self.annotation_map[term_id].clone()); in get_annotation_for_term()
335 let mut annotation_map = HashMap::new(); in parse_annotations() localVariable
386 annotation_map.insert(term_id, annotation); in parse_annotations()
401 !annotation_map.contains_key(&term_id), in parse_annotations()
427 annotation_map.insert(term_id, annotation); in parse_annotations()
461 annotation_map, in parse_annotations()