Perl_op_sibling_splice(0 remove dead code
[perl.git] / t / op / universal.t
1 #!./perl
2 #
3 # check UNIVERSAL
4 #
5
6 BEGIN {
7     chdir 't' if -d 't';
8     require './test.pl';
9     set_up_inc(qw '../lib ../dist/base/lib');
10     $| = 1;
11     require "./test.pl";
12 }
13
14 plan tests => 143;
15
16 $a = {};
17 bless $a, "Bob";
18 ok $a->isa("Bob");
19
20 package Human;
21 sub eat {}
22
23 package Female;
24 @ISA=qw(Human);
25
26 package Alice;
27 @ISA=qw(Bob Female);
28 sub sing;
29 sub drink { return "drinking " . $_[1]  }
30 sub new { bless {} }
31
32 $Alice::VERSION = 2.718;
33
34 {
35     package Cedric;
36     our @ISA;
37     use base qw(Human);
38 }
39
40 {
41     package Programmer;
42     our $VERSION = 1.667;
43
44     sub write_perl { 1 }
45 }
46
47 package main;
48
49
50
51 $a = new Alice;
52
53 ok $a->isa("Alice");
54 ok $a->isa("main::Alice");    # check that alternate class names work
55
56 ok(("main::Alice"->new)->isa("Alice"));
57
58 ok $a->isa("Bob");
59 ok $a->isa("main::Bob");
60
61 ok $a->isa("Female");
62
63 ok ! $a->isa("Female\0NOT REALLY!"), "->isa is nul-clean.";
64
65 ok $a->isa("Human");
66
67 ok ! $a->isa("Male");
68
69 ok ! $a->isa('Programmer');
70
71 ok $a->isa("HASH");
72
73 ok $a->can("eat");
74 ok ! $a->can("eat\0Except not!"), "->can is nul-clean.";
75 ok ! $a->can("sleep");
76 ok my $ref = $a->can("drink");        # returns a coderef
77 is $a->$ref("tea"), "drinking tea"; # ... which works
78 ok $ref = $a->can("sing");
79 eval { $a->$ref() };
80 ok $@;                                # ... but not if no actual subroutine
81
82 ok (!Cedric->isa('Programmer'));
83
84 ok (Cedric->isa('Human'));
85
86 push(@Cedric::ISA,'Programmer');
87
88 ok (Cedric->isa('Programmer'));
89
90 {
91     package Alice;
92     base::->import('Programmer');
93 }
94
95 ok $a->isa('Programmer');
96 ok $a->isa("Female");
97
98 @Cedric::ISA = qw(Bob);
99
100 ok (!Cedric->isa('Programmer'));
101
102 my $b = 'abc';
103 my @refs = qw(SCALAR SCALAR     LVALUE      GLOB ARRAY HASH CODE);
104 my @vals = (  \$b,   \3.14, \substr($b,1,1), \*b,  [],  {}, sub {} );
105 for ($p=0; $p < @refs; $p++) {
106     for ($q=0; $q < @vals; $q++) {
107         is UNIVERSAL::isa($vals[$p], $refs[$q]), ($p==$q or $p+$q==1);
108     };
109 };
110
111 ok UNIVERSAL::can(23, "can");
112 ++${"23::foo"};
113 ok UNIVERSAL::can("23", "can"), '"23" can can when the pack exists';
114 ok UNIVERSAL::can(23, "can"), '23 can can when the pack exists';
115 sub IO::Handle::turn {}
116 ok UNIVERSAL::can(*STDOUT, 'turn'), 'globs with IOs can';
117 ok UNIVERSAL::can(\*STDOUT, 'turn'), 'globrefs with IOs can';
118 ok UNIVERSAL::can("STDOUT", 'turn'), 'IO barewords can';
119
120 ok $a->can("VERSION");
121
122 ok $a->can("can");
123 ok ! $a->can("export_tags");    # a method in Exporter
124
125 cmp_ok eval { $a->VERSION }, '==', 2.718;
126
127 ok ! (eval { $a->VERSION(2.719) });
128 like $@, qr/^Alice version 2.719 required--this is only version 2.718 at /;
129
130 ok (eval { $a->VERSION(2.718) });
131 is $@, '';
132
133 ok ! (eval { $a->VERSION("version") });
134 like $@, qr/^Invalid version format/;
135
136 $aversion::VERSION = "version";
137 ok ! (eval { aversion->VERSION(2.719) });
138 like $@, qr/^Invalid version format/;
139
140 my $subs = join ' ', sort grep { defined &{"UNIVERSAL::$_"} } keys %UNIVERSAL::;
141 if ('a' lt 'A') {
142     is $subs, "can isa DOES VERSION";
143 } else {
144     is $subs, "DOES VERSION can isa";
145 }
146
147 ok $a->isa("UNIVERSAL");
148
149 ok ! UNIVERSAL::isa([], "UNIVERSAL");
150
151 ok ! UNIVERSAL::can({}, "can");
152
153 ok UNIVERSAL::isa(Alice => "UNIVERSAL");
154
155 cmp_ok UNIVERSAL::can(Alice => "can"), '==', \&UNIVERSAL::can;
156
157 # now use UNIVERSAL.pm and see what changes
158 eval "use UNIVERSAL";
159
160 ok $a->isa("UNIVERSAL");
161
162 my $sub2 = join ' ', sort grep { defined &{"UNIVERSAL::$_"} } keys %UNIVERSAL::;
163 # XXX import being here is really a bug
164 if ('a' lt 'A') {
165     is $sub2, "can import isa DOES VERSION";
166 } else {
167     is $sub2, "DOES VERSION can import isa";
168 }
169
170 eval 'sub UNIVERSAL::sleep {}';
171 ok $a->can("sleep");
172
173 ok UNIVERSAL::can($b, "can");
174
175 ok ! $a->can("export_tags");    # a method in Exporter
176
177 ok ! UNIVERSAL::isa("\xff\xff\xff\0", 'HASH');
178
179 {
180     # test isa() and can() on magic variables
181     "Human" =~ /(.*)/;
182     ok $1->isa("Human");
183     ok $1->can("eat");
184     package HumanTie;
185     sub TIESCALAR { bless {} }
186     sub FETCH { "Human" }
187     tie my($x), "HumanTie";
188     ::ok $x->isa("Human");
189     ::ok $x->can("eat");
190 }
191
192 # bugid 3284
193 # a second call to isa('UNIVERSAL') when @ISA is null failed due to caching
194
195 @X::ISA=();
196 my $x = {}; bless $x, 'X';
197 ok $x->isa('UNIVERSAL');
198 ok $x->isa('UNIVERSAL');
199
200
201 # Check that the "historical accident" of UNIVERSAL having an import()
202 # method doesn't effect anyone else.
203 eval { Some::Package->import("bar") };
204 is $@, '';
205
206
207 # This segfaulted in a blead.
208 fresh_perl_is('package Foo; Foo->VERSION;  print "ok"', 'ok');
209
210 # So did this.
211 fresh_perl_is('$:; UNIVERSAL::isa(":","Unicode::String");print "ok"','ok');
212
213 package Foo;
214
215 sub DOES { 1 }
216
217 package Bar;
218
219 @Bar::ISA = 'Foo';
220
221 package Baz;
222
223 package main;
224 ok( Foo->DOES( 'bar' ), 'DOES() should call DOES() on class' );
225 ok( Bar->DOES( 'Bar' ), '... and should fall back to isa()' );
226 ok( Bar->DOES( 'Foo' ), '... even when inherited' );
227 ok( Baz->DOES( 'Baz' ), '... even without inheriting any other DOES()' );
228 ok( ! Baz->DOES( 'Foo' ), '... returning true or false appropriately' );
229
230 ok( ! "T"->DOES( "T\0" ), 'DOES() is nul-clean' );
231 ok( ! Baz->DOES( "Baz\0Boy howdy" ), 'DOES() is nul-clean' );
232
233 package Pig;
234 package Bodine;
235 Bodine->isa('Pig');
236 *isa = \&UNIVERSAL::isa;
237 eval { isa({}, 'HASH') };
238 ::is($@, '', "*isa correctly found");
239
240 package main;
241 eval { UNIVERSAL::DOES([], "foo") };
242 like( $@, qr/Can't call method "DOES" on unblessed reference/,
243     'DOES call error message says DOES, not isa' );
244
245 # Tests for can seem to be split between here and method.t
246 # Add the verbatim perl code mentioned in the comments of
247 # http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/2001-05/msg01710.html
248 # but never actually tested.
249 is(UNIVERSAL->can("NoSuchPackage::foo"), undef);
250
251 @splatt::ISA = 'zlopp';
252 ok (splatt->isa('zlopp'));
253 ok (!splatt->isa('plop'));
254
255 # This should reset the ->isa lookup cache
256 @splatt::ISA = 'plop';
257 # And here is the new truth.
258 ok (!splatt->isa('zlopp'));
259 ok (splatt->isa('plop'));
260
261 use warnings "deprecated";
262 {
263     my $m;
264     local $SIG{__WARN__} = sub { $m = $_[0] };
265     eval "use UNIVERSAL 'can'";
266     like($@, qr/^UNIVERSAL does not export anything\b/,
267         "error for UNIVERSAL->import('can')");
268     is($m, undef,
269         "no deprecation warning for UNIVERSAL->import('can')");
270
271           undef $m;
272     eval "use UNIVERSAL";
273     is($@, "",
274         "no error for UNIVERSAL->import");
275     is($m, undef,
276         "no deprecation warning for UNIVERSAL->import");
277 }
278
279 # Test: [perl #66112]: change @ISA inside  sub isa
280 {
281     package RT66112::A;
282
283     package RT66112::B;
284
285     sub isa {
286         my $self = shift;
287         @ISA = qw/RT66112::A/;
288         return $self->SUPER::isa(@_);
289     }
290
291     package RT66112::C;
292
293     package RT66112::D;
294
295     sub isa {
296         my $self = shift;
297         @RT66112::E::ISA = qw/RT66112::A/;
298         return $self->SUPER::isa(@_);
299     }
300
301     package RT66112::E;
302
303     package main;
304
305     @RT66112::B::ISA = qw//;
306     @RT66112::C::ISA = qw/RT66112::B/;
307     @RT66112::T1::ISA = qw/RT66112::C/;
308     ok(RT66112::T1->isa('RT66112::C'), "modify \@ISA in isa (RT66112::T1 isa RT66112::C)");
309
310     @RT66112::B::ISA = qw//;
311     @RT66112::C::ISA = qw/RT66112::B/;
312     @RT66112::T2::ISA = qw/RT66112::C/;
313     ok(RT66112::T2->isa('RT66112::B'), "modify \@ISA in isa (RT66112::T2 isa RT66112::B)");
314
315     @RT66112::B::ISA = qw//;
316     @RT66112::C::ISA = qw/RT66112::B/;
317     @RT66112::T3::ISA = qw/RT66112::C/;
318     ok(RT66112::T3->isa('RT66112::A'), "modify \@ISA in isa (RT66112::T3 isa RT66112::A)") or require mro, diag "@{mro::get_linear_isa('RT66112::T3')}";
319
320     @RT66112::E::ISA = qw/RT66112::D/;
321     @RT66112::T4::ISA = qw/RT66112::E/;
322     ok(RT66112::T4->isa('RT66112::E'), "modify \@ISA in isa (RT66112::T4 isa RT66112::E)");
323
324     @RT66112::E::ISA = qw/RT66112::D/;
325     @RT66112::T5::ISA = qw/RT66112::E/;
326     ok(! RT66112::T5->isa('RT66112::D'), "modify \@ISA in isa (RT66112::T5 not isa RT66112::D)");
327
328     @RT66112::E::ISA = qw/RT66112::D/;
329     @RT66112::T6::ISA = qw/RT66112::E/;
330     ok(RT66112::T6->isa('RT66112::A'), "modify \@ISA in isa (RT66112::T6 isa RT66112::A)");
331 }
332
333 ok(Undeclared->can("can"));
334 sub Undeclared::foo { }
335 ok(Undeclared->can("foo"));
336 ok(!Undeclared->can("something_else"));
337
338 ok(Undeclared->isa("UNIVERSAL"));
339
340 # keep this at the end to avoid messing up earlier tests, since it modifies
341 # @UNIVERSAL::ISA
342 @UNIVERSAL::ISA = ('UniversalParent');
343 { package UniversalIsaTest1; }
344 ok(UniversalIsaTest1->isa('UniversalParent'));
345 ok(UniversalIsaTest2->isa('UniversalParent'));