| line |
true |
false |
branch |
|
69
|
0 |
0 |
if (defined $type) { } |
|
85
|
0 |
0 |
unless (defined $env) |
|
89
|
0 |
0 |
if ($this->homogeneous) { } |
|
92
|
0 |
0 |
if $index < 0 |
|
94
|
0 |
0 |
unless (exists $this->ary->[$index]) |
|
113
|
0 |
0 |
if ($this->homogeneous) { } |
|
128
|
0 |
0 |
if ($this->homogeneous) { } |
|
147
|
0 |
0 |
if ($this->homogeneous) { } |
|
172
|
0 |
0 |
unless (defined $env) |
|
176
|
0 |
0 |
unless ($this->homogeneous) |
|
180
|
0 |
0 |
if ($that->homogeneous) |
|
185
|
0 |
0 |
unless (defined $env->unify($that->derefIndex($i, $env), $this->derefHomogeneous)) |
|
198
|
0 |
0 |
unless (defined $env) |
|
202
|
0 |
0 |
if ($this->homogeneous or $that->homogeneous) |
|
209
|
0 |
0 |
if ($#{$that->ary;} > $#{$this->ary;}) |
|
215
|
0 |
0 |
unless (defined $env->unify($max->derefIndex($i, $env), $min->derefIndex($i, $env))) |
|
231
|
0 |
0 |
if ($this->type == $that->type) { } |
|
232
|
0 |
0 |
if ($this->homogeneous) { } |
|
233
|
0 |
0 |
if ($that->homogeneous) { } |
|
234
|
0 |
0 |
if ($env->unify($this->derefHomogeneous, $that->derefHomogeneous)) { } |
|
243
|
0 |
0 |
if ($that->homogeneous) { } |
|
262
|
0 |
0 |
if ($that->type != Devel::TypeCheck::Type::VAR()) |
|
266
|
0 |
0 |
if ($this->homogeneous) { } |
|
271
|
0 |
0 |
if $occurs |
|
281
|
0 |
0 |
if ($this->homogeneous) { } |
|
299
|
0 |
0 |
if ($that->isa('Devel::TypeCheck::Type::Var')) |
|
303
|
0 |
0 |
if ($that->is(Devel::TypeCheck::Type::VAR())) |
|
305
|
0 |
0 |
unless defined $that |
|
309
|
0 |
0 |
if ($this->homogeneous) { } |
|
310
|
0 |
0 |
if ($that->is(Devel::TypeCheck::Type::O())) { } |
|
|
0 |
0 |
elsif ($that->is(Devel::TypeCheck::Type::X())) { } |
|
|
0 |
0 |
elsif ($that->is(Devel::TypeCheck::Type::K()) or $that->is(Devel::TypeCheck::Type::Z())) { } |
|
314
|
0 |
0 |
if ($list) { } |
|
326
|
0 |
0 |
if ($that->is(Devel::TypeCheck::Type::O())) { } |
|
|
0 |
0 |
elsif ($that->is(Devel::TypeCheck::Type::X())) { } |
|
|
0 |
0 |
elsif ($that->is(Devel::TypeCheck::Type::K()) or $that->is(Devel::TypeCheck::Type::Z())) { } |
|
327
|
0 |
0 |
if ($that->homogeneous) { } |
|
332
|
0 |
0 |
if ($tl) { } |
|
340
|
0 |
0 |
if ($list) { } |
|
359
|
0 |
0 |
if ($this->homogeneous) { } |