cairo-lang-filesystem 2.18.0

Virtual filesystem for the compiler.
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

use cairo_lang_utils::Intern;

use super::TextOffset;
use crate::ids::{FileId, FileKind, FileLongId, SmolStrId, VirtualFile};
use crate::span::{TextPosition, TextWidth};
use crate::test_utils::FilesDatabaseForTesting;

const TEST_STRING: &str = "01\n23\u{1230}\r\n456\n\n\r\n789";

fn test_db() -> FilesDatabaseForTesting {
    FilesDatabaseForTesting::default()
}

fn test_file<'db>(db: &'db FilesDatabaseForTesting) -> FileId<'db> {
    FileLongId::Virtual(VirtualFile {
        parent: None,
        name: SmolStrId::from(db, "name"),
        content: SmolStrId::from(db, TEST_STRING),
        code_mappings: [].into(),
        kind: FileKind::Module,
        original_item_removed: false,
    })
    .intern(db)
}

#[test]
fn test_span() {
    let db = test_db();
    let file = test_file(&db);
    assert_eq!(
        TextOffset(TextWidth(0)).position_in_file(&db, file),
        Some(TextPosition { line: 0, col: 0 })
    );
    assert_eq!(
        TextOffset(TextWidth(1)).position_in_file(&db, file),
        Some(TextPosition { line: 0, col: 1 })
    );
    assert_eq!(
        TextOffset(TextWidth(2)).position_in_file(&db, file),
        Some(TextPosition { line: 0, col: 2 })
    );
    assert_eq!(
        TextOffset(TextWidth(3)).position_in_file(&db, file),
        Some(TextPosition { line: 1, col: 0 })
    );
    // Offsets 6,7 are inside a unicode char.
    assert_eq!(
        TextOffset(TextWidth(8)).position_in_file(&db, file),
        Some(TextPosition { line: 1, col: 3 })
    );
    assert_eq!(
        TextOffset(TextWidth(9)).position_in_file(&db, file),
        Some(TextPosition { line: 1, col: 4 })
    );
    assert_eq!(
        TextOffset(TextWidth(10)).position_in_file(&db, file),
        Some(TextPosition { line: 2, col: 0 })
    );
    assert_eq!(
        TextOffset(TextWidth(14)).position_in_file(&db, file),
        Some(TextPosition { line: 3, col: 0 })
    );
    assert_eq!(
        TextOffset(TextWidth(15)).position_in_file(&db, file),
        Some(TextPosition { line: 4, col: 0 })
    );
    assert_eq!(
        TextOffset(TextWidth(16)).position_in_file(&db, file),
        Some(TextPosition { line: 4, col: 1 })
    );
    assert_eq!(
        TextOffset(TextWidth(17)).position_in_file(&db, file),
        Some(TextPosition { line: 5, col: 0 })
    );
    assert_eq!(
        TextOffset(TextWidth(19)).position_in_file(&db, file),
        Some(TextPosition { line: 5, col: 2 })
    );
    assert_eq!(
        TextOffset(TextWidth(20)).position_in_file(&db, file),
        Some(TextPosition { line: 5, col: 3 })
    );
}

#[test]
#[should_panic(expected = "TextOffset out of range. TextWidth(21) > TextWidth(20).")]
fn should_panic_test_span_out_of_range() {
    let db = test_db();
    let file = test_file(&db);
    TextOffset(TextWidth(TEST_STRING.len() as u32 + 1)).position_in_file(&db, file);
}

#[test]
fn test_position_offset_in_file() {
    let db = test_db();
    let file = test_file(&db);
    // Happy cases.
    assert_eq!(
        TextPosition { line: 0, col: 0 }.offset_in_file(&db, file),
        Some(TextOffset(TextWidth(0)))
    );
    assert_eq!(
        TextPosition { line: 0, col: 1 }.offset_in_file(&db, file),
        Some(TextOffset(TextWidth(1)))
    );
    assert_eq!(
        TextPosition { line: 0, col: 2 }.offset_in_file(&db, file),
        Some(TextOffset(TextWidth(2)))
    );
    assert_eq!(
        TextPosition { line: 1, col: 0 }.offset_in_file(&db, file),
        Some(TextOffset(TextWidth(3)))
    );
    // `col` larger than the line length should clamp.
    assert_eq!(
        TextPosition { line: 0, col: 3 }.offset_in_file(&db, file),
        Some(TextOffset(TextWidth(2)))
    );
    assert_eq!(
        TextPosition { line: 3, col: usize::MAX }.offset_in_file(&db, file),
        Some(TextOffset(TextWidth(14)))
    );
    // `line` larger than the line count should clamp.
    assert_eq!(
        TextPosition { line: 6, col: 0 }.offset_in_file(&db, file),
        Some(TextOffset(TextWidth(TEST_STRING.len() as u32)))
    );
    assert_eq!(
        TextPosition { line: usize::MAX, col: 0 }.offset_in_file(&db, file),
        Some(TextOffset(TextWidth(TEST_STRING.len() as u32)))
    );
}