rasn-compiler 0.16.0

An ASN.1 compiler producing bindings for the rasn framework
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
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139

use std::collections::BTreeMap;

use crate::intermediate::{constraints::*, error::*, *};

impl Constraint {
    pub(super) fn link_cross_reference(
        &mut self,
        identifier: &String,
        tlds: &BTreeMap<String, ToplevelDefinition>,
    ) -> Result<(), GrammarError> {
        match self {
            Constraint::Subtype(t) => t.set.link_cross_reference(identifier, tlds),
            _ => Ok(()),
        }
    }

    pub(super) fn has_cross_reference(&self) -> bool {
        match self {
            Self::Subtype(c) => c.set.has_cross_reference(),
            Self::Parameter(_) => true,
            _ => false,
        }
    }
}

impl SubtypeElements {
    pub(super) fn link_cross_reference(
        &mut self,
        identifier: &String,
        tlds: &BTreeMap<String, ToplevelDefinition>,
    ) -> Result<(), GrammarError> {
        match self {
            SubtypeElements::SingleValue {
                value,
                extensible: _,
            } => {
                value.link_elsewhere_declared(identifier, tlds)?;
            }
            SubtypeElements::PermittedAlphabet(e) => {
                e.link_cross_reference(identifier, tlds)?;
            }
            SubtypeElements::ContainedSubtype {
                subtype,
                extensible: _,
            } => {
                subtype.link_subtype_constraint(tlds)?;
            }
            SubtypeElements::ValueRange {
                min,
                max,
                extensible: _,
            } => {
                min.as_mut()
                    .map(|m| m.link_elsewhere_declared(identifier, tlds))
                    .transpose()?;
                max.as_mut()
                    .map(|m| m.link_elsewhere_declared(identifier, tlds))
                    .transpose()?;
            }
            SubtypeElements::SizeConstraint(s) => {
                s.link_cross_reference(identifier, tlds)?;
            }
            SubtypeElements::TypeConstraint(t) => {
                t.link_constraint_reference(identifier, tlds)?;
            }
            SubtypeElements::SingleTypeConstraint(constraints) => {
                for c in constraints {
                    c.link_cross_reference(identifier, tlds)?;
                }
            }
            SubtypeElements::MultipleTypeConstraints(s) => {
                for b in s.constraints.iter_mut().flat_map(|cc| &mut cc.constraints) {
                    b.link_cross_reference(identifier, tlds)?;
                }
            }
            _ => (),
        }
        Ok(())
    }

    pub(super) fn has_cross_reference(&self) -> bool {
        match self {
            SubtypeElements::SingleValue {
                value,
                extensible: _,
            } => value.is_elsewhere_declared(),
            SubtypeElements::PatternConstraint(_) => false,
            SubtypeElements::UserDefinedConstraint(_) => false,
            SubtypeElements::PropertySettings(_) => false,
            SubtypeElements::PermittedAlphabet(e) => e.has_cross_reference(),
            SubtypeElements::ContainedSubtype {
                subtype,
                extensible: _,
            } => subtype.contains_constraint_reference(),
            SubtypeElements::ValueRange {
                min,
                max,
                extensible: _,
            } => {
                min.as_ref().is_some_and(|s| s.is_elsewhere_declared())
                    || max.as_ref().is_some_and(|s| s.is_elsewhere_declared())
            }
            SubtypeElements::SizeConstraint(s) => s.has_cross_reference(),
            SubtypeElements::TypeConstraint(t) => t.references_class_by_name(),
            SubtypeElements::SingleTypeConstraint(c) => {
                c.iter().any(|constraint| constraint.has_cross_reference())
            }
            SubtypeElements::MultipleTypeConstraints(s) => s
                .constraints
                .iter()
                .any(|cc| cc.constraints.iter().any(|c| c.has_cross_reference())),
        }
    }
}

impl ElementOrSetOperation {
    pub(super) fn link_cross_reference(
        &mut self,
        identifier: &String,
        tlds: &BTreeMap<String, ToplevelDefinition>,
    ) -> Result<(), GrammarError> {
        match self {
            ElementOrSetOperation::Element(e) => e.link_cross_reference(identifier, tlds),
            ElementOrSetOperation::SetOperation(s) => {
                s.base.link_cross_reference(identifier, tlds)?;
                s.operant.link_cross_reference(identifier, tlds)
            }
        }
    }

    pub(super) fn has_cross_reference(&self) -> bool {
        match self {
            ElementOrSetOperation::Element(e) => e.has_cross_reference(),
            ElementOrSetOperation::SetOperation(s) => {
                s.base.has_cross_reference() || s.operant.has_cross_reference()
            }
        }
    }
}