1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
package Specio::Constraint::ObjectDoes;
use strict;
use warnings;
our $VERSION = '0.52';
use Role::Tiny::With;
use Scalar::Util ();
use Specio::Helpers qw( perlstring );
use Specio::Library::Builtins;
use Specio::OO;
use Specio::Constraint::Role::DoesType;
with 'Specio::Constraint::Role::DoesType';
{
my $Object = t('Object');
sub _build_parent {$Object}
}
{
my $_inline_generator = sub {
my $self = shift;
my $val = shift;
return sprintf( <<'EOF', ($val) x 3, perlstring( $self->role ) );
( Scalar::Util::blessed(%s) && %s->can('does') && %s->does(%s) )
EOF
};
sub _build_inline_generator {$_inline_generator}
}
## no critic (Subroutines::ProhibitUnusedPrivateSubroutines)
sub _allow_classes {0}
## use critic
__PACKAGE__->_ooify;
1;
# ABSTRACT: A class for constraints which require an object that does a specific role
__END__
=pod
=encoding UTF-8
=head1 NAME
Specio::Constraint::ObjectDoes - A class for constraints which require an object that does a specific role
=head1 VERSION
version 0.52
=head1 SYNOPSIS
my $type = Specio::Constraint::ObjectDoes->new(...);
print $type->role;
=head1 DESCRIPTION
This is a specialized type constraint class for types which require an object
that does a specific role.
=head1 API
This class provides all of the same methods as L<Specio::Constraint::Simple>,
with a few differences:
=head2 Specio::Constraint::ObjectDoes->new( ... )
The C<parent> parameter is ignored if it passed, as it is always set to the
C<Defined> type.
The C<inline_generator> and C<constraint> parameters are also ignored. This
class provides its own default inline generator subroutine reference.
This class overrides the C<message_generator> default if none is provided.
Finally, this class requires an additional parameter, C<role>. This must be a
single role name.
=head2 $object_isa->role
Returns the role name passed to the constructor.
=head1 ROLES
This class does the L<Specio::Constraint::Role::DoesType>,
L<Specio::Constraint::Role::Interface>, and L<Specio::Role::Inlinable> roles.
=head1 SUPPORT
Bugs may be submitted at L<https://github.com/houseabsolute/Specio/issues>.
=head1 SOURCE
The source code repository for Specio can be found at L<https://github.com/houseabsolute/Specio>.
=head1 AUTHOR
Dave Rolsky <autarch@urth.org>
=head1 COPYRIGHT AND LICENSE
This software is Copyright (c) 2012 - 2025 by Dave Rolsky.
This is free software, licensed under:
The Artistic License 2.0 (GPL Compatible)
The full text of the license can be found in the
F<LICENSE> file included with this distribution.
=cut
|
