#moonrockz/smithy

#Load a model

///|
test {
  let result = @smithy.Loader::new()
    .add_idl(
      "city.smithy",
      (
        #|$version: "2"
        #|namespace example.weather
        #|structure City {
        #|    @required
        #|    name: String
        #|}
      ),
    )
    .assemble()
  assert_true(!result.has_errors())
  let model = result.model.unwrap()
  let name = model.get("example.weather#City$name").unwrap()
  guard name.body is Member(target~) else { fail("expected a member") }
  assert_eq(target.to_string(), "smithy.api#String")
  assert_true(name.trait_value("smithy.api#required") is Some(_))
}

#Semantic records

• ShapeId is an absolute ID with validated namespace, shape name and optional member name. ShapeId::parse returns None for invalid input.
• Model contains metadata and a map of shape IDs to Shape records, including first-class member shapes. Model::get accepts a string ID.
• ShapeBody distinguishes simple shapes, lists, maps, structures, unions, enums, operations, services, resources and members. Every reference is a ShapeId. A member's body holds its target; its traits belong to that member.
• NodeValue holds null, Boolean, number, string, array and object values. NodeNumber retains the original number token and compares exact numeric values. 1 and 1.0 compare equal; adjacent integers above Double's exact range remain distinct. Large exponents are stored without expanding zeros.
• A Shape retains its source, applied traits and direct mixin IDs. Inherited members have IDs belonging to their containing shape. Shape::introduced_traits() reports explicitly declared traits; Shape::is_legacy_set() retains the origin of Smithy 1 set shapes. Its optional provenance record lets transforms remove mixins while preserving declared overrides.

#Assembly rules

#Select shapes

///|
test {
  let result = @smithy.Loader::new()
    .add_idl(
      "one.smithy", "$version: \"2\"\nnamespace example\nstructure One {}",
    )
    .assemble()
  let model = result.model.unwrap()
  let ids = @smithy.Selector::parse("structure[id|namespace=example]").select_ids(
    model,
  )
  assert_eq(ids, ["example#One"])
}

#Contract traits

$version: "2"
namespace example.logs
use smithy.contracts#conditions

@conditions({
    StartBeforeEnd: {
        expression: "start < end"
        documentation: "The start time must be strictly less than the end time."
    }
})
structure FetchLogsInput {
    @required
    start: Timestamp
    @required
    end: Timestamp
}

#Diagnostics

#Export a model

///|
test {
  let result = @smithy.Loader::new()
    .add_json(
      "name.json", "{\"smithy\":\"2\",\"shapes\":{\"example.weather#Name\":{\"type\":\"string\"}}}",
    )
    .assemble()
  let document = result.model.unwrap().to_json_ast()
  assert_eq(document.smithy, "2.0")
  assert_eq(document.shapes.unwrap().length(), 1)
}

///|
test {
  let model = @smithy.Loader::new()
  .add_idl("name.smithy", "$version: \"2\"\nnamespace example\nstring Name")
  .assemble().model.unwrap()
  let files = model.to_idl()
  let again = @smithy.Loader::new()
  for ns, text in files {
    again.add_idl(ns + ".smithy", text) |> ignore
  }
  assert_true(!again.assemble().has_errors())
}