Persistence Package

{
    "name": "P_BMM_MODEL_ELEMENT",
    "documentation": "Persistent form of `BMM_MODEL_ELEMENT`.",
    "is_abstract": true,
    "properties": {
        "documentation": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "documentation",
            "documentation": "Optional documentation of this element.",
            "type": "String"
        }
    }
}

{
    "name": "P_BMM_SCHEMA",
    "documentation": "Persisted form of `BMM_SCHEMA`.",
    "ancestors": [
        "P_BMM_PACKAGE_CONTAINER",
        "BMM_SCHEMA"
    ],
    "properties": {
        "primitive_types": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "primitive_types",
            "documentation": "Primitive type definitions. Persisted attribute.",
            "type_def": {
                "container_type": "List",
                "type": "P_BMM_CLASS"
            },
            "cardinality": {
                "lower": 0,
                "upper_unbounded": true
            }
        },
        "class_definitions": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "class_definitions",
            "documentation": "Class definitions. Persisted attribute.",
            "type_def": {
                "container_type": "List",
                "type": "P_BMM_CLASS"
            },
            "cardinality": {
                "lower": 0,
                "upper_unbounded": true
            }
        }
    },
    "functions": {
        "validate_created": {
            "name": "validate_created",
            "documentation": "Implementation of `_validate_created()_`",
            "pre_conditions": {
                "Pre_state": "state = State_created"
            },
            "post_conditions": {
                "Post_state": "passed implies state = State_validated_created"
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        },
        "load_finalise": {
            "name": "load_finalise",
            "documentation": "Implementation of `_load_finalise()_`",
            "pre_conditions": {
                "Pre_state": "state = State_validated_created"
            },
            "post_conditions": {
                "Post_state": "state = State_includes_processed or state = State_includes_pending"
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        },
        "merge": {
            "name": "merge",
            "documentation": "Implementation of `_merge()_`",
            "parameters": {
                "other": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "other",
                    "type": "P_BMM_SCHEMA"
                }
            },
            "pre_conditions": {
                "Pre_state": "state = State_includes_pending",
                "Pre_other_valid": "includes_to_process.has (included_schema.schema_id)"
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        },
        "validate": {
            "name": "validate",
            "documentation": "Implementation of `_validate()_`",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        },
        "create_bmm_model": {
            "name": "create_bmm_model",
            "documentation": "Implementation of `_create_bmm_model()_`",
            "pre_conditions": {
                "Pre_state": "state = P_BMM_PACKAGE_STATE.State_includes_processed"
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        },
        "canonical_packages": {
            "name": "canonical_packages",
            "documentation": "Package structure in which all top-level qualified package names like `xx.yy.zz` have been expanded out to a hierarchy of `BMM_PACKAGE` objects.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "P_BMM_PACKAGE"
            }
        }
    }
}

{
    "name": "P_BMM_SCHEMA_DESCRIPTOR",
    "documentation": "Concrete descendant of `BMM_SCHEMA_DESCRIPTOR` that provides a way to read an ODIN or other similarly encoded P_BMM schema file.",
    "ancestors": [
        "BMM_SCHEMA_DESCRIPTOR"
    ],
    "properties": {
        "bmm_schema": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_schema",
            "documentation": "Persistent form of model.",
            "type": "P_BMM_SCHEMA"
        }
    }
}

{
    "name": "P_BMM_PACKAGE_CONTAINER",
    "documentation": "Persisted form of a model component that contains packages.",
    "properties": {
        "packages": {
            "_type": "P_BMM_GENERIC_PROPERTY",
            "name": "packages",
            "documentation": "Package structure as a hierarchy of packages each potentially containing names of classes in that package in the original model.",
            "is_mandatory": true,
            "type_def": {
                "root_type": "Hash",
                "generic_parameters": [
                    "String",
                    "P_BMM_PACKAGE"
                ]
            }
        }
    }
}

{
    "name": "P_BMM_PACKAGE",
    "documentation": "Persisted form of a package as a tree structure whose nodes can contain more packages and/or classes.",
    "ancestors": [
        "P_BMM_PACKAGE_CONTAINER",
        "P_BMM_MODEL_ELEMENT"
    ],
    "properties": {
        "name": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "name",
            "documentation": "Name of the package from schema; this name may be qualified if it is a top-level package within the schema, or unqualified. Persistent attribute.",
            "is_mandatory": true,
            "type": "String"
        },
        "classes": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "classes",
            "documentation": "List of classes in this package. Persistent attribute.",
            "type_def": {
                "container_type": "List",
                "type": "String"
            },
            "cardinality": {
                "lower": 0,
                "upper_unbounded": true
            }
        },
        "bmm_package_definition": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_package_definition",
            "documentation": "`BMM_PACKAGE` created by `_create_bmm_package_definition_`.",
            "type": "BMM_PACKAGE"
        }
    },
    "functions": {
        "merge": {
            "name": "merge",
            "documentation": "Merge packages and classes from other (from an included `P_BMM_SCHEMA`) into this package.",
            "parameters": {
                "other": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "other",
                    "type": "P_BMM_PACKAGE"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        },
        "create_bmm_package_definition": {
            "name": "create_bmm_package_definition",
            "documentation": "Generate a `BMM_PACKAGE_DEFINITION` object and write it to `_bmm_package_definition_`.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        }
    }
}

{
    "name": "P_BMM_CLASS",
    "documentation": "Definition of persistent form of `BMM_CLASS` for serialisation to ODIN, JSON, XML etc.",
    "ancestors": [
        "P_BMM_MODEL_ELEMENT"
    ],
    "properties": {
        "name": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "name",
            "documentation": "Name of the class. Persisted attribute.",
            "is_mandatory": true,
            "type": "String"
        },
        "ancestors": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "ancestors",
            "documentation": "List of immediate inheritance parents. If there are generic ancestors, use `_ancestor_defs_` instead. Persisted attribute.",
            "type_def": {
                "container_type": "List",
                "type": "String"
            },
            "cardinality": {
                "lower": 0,
                "upper_unbounded": true
            }
        },
        "properties": {
            "_type": "P_BMM_GENERIC_PROPERTY",
            "name": "properties",
            "documentation": "List of attributes defined in this class. Persistent attribute.",
            "type_def": {
                "root_type": "Hash",
                "generic_parameters": [
                    "String",
                    "P_BMM_PROPERTY"
                ]
            }
        },
        "is_abstract": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "is_abstract",
            "documentation": "True if this is an abstract type. Persisted attribute.",
            "type": "Boolean"
        },
        "is_override": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "is_override",
            "documentation": "True if this class definition overrides one found in an included schema.",
            "type": "Boolean"
        },
        "generic_parameter_defs": {
            "_type": "P_BMM_GENERIC_PROPERTY",
            "name": "generic_parameter_defs",
            "documentation": "List of generic parameter definitions. Persisted attribute.",
            "type_def": {
                "root_type": "Hash",
                "generic_parameters": [
                    "String",
                    "P_BMM_GENERIC_PARAMETER"
                ]
            }
        },
        "source_schema_id": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "source_schema_id",
            "documentation": "Reference to original source schema defining this class. Set during `BMM_SCHEMA` materialise. Useful for GUI tools to enable user to edit the schema file containing a given class (i.e. taking into account that a class may be in any of the schemas in a schema inclusion hierarchy).",
            "is_mandatory": true,
            "type": "String"
        },
        "bmm_class": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_class",
            "documentation": "`BMM_CLASS` object built by `_create_bmm_class_definition_` and `_populate_bmm_class_definition_`.",
            "type": "BMM_CLASS"
        },
        "uid": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "uid",
            "documentation": "Unique id generated for later comparison during merging, in order to detect if two classes are the same. Assigned in post-load processing.",
            "is_mandatory": true,
            "type": "Integer"
        },
        "ancestor_defs": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "ancestor_defs",
            "documentation": "List of structured inheritance ancestors, used only in the case of generic inheritance. Persisted attribute.",
            "type_def": {
                "container_type": "List",
                "type": "P_BMM_GENERIC_TYPE"
            },
            "cardinality": {
                "lower": 0,
                "upper_unbounded": true
            }
        }
    },
    "functions": {
        "is_generic": {
            "name": "is_generic",
            "documentation": "True if this class is a generic class.",
            "post_conditions": {
                "Post": "Result := generic_parameter_defs /= Void"
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "create_bmm_class": {
            "name": "create_bmm_class",
            "documentation": "Create `_bmm_class_definition_`.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        },
        "populate_bmm_class": {
            "name": "populate_bmm_class",
            "documentation": "Add remaining model elements from Current to `_bmm_class_definition_`.",
            "parameters": {
                "a_bmm_schema": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "a_bmm_schema",
                    "type": "BMM_MODEL"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        }
    }
}

{
    "name": "P_BMM_GENERIC_PARAMETER",
    "documentation": "Persistent form of `BMM_GENERIC_PARAMETER`.",
    "ancestors": [
        "P_BMM_MODEL_ELEMENT"
    ],
    "properties": {
        "name": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "name",
            "documentation": "Name of the parameter, e.g. 'T' etc. Persisted attribute. Name is limited to 1 character, upper case.",
            "is_mandatory": true,
            "type": "String"
        },
        "conforms_to_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "conforms_to_type",
            "documentation": "Optional conformance constraint - the name of a type to which a concrete substitution of this generic parameter must conform. Persisted attribute.",
            "type": "String"
        },
        "bmm_generic_parameter": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_generic_parameter",
            "documentation": "`BMM_GENERIC_PARAMETER` created by `_create_bmm_generic_parameter_`.",
            "type": "BMM_PARAMETER_TYPE"
        }
    },
    "functions": {
        "create_bmm_generic_parameter": {
            "name": "create_bmm_generic_parameter",
            "documentation": "Create `_bmm_generic_parameter_`.",
            "parameters": {
                "a_bmm_schema": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "a_bmm_schema",
                    "type": "BMM_MODEL"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        }
    },
    "invariants": {
        "Post_name": "name.count = 1 and name.is_upper"
    }
}

{
    "name": "P_BMM_ENUMERATION",
    "documentation": "Persistent form of `BMM_ENUMERATION` attributes.",
    "ancestors": [
        "P_BMM_CLASS"
    ],
    "properties": {
        "item_names": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "item_names",
            "type_def": {
                "container_type": "List",
                "type": "String"
            },
            "cardinality": {
                "lower": 0,
                "upper_unbounded": true
            }
        },
        "item_values": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "item_values",
            "type_def": {
                "container_type": "List",
                "type": "Any"
            },
            "cardinality": {
                "lower": 0,
                "upper_unbounded": true
            }
        },
        "bmm_class": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_class",
            "documentation": "`BMM_CLASS` object build by `_create_bmm_class_definition_` and `_populate_bmm_class_definition_`.",
            "type": "BMM_ENUMERATION"
        }
    }
}

{
    "name": "P_BMM_ENUMERATION_STRING",
    "documentation": "Persistent form of `BMM_ENUMERATION_STRING`.",
    "ancestors": [
        "P_BMM_ENUMERATION"
    ],
    "properties": {
        "bmm_class": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_class",
            "documentation": "`BMM_CLASS` object build by `_create_bmm_class_definition_` and `_populate_bmm_class_definition_`.",
            "type": "BMM_ENUMERATION_STRING"
        }
    }
}

{
    "name": "P_BMM_ENUMERATION_INTEGER",
    "documentation": "Persistent form of an instance of `BMM_ENUMERATION_INTEGER`.",
    "ancestors": [
        "P_BMM_ENUMERATION"
    ],
    "properties": {
        "bmm_class": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_class",
            "documentation": "`BMM_CLASS` object build by `_create_bmm_class_definition_` and `_populate_bmm_class_definition_`.",
            "type": "BMM_ENUMERATION_INTEGER"
        }
    }
}

{
    "name": "P_BMM_TYPE",
    "documentation": "Persistent form of `BMM_TYPE`.",
    "is_abstract": true,
    "properties": {
        "bmm_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_type",
            "documentation": "Result of `_create_bmm_type()_` call.",
            "type": "BMM_TYPE"
        }
    },
    "functions": {
        "create_bmm_type": {
            "name": "create_bmm_type",
            "documentation": "Create appropriate `BMM_XXX` object; effected in descendants.",
            "is_abstract": true,
            "parameters": {
                "a_schema": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "a_schema",
                    "type": "BMM_MODEL"
                },
                "a_class_def": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "a_class_def",
                    "type": "BMM_CLASS"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        },
        "as_type_string": {
            "name": "as_type_string",
            "documentation": "Formal name of the type for display.",
            "is_abstract": true,
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "String"
            }
        }
    }
}

{
    "name": "P_BMM_BASE_TYPE",
    "documentation": "Persistent form of `BMM_PROPER_TYPE`.",
    "is_abstract": true,
    "ancestors": [
        "P_BMM_TYPE"
    ],
    "properties": {
        "value_constraint": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "value_constraint",
            "type": "String"
        }
    }
}

{
    "name": "P_BMM_SIMPLE_TYPE",
    "documentation": "Persistent form of `BMM_SIMPLE_TYPE`.",
    "ancestors": [
        "P_BMM_BASE_TYPE"
    ],
    "properties": {
        "type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type",
            "documentation": "Name of type - must be a simple class name.",
            "is_mandatory": true,
            "type": "String"
        },
        "bmm_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_type",
            "documentation": "Result of `_create_bmm_type()_` call.",
            "type": "BMM_SIMPLE_TYPE"
        }
    }
}

{
    "name": "P_BMM_OPEN_TYPE",
    "documentation": "Persistent form of `BMM_PARAMETER_TYPE`.",
    "ancestors": [
        "P_BMM_BASE_TYPE"
    ],
    "properties": {
        "type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type",
            "documentation": "Simple type parameter as a single letter like 'T', 'G' etc.",
            "is_mandatory": true,
            "type": "String"
        },
        "bmm_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_type",
            "documentation": "Result of `_create_bmm_type()_` call.",
            "type": "Any"
        }
    }
}

{
    "name": "P_BMM_GENERIC_TYPE",
    "documentation": "Persistent form of `BMM_GENERIC_TYPE`.",
    "ancestors": [
        "P_BMM_BASE_TYPE"
    ],
    "properties": {
        "root_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "root_type",
            "documentation": "Root type of this generic type, e.g. `Interval` in `Interval<Integer>`.",
            "is_mandatory": true,
            "type": "String"
        },
        "generic_parameter_defs": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "generic_parameter_defs",
            "documentation": "Generic parameters of the root_type in this type specifier if non-simple types. The order must match the order of the owning class's formal generic parameter declarations. Persistent attribute.",
            "is_mandatory": true,
            "type_def": {
                "container_type": "List",
                "type": "P_BMM_TYPE"
            },
            "cardinality": {
                "lower": 1,
                "upper_unbounded": true
            }
        },
        "generic_parameters": {
            "_type": "P_BMM_CONTAINER_PROPERTY",
            "name": "generic_parameters",
            "documentation": "Generic parameters of the `_root_type_` in this type specifier, if simple types. The order must match the order of the owning class's formal generic parameter declarations. Persistent attribute.",
            "type_def": {
                "container_type": "List",
                "type": "String"
            },
            "cardinality": {
                "lower": 0,
                "upper_unbounded": true
            }
        },
        "bmm_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_type",
            "documentation": "Result of `_create_bmm_type()_` call.",
            "type": "BMM_GENERIC_TYPE"
        }
    },
    "functions": {
        "generic_parameter_refs": {
            "name": "generic_parameter_refs",
            "documentation": "Generic parameters of the root_type in this type specifier. The order must match the order of the owning class's formal generic parameter declarations",
            "result": {
                "_type": "P_BMM_CONTAINER_TYPE",
                "container_type": "List",
                "type": "P_BMM_TYPE"
            },
            "is_nullable": true
        }
    }
}

{
    "name": "P_BMM_CONTAINER_TYPE",
    "documentation": "Persistent form of `BMM_CONTAINER_TYPE`.",
    "ancestors": [
        "P_BMM_TYPE"
    ],
    "properties": {
        "container_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "container_type",
            "documentation": "The type of the container. This converts to the `_root_type_` in `BMM_GENERIC_TYPE`. Persisted attribute.",
            "is_mandatory": true,
            "type": "String"
        },
        "type_def": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type_def",
            "documentation": "Type definition of `_type_`, if not a simple String type reference. Persisted attribute.",
            "type": "P_BMM_BASE_TYPE"
        },
        "type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type",
            "documentation": "The target type; this converts to the first parameter in `_generic_parameters_` in `BMM_GENERIC_TYPE`. Persisted attribute.",
            "type": "String"
        },
        "bmm_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_type",
            "documentation": "Result of `_create_bmm_type()_` call.",
            "type": "BMM_CONTAINER_TYPE"
        }
    },
    "functions": {
        "type_ref": {
            "name": "type_ref",
            "documentation": "The target type; this converts to the first parameter in `_generic_parameters_` in `BMM_GENERIC_TYPE`. Persisted attribute.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "P_BMM_BASE_TYPE"
            }
        }
    }
}

{
    "name": "P_BMM_INDEXED_CONTAINER_TYPE",
    "ancestors": [
        "P_BMM_CONTAINER_TYPE"
    ],
    "properties": {
        "index_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "index_type",
            "is_mandatory": true,
            "type": "String"
        },
        "bmm_type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_type",
            "documentation": "Result of `_create_bmm_type()_` call.",
            "type": "BMM_INDEXED_CONTAINER_TYPE"
        }
    }
}

{
    "name": "P_BMM_PROPERTY",
    "documentation": "Persistent form of `BMM_PROPERTY`.",
    "is_abstract": true,
    "ancestors": [
        "P_BMM_MODEL_ELEMENT"
    ],
    "properties": {
        "name": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "name",
            "documentation": "Name of this property within its class. Persisted attribute.",
            "is_mandatory": true,
            "type": "String"
        },
        "is_mandatory": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "is_mandatory",
            "documentation": "True if this property is mandatory in its class. Persisted attribute.",
            "type": "Boolean"
        },
        "is_computed": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "is_computed",
            "documentation": "True if this property is computed rather than stored in objects of this class. Persisted Attribute.",
            "type": "Boolean"
        },
        "is_im_infrastructure": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "is_im_infrastructure",
            "documentation": "True if this property is info model 'infrastructure' rather than 'data'. Persisted attribute.",
            "type": "Boolean"
        },
        "is_im_runtime": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "is_im_runtime",
            "documentation": "True if this property is info model 'runtime' settable property. Persisted attribute.",
            "type": "Boolean"
        },
        "type_def": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type_def",
            "documentation": "Type definition of this property, if not a simple String type reference. Persisted attribute.",
            "type": "P_BMM_TYPE"
        },
        "bmm_property": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_property",
            "documentation": "BMM_PROPERTY created by create_bmm_property_definition.",
            "type": "BMM_PROPERTY"
        }
    },
    "functions": {
        "create_bmm_property": {
            "name": "create_bmm_property",
            "documentation": "Create `_bmm_property_definition_` from `P_BMM_XX` parts.",
            "parameters": {
                "a_bmm_schema": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "a_bmm_schema",
                    "type": "BMM_MODEL"
                },
                "a_class_def": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "a_class_def",
                    "type": "BMM_CLASS"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        }
    }
}

{
    "name": "P_BMM_SINGLE_PROPERTY",
    "documentation": "Persistent form of `BMM_SINGLE_PROPERTY`.",
    "ancestors": [
        "P_BMM_PROPERTY"
    ],
    "properties": {
        "type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type",
            "documentation": "If the type is a simple type, then this attribute will hold the type name. If the type is a container or generic, then type_ref will hold the type definition. The resulting type is generated in type_def.",
            "type": "String"
        },
        "type_ref": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type_ref",
            "documentation": "Type definition of this property computed from `_type_` for later use in `_bmm_property_`.",
            "type": "P_BMM_SIMPLE_TYPE"
        },
        "bmm_property": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_property",
            "documentation": "`BMM_PROPERTY` created by `_create_bmm_property_definition_`.",
            "type": "BMM_UNITARY_PROPERTY"
        }
    },
    "functions": {
        "type_def": {
            "name": "type_def",
            "documentation": "Generate `_type_ref_` from `_type_` and save.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "P_BMM_SIMPLE_TYPE"
            }
        }
    }
}

{
    "name": "P_BMM_SINGLE_PROPERTY_OPEN",
    "documentation": "Persistent form of a `BMM_SINGLE_PROPERTY_OPEN`.",
    "ancestors": [
        "P_BMM_PROPERTY"
    ],
    "properties": {
        "type_ref": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type_ref",
            "documentation": "Type definition of this property computed from `_type_` for later use in `_bmm_property_`.",
            "type": "P_BMM_OPEN_TYPE"
        },
        "type": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type",
            "documentation": "Type definition of this property, if a simple String type reference. Really we should use `_type_def_` to be regular in the schema, but that makes the schema more wordy and less clear. So we use this persisted String value, and compute the `_type_def_` on the fly. Persisted attribute.",
            "type": "String"
        },
        "bmm_property": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_property",
            "documentation": "`BMM_PROPERTY` created by `_create_bmm_property_definition_`.",
            "type": "BMM_UNITARY_PROPERTY"
        }
    },
    "functions": {
        "type_def": {
            "name": "type_def",
            "documentation": "Generate `_type_ref_` from `_type_` and save.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "P_BMM_OPEN_TYPE"
            }
        }
    }
}

{
    "name": "P_BMM_GENERIC_PROPERTY",
    "documentation": "Persistent form of `BMM_GENERIC_PROPERTY`.",
    "ancestors": [
        "P_BMM_PROPERTY"
    ],
    "properties": {
        "type_def": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type_def",
            "documentation": "Type definition of this property, if not a simple String type reference. Persistent attribute.",
            "type": "P_BMM_GENERIC_TYPE"
        },
        "bmm_property": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_property",
            "documentation": "`BMM_PROPERTY` created by `_create_bmm_property_definition_`.",
            "type": "BMM_UNITARY_PROPERTY"
        }
    }
}

{
    "name": "P_BMM_CONTAINER_PROPERTY",
    "documentation": "Persistent form of `BMM_CONTAINER_PROPERTY`.",
    "ancestors": [
        "P_BMM_PROPERTY"
    ],
    "properties": {
        "cardinality": {
            "_type": "P_BMM_GENERIC_PROPERTY",
            "name": "cardinality",
            "documentation": "Cardinality of this property in its class. Persistent attribute.",
            "type_def": {
                "root_type": "Interval",
                "generic_parameters": [
                    "Integer"
                ]
            }
        },
        "type_def": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type_def",
            "documentation": "Type definition of this property, if not a simple String type reference. Persistent attribute.",
            "type": "P_BMM_CONTAINER_TYPE"
        },
        "bmm_property": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_property",
            "documentation": "`BMM_PROPERTY` created by `_create_bmm_property_`.",
            "type": "BMM_CONTAINER_PROPERTY"
        }
    },
    "functions": {
        "create_bmm_property": {
            "name": "create_bmm_property",
            "documentation": "Create `_bmm_property_definition_`.",
            "parameters": {
                "a_bmm_schema": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "a_bmm_schema",
                    "type": "BMM_MODEL"
                },
                "a_class_def": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "a_class_def",
                    "type": "BMM_CLASS"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "void"
            }
        }
    }
}

{
    "name": "P_BMM_INDEXED_CONTAINER_PROPERTY",
    "ancestors": [
        "P_BMM_CONTAINER_PROPERTY"
    ],
    "properties": {
        "type_def": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "type_def",
            "documentation": "Type definition of this property, if not a simple String type reference. Persistent attribute.",
            "type": "P_BMM_INDEXED_CONTAINER_TYPE"
        },
        "bmm_property": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "bmm_property",
            "documentation": "`BMM_PROPERTY` created by `_create_bmm_property_`.",
            "type": "BMM_INDEXED_CONTAINER_PROPERTY"
        }
    }
}