1 package Moose::Meta::Method::Accessor::Native::Writer;
6 use List::MoreUtils qw( any );
9 $VERSION = eval $VERSION;
10 our $AUTHORITY = 'cpan:STEVAN';
14 with 'Moose::Meta::Method::Accessor::Native';
16 requires '_potential_value';
18 sub _generate_method {
22 my $slot_access = $self->_inline_get($inv);
26 $self->_inline_pre_body(@_),
27 'my ' . $inv . ' = shift;',
28 $self->_inline_curried_arguments,
29 $self->_writer_core($inv, $slot_access),
30 $self->_inline_post_body(@_),
37 my ($inv, $slot_access) = @_;
39 my $potential = $self->_potential_value($slot_access);
44 $self->_inline_check_argument_count,
45 $self->_inline_process_arguments($inv, $slot_access),
46 $self->_inline_check_arguments('for writer'),
47 $self->_inline_check_lazy($inv),
50 if ($self->_return_value($slot_access)) {
51 # some writers will save the return value in this variable when they
52 # generate the potential value.
53 push @code, 'my @return;'
57 $self->_inline_coerce_new_values,
58 $self->_inline_copy_native_value(\$potential),
59 $self->_inline_tc_code($potential),
60 $self->_inline_get_old_value_for_trigger($inv, $old),
61 $self->_inline_capture_return_value($slot_access),
62 $self->_inline_set_new_value($inv, $potential, $slot_access),
63 $self->_inline_trigger($inv, $slot_access, $old),
64 $self->_inline_return_value($slot_access, 'for writer'),
70 sub _inline_process_arguments { return }
72 sub _inline_check_arguments { return }
74 sub _inline_coerce_new_values { return }
76 sub _value_needs_copy {
79 return $self->_constraint_must_be_checked;
82 sub _constraint_must_be_checked {
85 my $attr = $self->associated_attribute;
87 return $attr->has_type_constraint
88 && ( !$self->_is_root_type( $attr->type_constraint )
89 || ( $attr->should_coerce && $attr->type_constraint->has_coercion ) );
96 my $name = $type->name;
98 return any { $name eq $_ } @{ $self->root_types };
101 sub _inline_copy_native_value {
103 my ($potential_ref) = @_;
105 return unless $self->_value_needs_copy;
107 my $code = 'my $potential = ' . ${$potential_ref} . ';';
109 ${$potential_ref} = '$potential';
114 around _inline_tc_code => sub {
117 my ($value, $for_lazy) = @_;
119 return unless $for_lazy || $self->_constraint_must_be_checked;
121 return $self->$orig(@_);
124 sub _inline_check_coercion {
128 my $attr = $self->associated_attribute;
129 return unless $attr->should_coerce && $attr->type_constraint->has_coercion;
131 # We want to break the aliasing in @_ in case the coercion tries to make a
132 # destructive change to an array member.
133 return ($value . ' = $type_constraint_obj->coerce(' . $value . ');');
136 around _inline_check_constraint => sub {
139 my ($value, $for_lazy) = @_;
141 return unless $for_lazy || $self->_constraint_must_be_checked;
143 return $self->$orig(@_);
146 sub _inline_capture_return_value { return }
151 return $self->_inline_store(@_)
152 if $self->_value_needs_copy
153 || !$self->_slot_access_can_be_inlined
154 || !$self->_inline_get_is_lvalue;
156 return $self->_optimized_set_new_value(@_);
159 sub _inline_set_new_value {
161 return $self->_set_new_value(@_) . ';';
164 sub _inline_get_is_lvalue {
167 return $self->associated_attribute->associated_class->instance_metaclass->inline_get_is_lvalue;
170 sub _optimized_set_new_value {
173 return $self->_inline_store(@_);
178 my ($slot_access) = @_;