form_urlencoded 1.2.2: form_urlencoded::parse

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "form_urlencoded"
version = "1.2.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cb4cb245038516f5f85277875cdaa4f7d2c9a0fa0468de06ed190163b1581fcf"
dependencies = [
 "percent-encoding",
]

[[package]]
name = "percent-encoding"
version = "2.3.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220"

[[package]]
name = "sample-form-urlencoded"
version = "1.0.0"
dependencies = [
 "form_urlencoded",
]

[package]
name = "sample-form-urlencoded"
version = "1.0.0"
edition = "2021"
publish = false

[dependencies]
form_urlencoded = "=1.2.2"

[[bin]]
name = "contract"
path = "test/contract.rs"

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify form_urlencoded::parse in pkg:cargo/form_urlencoded@1.2.2
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/form_urlencoded@1.2.2
Demonstrate these symbols/APIs:
  - form_urlencoded::parse

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:25c4fd5e5c24799cbe67ad99ded926e8dacd319e068b7976b75491e178ee9a3a","contract":["parse parses standard key-value pairs separated by ampersands into decoded string pairs","parse handles percent-encoded characters in both keys and values","parse replaces plus signs with space characters","parse treats keys without an equals sign as having an empty value","parse ignores empty segments caused by consecutive ampersands or leading/trailing ampersands"],"goal":"verify form_urlencoded::parse in pkg:cargo/form_urlencoded@1.2.2","kind":"HOW","packages":["pkg:cargo/form_urlencoded@1.2.2"],"schemaVersion":1,"symbols":["form_urlencoded::parse"]},"contractCommand":["cargo","run","--offline"],"environment":{"arch":"x64","distro":"alpine","ecosystem":"cargo","libc":"musl","os":"linux","packageManager":"cargo","schemaVersion":1},"license":"MIT-0","packages":["pkg:cargo/form_urlencoded@1.2.2"],"schemaVersion":1,"subject":"pkg:cargo/form_urlencoded@1.2.2","symbols":["form_urlencoded::parse"],"verifierAdapter":"cargo@1"}

{
  "schemaVersion": 1,
  "goal": "verify form_urlencoded::parse in pkg:cargo/form_urlencoded@1.2.2",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/form_urlencoded@1.2.2"
  ],
  "symbols": [
    "form_urlencoded::parse"
  ]
}

//! Clean-room verification sample for form_urlencoded::parse.

pub use form_urlencoded::*;

use std::borrow::Cow;
use form_urlencoded::parse;

fn main() {
    // 1. parse parses standard key-value pairs separated by ampersands into decoded string pairs
    let pairs: Vec<(Cow<'_, str>, Cow<'_, str>)> = parse(b"key1=value1&key2=value2").collect();
    assert_eq!(pairs.len(), 2);
    assert_eq!(pairs[0].0, "key1");
    assert_eq!(pairs[0].1, "value1");
    assert_eq!(pairs[1].0, "key2");
    assert_eq!(pairs[1].1, "value2");

    // 2. parse handles percent-encoded characters in both keys and values
    let encoded_pairs: Vec<(Cow<'_, str>, Cow<'_, str>)> = parse(b"%23key=%25val%25").collect();
    assert_eq!(encoded_pairs.len(), 1);
    assert_eq!(encoded_pairs[0].0, "#key");
    assert_eq!(encoded_pairs[0].1, "%val%");

    // 3. parse replaces plus signs with space characters
    let space_pairs: Vec<(Cow<'_, str>, Cow<'_, str>)> = parse(b"message=hello+world").collect();
    assert_eq!(space_pairs.len(), 1);
    assert_eq!(space_pairs[0].0, "message");
    assert_eq!(space_pairs[0].1, "hello world");

    // 4. parse treats keys without an equals sign as having an empty value
    let flag_pairs: Vec<(Cow<'_, str>, Cow<'_, str>)> = parse(b"flag&key=value&empty=").collect();
    assert_eq!(flag_pairs.len(), 3);
    assert_eq!(flag_pairs[0].0, "flag");
    assert_eq!(flag_pairs[0].1, "");
    assert_eq!(flag_pairs[1].0, "key");
    assert_eq!(flag_pairs[1].1, "value");
    assert_eq!(flag_pairs[2].0, "empty");
    assert_eq!(flag_pairs[2].1, "");

    // 5. parse ignores empty segments caused by consecutive ampersands or leading/trailing ampersands
    let empty_segment_pairs: Vec<(Cow<'_, str>, Cow<'_, str>)> = parse(b"&&key=val&&").collect();
    assert_eq!(empty_segment_pairs.len(), 1);
    assert_eq!(empty_segment_pairs[0].0, "key");
    assert_eq!(empty_segment_pairs[0].1, "val");

    println!("All form_urlencoded::parse contract assertions passed successfully.");
}