dol 0.8.1

DOL (Design Ontology Language) - A declarative specification language for ontology-first development
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

// ═══════════════════════════════════════════════════════════════
// DOL v0.8.0 Quickstart Example
// Demonstrates basic gen declarations with primitive types
// ═══════════════════════════════════════════════════════════════

module quickstart @ 0.8.0

docs {
    A minimal DOL v0.8.0 example demonstrating the new syntax.

    This file showcases:
    - The new `gen` keyword (replaces `gene`)
    - The new `docs` keyword (replaces `exegesis`)
    - New primitive type names: i32, i64, f64, bool, string
    - Basic field declarations with `has`

    Run with: cargo run --bin dol-parse -- examples/v0.8/quickstart.dol
}

// ─────────────────────────────────────────────────────────────────
// Simple Data Structures
// ─────────────────────────────────────────────────────────────────

docs {
    A 2D point using f64 coordinates.
}

gen Point {
    has x: f64
    has y: f64
}

docs {
    A user profile with basic information.
}

gen User {
    has id: u64
    has name: string
    has email: string
    has active: bool
    has age: u8
}

docs {
    A configuration entry with typed value.
}

gen ConfigEntry {
    has key: string
    has value: string
    has priority: i32
    has enabled: bool
}

// ─────────────────────────────────────────────────────────────────
// Numeric Types Showcase
// ─────────────────────────────────────────────────────────────────

docs {
    Demonstrates all numeric primitive types available in v0.8.0.

    Signed integers: i8, i16, i32, i64, i128
    Unsigned integers: u8, u16, u32, u64, u128
    Floating point: f32, f64
}

gen NumericShowcase {
    // Signed integers
    has tiny_signed: i8
    has small_signed: i16
    has normal_signed: i32
    has large_signed: i64
    has huge_signed: i128

    // Unsigned integers
    has tiny_unsigned: u8
    has small_unsigned: u16
    has normal_unsigned: u32
    has large_unsigned: u64
    has huge_unsigned: u128

    // Floating point
    has single_precision: f32
    has double_precision: f64
}

// ─────────────────────────────────────────────────────────────────
// Simple Pure Function
// ─────────────────────────────────────────────────────────────────

docs {
    Calculate the distance between two points.
    Pure function - no side effects.
}

fun distance(p1: Point, p2: Point) -> f64 {
    let dx = p2.x - p1.x
    let dy = p2.y - p1.y
    return (dx * dx + dy * dy)
}

docs {
    Check if a user is valid for registration.
}

fun is_valid_user(user: User) -> bool {
    if user.name == "" {
        return false
    }
    if user.email == "" {
        return false
    }
    if user.age < 13 {
        return false
    }
    return true
}