Struct SpatialContract 

pub struct SpatialContract {
    pub entry: String,
    pub spaces: BTreeMap<String, ContractSpace>,
    pub no_body: BTreeMap<String, ContractNoBody>,
    pub edges: Vec<ContractEdge>,
    pub faces: Vec<ContractFace>,
    pub no_body_majority_ack: Option<String>,
}

A piece’s declared spaces, out-of-walk regions and edges, already resolved: every box is a local cell range of these exact bytes.

Resolved rather than parametric on purpose. A grammar program’s declarations are scope-bound and mean different boxes at different parameters, so the only contract that can describe this .nbt is the one its own expansion produced. That is also what lets a hand-built piece carry the same block: it has no parameters to resolve, so the two routes write the same shape and one reader serves both.

Fields

entry: String

The space a body enters at.

spaces: BTreeMap<String, ContractSpace>

Named spaces.

no_body: BTreeMap<String, ContractNoBody>

Named standable-but-out-of-walk regions.

edges: Vec<ContractEdge>

The graph, in declaration order.

faces: Vec<ContractFace>

The piece’s face contract: every exterior edge, as the side of the piece it is on and the opening it leaves there.

Derived from the edges and the blocks at export time and written out, so that assembly can ask whether two pieces fit without opening either .nbt. It is the thing an exterior edge IS from the outside: an edge with no cells is a claim nothing can mate with, and one whose opening does not answer its neighbour’s is two pieces that were each approved alone and do not assemble.

no_body_majority_ack: Option<String>

The author’s acknowledgement that this piece is mostly out-of-walk.

Trait Implementations

impl Clone for SpatialContract

fn clone(&self) -> SpatialContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpatialContract

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SpatialContract

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for SpatialContract

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.

impl PartialEq for SpatialContract

fn eq(&self, other: &SpatialContract) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for SpatialContract

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SpatialContract