Method LookupTypeProp

IDEHelper/Compiler/BfExprEvaluator.cpp:12283–12616

}

bool BfExprEvaluator::LookupTypeProp(BfTypeOfExpression* typeOfExpr, BfIdentifierNode* propName)
{
	auto typeType = mModule->ResolveTypeDef(mModule->mCompiler->mTypeTypeDef);

	BfType* type;
	//
	{
		// We ignore errors because we go through the normal Visit(BfTypeOfExpression) if this fails, which will throw the error again
		SetAndRestoreValue<bool> prevIgnoreErrors(mModule->mIgnoreErrors, true);
		if (auto genericTypeRef = BfNodeDynCast<BfGenericInstanceTypeRef>(typeOfExpr->mTypeRef))
		{
			SetAndRestoreValue<bool> prevIgnoreErrors(mModule->mIgnoreErrors, true);
			type = mModule->ResolveTypeRefAllowUnboundGenerics(typeOfExpr->mTypeRef, BfPopulateType_Identity);
		}
		else
		{
			type = ResolveTypeRef(typeOfExpr->mTypeRef, BfPopulateType_Identity, BfResolveTypeRefFlag_IgnoreLookupError);
		}
	}

	if (type == NULL)
	{
		mResult = mModule->GetDefaultTypedValue(mModule->ResolveTypeDef(mModule->mCompiler->mTypeTypeDef));
		return false;
	}

	bool success = true;

	defer(
		{
			if (success)
				mModule->AddDependency(type, mModule->mCurTypeInstance, BfDependencyMap::DependencyFlag_TypeSignature);
		});

	// We want to try to avoid triggering OnTypeInit for basic info
	mModule->PopulateType(type, BfPopulateType_Interfaces_Direct);
	auto typeInstance = type->ToTypeInstance();

	auto _BoolResult = [&](bool val)
	{
		mResult = BfTypedValue(mModule->mBfIRBuilder->CreateConst(BfTypeCode_Boolean, val ? 1 : 0), mModule->GetPrimitiveType(BfTypeCode_Boolean));
	};

	auto _Int32Result = [&](int32 val)
	{
		mResult = BfTypedValue(mModule->GetConstValue32(val), mModule->GetPrimitiveType(BfTypeCode_Int32));
	};

	String memberName;
	propName->ToString(memberName);

	bool handled = true;
	if (memberName == "IsTypedPrimitive")
		_BoolResult(type->IsPrimitiveType());
	else if (memberName == "IsObject")
		_BoolResult(type->IsObject());
	else if (memberName == "IsValueType")
		_BoolResult(type->IsValueType());