finitio 0.1.0

Finitio data language
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

use crate::common::FilePosition;
use crate::fio::{self};

use super::errors::ValidationError;
use super::typemap::TypeMap;
use super::heading::Heading;
#[derive(Clone, Debug)]
pub struct Relation {
    pub heading: Heading,
    pub position: FilePosition,
}

impl Relation {
    pub(crate) fn from_fio(ftuple: &fio::RelationType) -> Self {
        let heading = Heading::from_fio(&ftuple.heading);
        Self {
            heading,
            position: ftuple.position.clone(),
        }
    }

    pub(crate) fn resolve(&mut self, type_map: &TypeMap) -> Result<(), ValidationError> {
        self.heading.resolve(type_map)
    }
}