ripex 0.3.0

Multi-language structural parsing and fact extraction.
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

// Additional C declaration helpers
use super::super::lexer::TokenKind;
use super::state::Parser;

impl Parser {
    /// Reads an optional struct/union/enum tag name. C allows the name to be
    /// absent (anonymous tags, e.g. `struct { int x; }`), so this returns an
    /// empty string when no identifier follows the keyword.
    pub(crate) fn parse_optional_tag_name(&mut self) -> String {
        if self.peek() == TokenKind::Ident {
            self.advance().value
        } else {
            String::new()
        }
    }

    pub fn parse_struct_body(&mut self) -> Vec<super::super::ast::expr::StructField> {
        let mut fields = Vec::new();
        self.expect(TokenKind::LBrace);
        while self.peek() != TokenKind::RBrace && self.peek() != TokenKind::Eof {
            let type_ = self.parse_type();
            let name = self.expect_ident();
            let bitfield = if self.peek() == TokenKind::Colon {
                self.advance();
                let tok = self.advance();
                tok.value.parse::<usize>().ok()
            } else {
                None
            };
            self.expect(TokenKind::Semicolon);
            fields.push(super::super::ast::expr::StructField {
                type_: Box::new(type_),
                name,
                bitfield,
                span: self.peek_token().span,
            });
        }
        self.expect(TokenKind::RBrace);
        fields
    }

    pub fn parse_enum_body(&mut self) -> Vec<super::super::ast::expr::EnumConstant> {
        let mut values = Vec::new();
        self.expect(TokenKind::LBrace);
        while self.peek() != TokenKind::RBrace && self.peek() != TokenKind::Eof {
            let name = self.expect_ident();
            let value = if self.peek() == TokenKind::Eq {
                self.advance();
                Some(Box::new(self.parse_expr()))
            } else {
                None
            };
            if self.peek() == TokenKind::Comma {
                self.advance();
            }
            values.push(super::super::ast::expr::EnumConstant {
                name,
                value,
                span: self.peek_token().span,
            });
        }
        self.expect(TokenKind::RBrace);
        values
    }
}