Struct AddPart 

pub struct AddPart;

Places the part the program in another file builds, named by the step’s id: its elements are then the part’s, behind that name (see MateEntity).

The part goes where the program’s state <id>.pose puts it, and the step adds its mates. It solves nothing: where every placed part is, so that every mate of the program holds, is the program’s state, which the editor solves for (see crate::mechanism). So every step sees each placed part where it ends up, however late the mates that put it there are.

Mates that cannot hold do not fail the step — the parts are left as near to holding them as they get, as a sketch whose constraints conflict is — and the step’s editor says which.

The parts placed in the part placed are this program’s to move too: their poses are its state, behind the step’s id, which the part placed is run with — starting where its own program has them — and their mates come up with its constraints, to hold them here as they held them there (see [geop_core_program::instance]).

A Mate::fixed_here among its mates, given no entity, holds the part this step places.

Trait Implementations

impl Clone for AddPart

fn clone(&self) -> AddPart

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AddPart

impl Debug for AddPart

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

Formats the value using the given formatter.

impl Default for AddPart

fn default() -> AddPart

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for AddPart

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Editable for AddPart

const INFO: OperationInfo = <AddPart as ::geop_core_editor::part_operation::PartOperation>::INFO

type EditingState = FormState<<AddPart as PartOperation>::Session>

What the editor keeps about a step while it is edited, beyond its arguments, starting from the default whenever a step is opened.

fn new_args(context: &Context<'_>) -> Self::Args

The arguments of a new step: sensible defaults, taking the part it is inserted into into account.

fn presentation( context: &Context<'_>, args: &Self::Args, editing: &Self::EditingState, ) -> Form

What the editor shows while the step is edited. Never fails: an editor needs the form most exactly when the arguments do not build, so whatever is wrong is said in it.

fn process_user_event( context: &Context<'_>, args: &Self::Args, editing: &Self::EditingState, event: Event, ) -> (Self::Args, Self::EditingState)

The step’s arguments and editing state after event.

impl Operation for AddPart

const KIND: &'static str = <AddPart as ::geop_core_editor::part_operation::PartOperation>::KIND

The name programs store its steps under.

type Args = <AddPart as PartOperation>::Args

What a step of the operation is given. It is saved with the program, so it names targets and elements, never holds their internal ids.

fn run(ctx: &mut StepContext<'_>, args: &Self::Args) -> __GeopResult<()>

Declares what the step produces, through ctx (see StepContext::produce): cheap, since it runs in every run. What takes work is done in the makes, which run only when what they read changed.

impl PartOperation for AddPart

fn new_args(context: &Context<'_>) -> AddPartArgs

No file yet; the first part placed is fixed, the ones after it are not — something has to stay put for the others to mate to — until a joint or a constraint is chosen for it, which then holds it (see crate::editor).

fn begin_event(session: &mut PartSession)

Pulls released at the event before are let go of.

fn run(ctx: &mut StepContext<'_>, args: &AddPartArgs) -> GeopResult<()>

Places the part, then defines each mate: resolved, and as constraints on the state; and lets a solve move the part, as far as its mates let it. A mate that cannot be resolved fails the step, after the others are defined. The placed part’s own mates come up with its constraints (see geop_lib_constraints::Constraints::of).

fn form<'a>( context: &'a Context<'a>, args: &AddPartArgs, editing: &PartEditing, ) -> EditForm<'a, AddPartArgs, PartSession>

The file, where it goes, and its mates: see crate::editor.

fn canvas( context: &Context<'_>, edit: Edit<'_, AddPartArgs, PartSession>, event: &CanvasEvent, )

The part dragged; Delete removes the mate selected, Escape stops editing it: see crate::editor.

const KIND: &'static str = "add_part"

The name programs store its steps under.

const INFO: OperationInfo

type Args = AddPartArgs

What a step is given. It is saved with the program, so it names targets and elements, never holds their internal ids.

type Session = PartSession

What the editor keeps while a step is edited besides its arguments and the visuals selected: () for most.

impl PartialEq for AddPart

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AddPart

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 AddPart