Branch Coverage

blib/lib/Devel/TypeCheck/Type/Eta.pm
Criterion Covered Total %
branch 0 22 0.0


line true false branch
32 0 0 if ($kappa->type != Devel::TypeCheck::Type::M() and $kappa->subtype->type != Devel::TypeCheck::Type::K())
37 0 0 if (defined $omicron and $omicron->type != Devel::TypeCheck::Type::M() and $omicron->subtype->type != Devel::TypeCheck::Type::O())
42 0 0 if (defined $chi and $chi->type != Devel::TypeCheck::Type::M() and $chi->subtype->type != Devel::TypeCheck::Type::X())
47 0 0 if (defined $zeta and $zeta->type != Devel::TypeCheck::Type::M() and $zeta->subtype->type != Devel::TypeCheck::Type::Z())
76 0 0 if ($this->_getGeneric($i))
83 0 0 if ($#str >= 0) { }
123 0 0 if (exists $$this{$value}) { }
181 0 0 if ($this->type == $that->type)
182 0 0 if ($env->unify($this->derefKappa, $that->derefKappa) and $env->unify($this->derefOmicron, $that->derefOmicron) and $env->unify($this->derefChi, $that->derefChi))
197 0 0 if ($this->_getGeneric('IO'))
203 0 0 if ($#str >= 0) { }