vhdl_lang 0.30.0

VHDL Language Frontend
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117

//! This Source Code Form is subject to the terms of the Mozilla Public
//! License, v. 2.0. If a copy of the MPL was not distributed with this file,
//! You can obtain one at http://mozilla.org/MPL/2.0/.
//!
//! Copyright (c) 2023, Olof Kraigher olof.kraigher@gmail.com

use std::ops::Deref;
use std::sync::Arc;

use crate::analysis::region::NamedEntities;
use crate::analysis::region::Region;
use crate::ast::Designator;
use crate::ast::HasDesignator;
use crate::ast::WithRef;
use crate::data::WithPos;
use crate::Diagnostic;
use crate::SrcPos;
use std::borrow::Borrow;

use super::AnyEnt;
use super::AnyEntKind;

pub enum Design {
    Entity(Arc<Region>),
    Configuration(Arc<Region>),
    Package(Arc<Region>),
    UninstPackage(Arc<Region>),
    PackageInstance(Arc<Region>),
    Context(Arc<Region>),
    LocalPackageInstance(Arc<Region>),
}

impl Design {
    pub fn describe(&self) -> &'static str {
        use Design::*;
        match self {
            Entity(..) => "entity",
            Configuration(..) => "configuration",
            Package(..) => "package",
            UninstPackage(..) => "uninstantiated package",
            PackageInstance(..) => "package instance",
            Context(..) => "context",
            LocalPackageInstance(..) => "package instance",
        }
    }
}

// A named entity that is known to be a type
#[derive(Clone, Debug)]
pub struct DesignEnt(Arc<AnyEnt>);

impl DesignEnt {
    pub fn from_any(ent: Arc<AnyEnt>) -> Result<DesignEnt, Arc<AnyEnt>> {
        if matches!(ent.kind(), AnyEntKind::Design(..)) {
            Ok(DesignEnt(ent))
        } else {
            Err(ent)
        }
    }

    pub fn kind(&self) -> &Design {
        if let AnyEntKind::Design(typ) = self.0.kind() {
            typ
        } else {
            unreachable!("Must be a design");
        }
    }

    pub fn selected(
        &self,
        prefix_pos: &SrcPos,
        suffix: &WithPos<WithRef<Designator>>,
    ) -> Result<NamedEntities, Diagnostic> {
        match self.kind() {
            Design::Package(ref region)
            | Design::PackageInstance(ref region)
            | Design::LocalPackageInstance(ref region) => {
                if let Some(decl) = region.lookup_immediate(suffix.designator()) {
                    Ok(decl.clone())
                } else {
                    Err(Diagnostic::no_declaration_within(
                        self,
                        &suffix.pos,
                        &suffix.item.item,
                    ))
                }
            }
            _ => Err(Diagnostic::invalid_selected_name_prefix(self, prefix_pos)),
        }
    }
}

impl From<DesignEnt> for Arc<AnyEnt> {
    fn from(ent: DesignEnt) -> Self {
        ent.0
    }
}

impl std::cmp::PartialEq for DesignEnt {
    fn eq(&self, other: &Self) -> bool {
        self.deref() == other.deref()
    }
}

impl AsRef<Arc<AnyEnt>> for DesignEnt {
    fn as_ref(&self) -> &Arc<AnyEnt> {
        &self.0
    }
}

impl Deref for DesignEnt {
    type Target = Arc<AnyEnt>;
    fn deref(&self) -> &Arc<AnyEnt> {
        let val: &Arc<AnyEnt> = self.0.borrow();
        val
    }
}