Method ProcessMethod

IDEHelper/Compiler/BfModule.cpp:20909–23197

}

void BfModule::ProcessMethod(BfMethodInstance* methodInstance, bool isInlineDup, bool forceIRWrites)
{
	BP_ZONE_F("BfModule::ProcessMethod %s", BP_DYN_STR(methodInstance->mMethodDef->mName.c_str()));

	if (mIsComptimeModule)
	{
		BF_ASSERT(!mCompiler->IsAutocomplete());
	}

	if (mAwaitingInitFinish)
		FinishInit();

	if ((methodInstance->mIsReified) && (!mCompiler->mIsResolveOnly))
	{
		BfLogSysM("REIFIED(ProcessMethod): %s %p Module: %s\n", methodInstance->mMethodDef->mName.c_str(), methodInstance, mModuleName.c_str());
	}

	// Reify types that are actually used - they don't get reified during method declaration
	if ((!mCompiler->mIsResolveOnly) && (mIsReified))
	{
		auto _CheckType = [&](BfType* type)
		{
			if (!type->IsReified())
				PopulateType(type, BfPopulateType_Declaration);
		};
		_CheckType(methodInstance->mReturnType);
		for (auto& param : methodInstance->mParams)
		{
			_CheckType(param.mResolvedType);
		}
	}

	if (!methodInstance->mIsReified)
		BF_ASSERT(!mIsReified);

	BF_ASSERT((!methodInstance->GetOwner()->IsUnspecializedTypeVariation()) || (mIsComptimeModule));

	if (methodInstance->mMethodInfoEx != NULL)
	{
		for (auto methodGenericArg : methodInstance->mMethodInfoEx->mMethodGenericArguments)
		{
			if (methodGenericArg->IsMethodRef())
			{
				auto methodRefType = (BfMethodRefType*)methodGenericArg;
				BF_ASSERT(methodRefType->mOwnerRevision == methodRefType->mOwner->mRevision);
			}
		}
	}

	if (mBfIRBuilder == NULL)
	{
		BfLogSysM("ProcessMethod %p calling EnsureIRBuilder\n", methodInstance);
		EnsureIRBuilder();
	}

	SetAndRestoreValue<bool> prevIgnoreWrites(mBfIRBuilder->mIgnoreWrites, (mWantsIRIgnoreWrites || methodInstance->mIsUnspecialized) && (!forceIRWrites));

	if ((HasCompiledOutput()) && (!mBfIRBuilder->mIgnoreWrites))