aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/adt.rs
blob: a2d228593af7f132a52e88924fab6f5aab14c7e5 (plain)
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
use ra_syntax::{SmolStr, ast::{self, NameOwner}};

use crate::{
    DefId, Cancelable,
    db::{HirDatabase},
    ty::{Ty},
};

pub struct Struct {
    def_id: DefId,
}

impl Struct {
    pub(crate) fn new(def_id: DefId) -> Self {
        Struct { def_id }
    }

    pub fn name(&self, db: &impl HirDatabase) -> Cancelable<SmolStr> {
        Ok(db.struct_data(self.def_id)?.name.clone())
    }
}

#[derive(Debug, Clone, PartialEq, Eq)]
pub struct StructData {
    name: SmolStr,
    variant_data: VariantData,
}

impl StructData {
    pub(crate) fn new(struct_def: ast::StructDef) -> StructData {
        let name = struct_def
            .name()
            .map(|n| n.text())
            .unwrap_or(SmolStr::new("[error]"));
        let variant_data = VariantData::Unit; // TODO implement this
        StructData { name, variant_data }
    }
}

pub struct Enum {
    def_id: DefId,
}

impl Enum {
    pub(crate) fn new(def_id: DefId) -> Self {
        Enum { def_id }
    }

    pub fn name(&self, db: &impl HirDatabase) -> Cancelable<SmolStr> {
        Ok(db.enum_data(self.def_id)?.name.clone())
    }
}

#[derive(Debug, Clone, PartialEq, Eq)]
pub struct EnumData {
    name: SmolStr,
    variants: Vec<(SmolStr, VariantData)>,
}

impl EnumData {
    pub(crate) fn new(enum_def: ast::EnumDef) -> Self {
        let name = enum_def
            .name()
            .map(|n| n.text())
            .unwrap_or(SmolStr::new("[error]"));
        let variants = Vec::new(); // TODO implement this
        EnumData { name, variants }
    }
}

/// A single field of an enum variant or struct
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct StructField {
    name: SmolStr,
    ty: Ty,
}

/// Fields of an enum variant or struct
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum VariantData {
    Struct(Vec<StructField>),
    Tuple(Vec<StructField>),
    Unit,
}

impl VariantData {
    pub fn fields(&self) -> &[StructField] {
        match *self {
            VariantData::Struct(ref fields) | VariantData::Tuple(ref fields) => fields,
            _ => &[],
        }
    }
    pub fn is_struct(&self) -> bool {
        if let VariantData::Struct(..) = *self {
            true
        } else {
            false
        }
    }
    pub fn is_tuple(&self) -> bool {
        if let VariantData::Tuple(..) = *self {
            true
        } else {
            false
        }
    }
    pub fn is_unit(&self) -> bool {
        if let VariantData::Unit = *self {
            true
        } else {
            false
        }
    }
}