Function annotation_constraint_to_value

Source
pub fn annotation_constraint_to_value(constraint: &Constraint) -> Value
Expand description

Convert a SDML Constraint into a context object, in the form shown as JSON below.

§Informal Constraint

{
    "__type": "informal",
    "source_span": {},              // optional
    "name": "Identifier",
    "value": "string",
    "language": ""                  // optional
}

§Formal Constraint

{
    "__type": "formal",
    "source_span": {},             // optional
    "name": "Identifier",
    "definitions": [],             // optional
    "sentence": {}
}