circomspect-program-structure 2.1.4

Support crate for the Circomspect static analyzer
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use super::ast::*;

impl AST {
    pub fn get_includes(&self) -> &Vec<Include> {
        &self.includes
    }

    pub fn get_version(&self) -> &Option<Version> {
        &self.compiler_version
    }

    pub fn get_definitions(&self) -> &Vec<Definition> {
        &self.definitions
    }
    pub fn decompose(
        self,
    ) -> (Meta, Option<Version>, Vec<Include>, Vec<Definition>, Option<MainComponent>) {
        (self.meta, self.compiler_version, self.includes, self.definitions, self.main_component)
    }
}