zerodds-lang-rules 1.0.0-rc.7.1

Maps the common AST onto the language CSTs through rules that are data, not code: seesaw v2 rule specifications, comparable and checkable.
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

// SPDX-License-Identifier: Apache-2.0
// Copyright 2026 ZeroDDS Contributors
//! The Java rule catalogue. Spec ยง2.
//!
//! The same constructs the Rust catalogue covers, mapped onto Java's
//! own tree. The rules are the same two shapes; what differs is the node
//! each construct becomes, which is the difference a diff of two
//! catalogues is supposed to show.

use crate::rule::shape::{one_to_one, part_of};
use seesaw_tgg::rules::format::RuleFile;

/// The catalogue's own name, which a serialised rule file carries.
const CATALOGUE_NAME: &str = "java";

/// Every Java rule.
#[must_use]
pub fn catalogue() -> RuleFile {
    RuleFile {
        // The format version the engine expects; it reports a
        // mismatch rather than reading an older file as if it were
        // this one.
        format: 3,
        name: CATALOGUE_NAME.to_string(),
        rules: vec![
            one_to_one(
                "struct-to-class",
                "Structure",
                "JavaStruct",
                "JavaStructCorr",
            ),
            part_of(
                "member-to-field",
                ("Member", "Structure", "JavaStructCorr"),
                ("JavaField", "JavaStruct", "JavaFieldCorr"),
            ),
            one_to_one("enum-to-enum", "Enumeration", "JavaEnum", "JavaEnumCorr"),
            part_of(
                "enumerator-to-constant",
                ("Enumerator", "Enumeration", "JavaEnumCorr"),
                ("JavaEnumerator", "JavaEnum", "JavaEnumeratorCorr"),
            ),
            one_to_one("alias-to-class", "Alias", "JavaAlias", "JavaAliasCorr"),
            one_to_one("union-to-class", "Union", "JavaUnion", "JavaUnionCorr"),
            part_of(
                "case-to-field",
                ("Case", "Union", "JavaUnionCorr"),
                ("JavaCase", "JavaUnion", "JavaCaseCorr"),
            ),
            one_to_one(
                "bitmask-to-class",
                "Bitmask",
                "JavaBitmask",
                "JavaBitmaskCorr",
            ),
            part_of(
                "bit-to-const",
                ("BitValue", "Bitmask", "JavaBitmaskCorr"),
                ("JavaBitConst", "JavaBitmask", "JavaBitCorr"),
            ),
            one_to_one("bitset-to-class", "Bitset", "JavaBitset", "JavaBitsetCorr"),
            one_to_one(
                "valuetype-to-class",
                "Valuetype",
                "JavaValue",
                "JavaValueCorr",
            ),
            one_to_one(
                "module-to-package",
                "Module",
                "JavaModule",
                "JavaModuleCorr",
            ),
            one_to_one("const-to-const", "Const", "JavaConst", "JavaConstCorr"),
            one_to_one(
                "exception-to-class",
                "Exception",
                "JavaError",
                "JavaErrorCorr",
            ),
            one_to_one(
                "interface-to-interface",
                "Interface",
                "JavaInterface",
                "JavaInterfaceCorr",
            ),
            one_to_one("native-to-class", "Native", "JavaNative", "JavaNativeCorr"),
        ],
    }
}