Method UpdateDependencyMap

IDEHelper/Compiler/BfCompiler.cpp:2353–2613

This method clears out unused generic types AFTER compilation of reified types has occurred

// This method clears out unused generic types AFTER compilation of reified types has occurred
void BfCompiler::UpdateDependencyMap(bool deleteUnusued, bool& didWork)
{
	BP_ZONE("BfCompiler::UpdateDependencyMap");
	BfLogSysM("Compiler::UpdateDependencyMap %d\n", deleteUnusued);

	bool madeFullPass = true;
	if (mCanceling)
		madeFullPass = false;
	if ((mResolvePassData != NULL) && (!mResolvePassData->mParsers.IsEmpty()))
		madeFullPass = false;

	SetAndRestoreValue<bool> prevAssertOnPopulateType(mContext->mAssertOnPopulateType, deleteUnusued && madeFullPass);

	if ((deleteUnusued) && (madeFullPass))
	{
		// Work queues should be empty if we're not canceling
		BF_ASSERT(mContext->mPopulateTypeWorkList.size() == 0);
		BF_ASSERT(mContext->mMethodWorkList.size() == 0);
	}

	// Remove old data in dependency maps, and find types which don't have any references (direct or indirect)
	//  to a non-generic type and remove them
	for (int pass = 0; true; pass++)
	{
		// This assert can fail if we have a dependency error, where deleting a type causes a dependent type
		//  to be rebuilt
		BF_ASSERT(pass < 100);

		bool foundNew = false;

		for (auto type : mContext->mResolvedTypes)
		{
			if (type != NULL)
			{
				auto depType = type->ToDependedType();
				auto typeInst = type->ToTypeInstance();

				if (depType != NULL)
				{
					extern BfModule* gLastCreatedModule;

#ifdef _DEBUG
					for (auto itr = depType->mDependencyMap.begin(); itr != depType->mDependencyMap.end(); ++itr)
					{
						auto dependentType = itr->mKey;
						if (dependentType->IsIncomplete())
						{
							BF_ASSERT(dependentType->IsDeleting() || dependentType->IsOnDemand() || !dependentType->HasBeenReferenced() || mCanceling || !madeFullPass || dependentType->IsSpecializedByAutoCompleteMethod());
						}
					}
#endif

					depType->mDependencyMap.mFlagsUnion = BfDependencyMap::DependencyFlag_None;

					// Not combined with previous loop because PopulateType could modify typeInst->mDependencyMap
					for (auto itr = depType->mDependencyMap.begin(); itr != depType->mDependencyMap.end();)
					{
						auto dependentType = itr->mKey;