Struct ScratchPromoteParams 

pub struct ScratchPromoteParams {
    pub scratch_id: String,
    pub kind: String,
    pub qname: Option<String>,
    pub summary: Option<String>,
}

Fields

scratch_id: String

Scratch entry ID to promote.

kind: String

Ledger kind: decision, assumption, constraint, rationale, hazard, tradeoff, invariant, ownership, proof, validation_scenario, known_bug, concept.

qname: Option<String>

Symbol qualified name. Required if the scratch entry has no symbol attached.

summary: Option<String>

One-line summary. Defaults to the first non-empty line of the scratch content.

Trait Implementations

impl<'de> Deserialize<'de> for ScratchPromoteParams

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for ScratchPromoteParams

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.