Struct JsonProperty 

pub(crate) struct JsonProperty {
    pub tag: String,
    pub args: Vec<String>,
    pub kind: Option<String>,
    pub any: Option<Vec<AnyItem>>,
}

Structure of JSON entries.

When the any field is present, the entry represents a disjunction (logical OR) of property groups. Each element in any is either a single JsonProperty (one disjunct) or an array of entries (a conjunction group — all must hold).

JSON format for any (flat OR):

{
  "any": [
    {"tag": "Trait", "args": ["T", "Copy"]},
    {"tag": "Alias", "args": ["T", "return"]}
  ]
}

JSON format for any with conjunction group (null-guard):

{
  "any": [
    {"tag": "Null", "args": ["head"]},
    [
      {"tag": "Align", "args": ["head", "Node"]},
      {"tag": "ValidPtr", "args": ["head", "Node", "1"]}
    ]
  ]
}

Fields

tag: String

args: Vec<String>

kind: Option<String>

any: Option<Vec<AnyItem>>

The list of disjuncts (OR alternatives) when this entry is a disjunction. Each element is either a single entry or a conjunction group.

Trait Implementations

impl Clone for JsonProperty

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for JsonProperty

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for JsonProperty

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for JsonProperty

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.