|
protected assertTypeMatchesValue ( Pinq\Analysis\ITypeAnalysis $analysis, |
||
| $analysis | Pinq\Analysis\ITypeAnalysis | |
| $expression | ||
| $metadataType | Pinq\Analysis\IType | |
protected function assertTypeMatchesValue(ITypeAnalysis $analysis, O\Expression $expression, IType $metadataType = null)
{
$type = $this->typeSystem->getTypeFromValue($expression->evaluate(O\EvaluationContext::staticContext(__NAMESPACE__, __CLASS__)));
$this->assertEqualTypes($type, $analysis->getReturnTypeOf($expression));
if ($metadataType !== null) {
$this->assertEqualTypes($metadataType, $type, $expression->compileDebug());
}
}