Method Resolve

IDEHelper/Compiler/BfConstResolver.cpp:36–243

}

BfTypedValue BfConstResolver::Resolve(BfExpression* expr, BfType* wantType, BfConstResolveFlags flags)
{
	mBfEvalExprFlags = (BfEvalExprFlags)(mBfEvalExprFlags | BfEvalExprFlags_Comptime);

	// Handle the 'int[?] val = .(1, 2, 3)' case
	if ((flags & BfConstResolveFlag_ArrayInitSize) != 0)
	{
		if (auto uninitExpr = BfNodeDynCast<BfUninitializedExpression>(expr))
		{
			BfAstNode* initializer = NULL;
			int arraySize = -1;

			if (mModule->mContext->mCurTypeState != NULL)
			{
				if (mModule->mContext->mCurTypeState->mCurFieldDef != NULL)
					initializer = mModule->mContext->mCurTypeState->mCurFieldDef->GetInitializer();
				if (mModule->mContext->mCurTypeState->mCurVarInitializer != NULL)
					initializer = mModule->mContext->mCurTypeState->mCurVarInitializer;
				if (mModule->mContext->mCurTypeState->mArrayInitializerSize != -1)
					arraySize = mModule->mContext->mCurTypeState->mArrayInitializerSize;
			}

			if (initializer != NULL)
			{
				if (auto invocationExpr = BfNodeDynCast<BfInvocationExpression>(initializer))
				{
					if (auto memberRefExpr = BfNodeDynCast<BfMemberReferenceExpression>(invocationExpr->mTarget))
					{
						// Dot-initialized
						if (memberRefExpr->mTarget == NULL)
							arraySize = (int)invocationExpr->mArguments.size();
					}
					else if (auto indexerExpr = BfNodeDynCast<BfIndexerExpression>(invocationExpr->mTarget))
					{
						if (indexerExpr->mArguments.size() == 0)
						{
							// Inferred-type sized array initializer
							arraySize = (int)invocationExpr->mArguments.size();
						}
					}
				}
			}

			if (arraySize != -1)
			{
				mResult = BfTypedValue(mModule->GetConstValue(arraySize), mModule->GetPrimitiveType(BfTypeCode_IntPtr));
				return mResult;
			}
			else
			{
				mResult = BfTypedValue(mModule->mBfIRBuilder->GetUndefConstValue(mModule->mBfIRBuilder->GetPrimitiveType(BfTypeCode_IntPtr)), mModule->GetPrimitiveType(BfTypeCode_IntPtr));
				return mResult;
			}
		}
	}

	bool explicitCast = (flags & BfConstResolveFlag_ExplicitCast) != 0;
	bool noCast = (flags & BfConstResolveFlag_NoCast) != 0;