use Carp 'confess';
-our $VERSION = '0.09';
+our $VERSION = '0.55_02';
+$VERSION = eval $VERSION;
our $AUTHORITY = 'cpan:STEVAN';
use base 'Moose::Meta::Method',
## Inline method generators
+sub _eval_code {
+ my ( $self, $code ) = @_;
+
+ # NOTE:
+ # set up the environment
+ my $attr = $self->associated_attribute;
+ my $attr_name = $attr->name;
+
+ my $type_constraint_obj = $attr->type_constraint;
+ my $type_constraint_name = $type_constraint_obj && $type_constraint_obj->name;
+ my $type_constraint = $type_constraint_obj
+ ? $type_constraint_obj->_compiled_type_constraint
+ : undef;
+
+ #warn "code for $attr_name =>\n" . $code . "\n";
+ my $sub = eval $code;
+ confess "Could not create writer for '$attr_name' because $@ \n code: $code" if $@;
+ return $sub;
+
+}
+
sub generate_accessor_method_inline {
my $self = $_[0];
my $attr = $self->associated_attribute;
my $slot_access = $self->_inline_access($inv, $attr_name);
my $value_name = $self->_value_needs_copy ? '$val' : '$_[1]';
- my $code = 'sub { ' . "\n"
+ $self->_eval_code('sub { ' . "\n"
. $self->_inline_pre_body(@_) . "\n"
. 'if (scalar(@_) >= 2) {' . "\n"
. $self->_inline_copy_value . "\n"
. $self->_inline_check_lazy . "\n"
. $self->_inline_post_body(@_) . "\n"
. 'return ' . $self->_inline_auto_deref($self->_inline_get($inv)) . "\n"
- . ' }';
-
- # NOTE:
- # set up the environment
- my $type_constraint = $attr->type_constraint
- ? $attr->type_constraint->_compiled_type_constraint
- : undef;
-
- #warn $code;
- my $sub = eval $code;
- confess "Could not create accessor for '$attr_name' because $@ \n code: $code" if $@;
- return $sub;
+ . ' }');
}
sub generate_writer_method_inline {
my $slot_access = $self->_inline_get($inv, $attr_name);
my $value_name = $self->_value_needs_copy ? '$val' : '$_[1]';
- my $code = 'sub { '
+ $self->_eval_code('sub { '
. $self->_inline_pre_body(@_)
. $self->_inline_copy_value
. $self->_inline_check_required
. $self->_inline_store($inv, $value_name)
. $self->_inline_post_body(@_)
. $self->_inline_trigger($inv, $value_name)
- . ' }';
-
- # NOTE:
- # set up the environment
- my $type_constraint = $attr->type_constraint
- ? $attr->type_constraint->_compiled_type_constraint
- : undef;
-
- my $sub = eval $code;
- confess "Could not create writer for '$attr_name' because $@ \n code: $code" if $@;
- return $sub;
+ . ' }');
}
sub generate_reader_method_inline {
my $inv = '$_[0]';
my $slot_access = $self->_inline_get($inv, $attr_name);
- my $code = 'sub {'
+ $self->_eval_code('sub {'
. $self->_inline_pre_body(@_)
. 'confess "Cannot assign a value to a read-only accessor" if @_ > 1;'
. $self->_inline_check_lazy
. $self->_inline_post_body(@_)
. 'return ' . $self->_inline_auto_deref( $slot_access ) . ';'
- . '}';
-
- # NOTE:
- # set up the environment
- my $type_constraint = $attr->type_constraint
- ? $attr->type_constraint->_compiled_type_constraint
- : undef;
-
-
- my $sub = eval $code;
- confess "Could not create reader for '$attr_name' because $@ \n code: $code" if $@;
- return $sub;
+ . '}');
}
sub _inline_copy_value {
my ($self, $value) = @_;
my $attr = $self->associated_attribute;
+ my $attr_name = $attr->name;
return '' unless $attr->has_type_constraint;
+ my $type_constraint_name = $attr->type_constraint->name;
+
# FIXME
# This sprintf is insanely annoying, we should
# fix it someday - SL
- return sprintf <<'EOF', $value, $value, $value, $value, $value, $value, $value
-defined($type_constraint->(%s))
- || confess "Attribute (" . $attr->name . ") does not pass the type constraint ("
- . $attr->type_constraint->name . ") with "
- . (defined(%s) ? (Scalar::Util::blessed(%s) && overload::Overloaded(%s) ? overload::StrVal(%s) : %s) : "undef")
- if defined(%s);
+ return sprintf <<'EOF', $value, $attr_name, $value, $value,
+$type_constraint->(%s)
+ || confess "Attribute (%s) does not pass the type constraint because: "
+ . $type_constraint_obj->get_message(%s);
EOF
}
sub _inline_check_required {
my $attr = (shift)->associated_attribute;
+
+ my $attr_name = $attr->name;
return '' unless $attr->is_required;
- return 'defined($_[1]) || confess "Attribute ($attr_name) is required, so cannot be set to undef";'
+ return qq{(\@_ >= 2) || confess "Attribute ($attr_name) is required, so cannot be set to undef";} # defined $_[1] is not good enough
}
sub _inline_check_lazy {
' confess(Scalar::Util::blessed('.$inv.')." does not support builder method '.
'\'".$attr->builder."\' for attribute \'" . $attr->name . "\'");'. "\n }";
}
- $code .= ' $default = $attr->type_constraint->coerce($default);'."\n" if $attr->should_coerce;
- $code .= ' (defined($type_constraint->($default)))' .
- ' || confess "Attribute (" . $attr->name . ") does not pass the type constraint ("' .
- ' . $attr->type_constraint->name . ") with " . (defined($default) ? (Scalar::Util::blessed($default) && overload::Overloaded($default) ? overload::StrVal($default) : $default) : "undef")' .
- ' if defined($default);' . "\n" .
- ' ' . $slot_access . ' = $default; ' . "\n";
+ $code .= ' $default = $type_constraint_obj->coerce($default);'."\n" if $attr->should_coerce;
+ $code .= ' ($type_constraint->($default))' .
+ ' || confess "Attribute (" . $attr_name . ") does not pass the type constraint ("' .
+ ' . $type_constraint_name . ") with " . (defined($default) ? overload::StrVal($default) : "undef");'
+ . "\n";
+ $code .= ' ' . $self->_inline_init_slot($attr, $inv, $slot_access, '$default') . "\n";
}
else {
- $code .= ' ' . $slot_access . " = undef; \n";
+ $code .= ' ' . $self->_inline_init_slot($attr, $inv, $slot_access, 'undef') . "\n";
}
} else {
if ($attr->has_default) {
- $code .= ' '.$slot_access.' = $attr->default(' . $inv . ');'."\n";
+ $code .= ' ' . $self->_inline_init_slot($attr, $inv, $slot_access, ('$attr->default(' . $inv . ')')) . "\n";
}
elsif ($attr->has_builder) {
- $code .= ' if(my $builder = '.$inv.'->can($attr->builder)){ '."\n".
- ' '.$slot_access.' = '.$inv.'->$builder; '. "\n } else {\n" .
+ $code .= ' if (my $builder = '.$inv.'->can($attr->builder)) { ' . "\n"
+ . ' ' . $self->_inline_init_slot($attr, $inv, $slot_access, ($inv . '->$builder'))
+ . "\n } else {\n" .
' confess(Scalar::Util::blessed('.$inv.')." does not support builder method '.
'\'".$attr->builder."\' for attribute \'" . $attr->name . "\'");'. "\n }";
}
else {
- $code .= ' ' . $slot_access . " = undef; \n";
+ $code .= ' ' . $self->_inline_init_slot($attr, $inv, $slot_access, 'undef') . "\n";
}
}
$code .= "}\n";
return $code;
}
+sub _inline_init_slot {
+ my ($self, $attr, $inv, $slot_access, $value) = @_;
+ if ($attr->has_initializer) {
+ return ('$attr->set_initial_value(' . $inv . ', ' . $value . ');');
+ }
+ else {
+ return ($slot_access . ' = ' . $value . ';');
+ }
+}
sub _inline_store {
my ($self, $instance, $value) = @_;