Struct Rectangle 

pub struct Rectangle(pub Arc<Rectangle>);

Elicitation-enabled wrapper around bevy::math::primitives::Rectangle.

This newtype uses Arc internally to ensure Clone is always available, providing transparent access via Deref and DerefMut.

Tuple Fields

0: Arc<Rectangle>

Implementations

impl Rectangle

pub fn rectangle_half_size_x(&self) -> f32

Half-width.

pub fn rectangle_half_size_y(&self) -> f32

Half-height.

pub fn rectangle_new(&self, half_width: f32, half_height: f32) -> Rectangle

Constructs with half-width and half-height (ignores self).

impl Rectangle

pub fn rectangle_half_size_x_tool_tool_attr() -> Tool

Generated tool metadata function for rectangle_half_size_x_tool

pub fn rectangle_half_size_x_tool(&self) -> Result<Json<f32>, ErrorData>

rectangle_half_size_x MCP tool wrapper method.

pub fn rectangle_half_size_y_tool_tool_attr() -> Tool

Generated tool metadata function for rectangle_half_size_y_tool

pub fn rectangle_half_size_y_tool(&self) -> Result<Json<f32>, ErrorData>

rectangle_half_size_y MCP tool wrapper method.

pub fn rectangle_new_tool_tool_attr() -> Tool

Generated tool metadata function for rectangle_new_tool

pub fn rectangle_new_tool( &self, params: Parameters<RectangleNewParams>, ) -> Result<Json<Rectangle>, ErrorData>

rectangle_new MCP tool wrapper method.

Methods from Deref<Target = Rectangle>

pub fn size(&self) -> Vec2

Get the size of the rectangle

pub fn closest_point(&self, point: Vec2) -> Vec2

Finds the point on the rectangle that is closest to the given point.

If the point is outside the rectangle, the returned point will be on the perimeter of the rectangle. Otherwise, it will be inside the rectangle and returned as is.

Trait Implementations

impl AsRef<Rectangle> for Rectangle

fn as_ref(&self) -> &Rectangle

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for Rectangle

fn clone(&self) -> Rectangle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rectangle

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

Formats the value using the given formatter.

impl Deref for Rectangle

type Target = Rectangle

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for Rectangle

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<'de> Deserialize<'de> for Rectangle

fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl ElicitComplete for Rectangle

fn validate_proofs_non_empty() -> bool

Runtime check: all three proof methods return non-empty TokenStreams.

fn kani_proof_contains<Inner>() -> bool

where Inner: Elicitation,

Runtime check: does this type’s Kani proof contain Inner’s Kani proof?

fn verus_proof_contains<Inner>() -> bool

where Inner: Elicitation,

Runtime check: does this type’s Verus proof contain Inner’s Verus proof?

fn creusot_proof_contains<Inner>() -> bool

where Inner: Elicitation,

Runtime check: does this type’s Creusot proof contain Inner’s Creusot proof?

impl ElicitIntrospect for Rectangle

fn pattern() -> ElicitationPattern

What elicitation pattern does this type use?

fn metadata() -> TypeMetadata

Get the complete structural metadata for this type.

impl ElicitPromptTree for Rectangle

fn prompt_tree() -> PromptTree

Return the static prompt tree for this type.

fn assembled_prompts() -> Vec<AssembledPrompt>

Return the complete assembled prompts in elicitation order.

impl ElicitSpec for Rectangle

fn type_spec() -> TypeSpec

Returns the complete spec for this type.

impl Elicitation for Rectangle

type Style = ()

The style enum for this type.

async fn elicit<C: ElicitCommunicator>(_communicator: &C) -> ElicitResult<Self>

Elicit a value of this type from the user via style-aware client.

fn kani_proof() -> TokenStream

Generate a Kani symbolic execution proof harness for this type.

fn verus_proof() -> TokenStream

Returns a proc_macro2::TokenStream containing a Verus-verified function with requires/ensures specifications for this type’s invariants.

fn creusot_proof() -> TokenStream

Returns a proc_macro2::TokenStream containing Creusot contract functions with #[requires]/#[ensures]/#[trusted] attributes for this type’s invariants.

fn elicit_checked( peer: Peer<RoleServer>, ) -> impl Future<Output = Result<Self, ElicitError>> + Send

Server-side elicitation via MCP peer.

fn with_style(style: Self::Style) -> ElicitBuilder<Self>

Create a builder for one-off style override.

fn elicit_proven<C>( communicator: &C, ) -> impl Future<Output = Result<(Self, Established<Is<Self>>), ElicitError>> + Send

where C: ElicitCommunicator,

Elicit a value with proof it inhabits type Self.

fn prusti_proof() -> TokenStream

Returns a proc_macro2::TokenStream containing Prusti contract functions with #[requires]/#[ensures] attributes for this type’s invariants.

impl Eq for Rectangle

impl From<Arc<Rectangle>> for Rectangle

fn from(arc: Arc<Rectangle>) -> Self

Converts to this type from the input type.

impl From<Rectangle> for Arc<Rectangle>

fn from(wrapper: Rectangle) -> Self

Converts to this type from the input type.

impl From<Rectangle> for Rectangle

fn from(inner: Rectangle) -> Self

Converts to this type from the input type.

impl From<Rectangle> for Rectangle

fn from(v: Rectangle) -> Self

Converts to this type from the input type.

impl JsonSchema for Rectangle

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

The name of the generated JSON Schema.

fn json_schema(_gen: &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.

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

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

impl PartialEq for Rectangle

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Prompt for Rectangle

fn prompt() -> Option<&'static str>

Optional prompt to guide user interaction.

impl Serialize for Rectangle

fn serialize<S: Serializer>(&self, s: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl ToCodeLiteral for Rectangle

fn to_code_literal(&self) -> TokenStream

Return a TokenStream containing a single Rust expression whose evaluation produces a value equal to self.

fn type_tokens() -> TokenStream

where Self: Sized,

Token stream for the concrete type name (used to annotate None::<T>).