Method UpdateRevisedTypes

IDEHelper/Compiler/BfContext.cpp:2160–2767

Note that this method can also cause modules to be build in other contexts. That's why we do our UpdateAfterDeletingTypes after all the contexts' UpdateRevisedTypes

// Note that this method can also cause modules to be build in other contexts.
//  That's why we do our UpdateAfterDeletingTypes after all the contexts' UpdateRevisedTypes
void BfContext::UpdateRevisedTypes()
{
	BP_ZONE("BfContext::UpdateRevisedTypes");
	BfLogSysM("BfContext::UpdateRevisedTypes\n");

	auto _CheckCanSkipCtor = [&](BfTypeDef* typeDef)
	{
		if (typeDef == NULL)
			return true;
		typeDef = typeDef->GetLatest();

		for (auto fieldDef : typeDef->mFields)
		{
			if (fieldDef->mIsStatic)
				continue;
			if (fieldDef->GetInitializer() != NULL)
				return false;
		}

		for (auto methodDef : typeDef->mMethods)
		{
			if (methodDef->mMethodType == BfMethodType_Init)
				return false;
		}

		return true;
	};

	auto _CheckCanSkipCtorByName = [&](const StringImpl& name)
	{
		BfAtomComposite qualifiedFindName;
		if (!mSystem->ParseAtomComposite(name, qualifiedFindName))
			return true;
		auto itr = mSystem->mTypeDefs.TryGet(qualifiedFindName);
		while (itr)
		{
			BfTypeDef* typeDef = *itr;
			if ((typeDef->mDefState != BfTypeDef::DefState_Deleted) &&
				(!typeDef->mIsCombinedPartial))
			{
				if (typeDef->mFullNameEx == qualifiedFindName)
					if (!_CheckCanSkipCtor(typeDef))
						return false;
			}
			itr.MoveToNextHashMatch();
		}

		return true;
	};

	bool wantsCanSkipObjectCtor = _CheckCanSkipCtorByName("System.Object");
	bool wantsCanSkipValueTypeCtor = _CheckCanSkipCtorByName("System.ValueType");

	int wantPtrSize;
	if ((mCompiler->mOptions.mMachineType == BfMachineType_x86) |
		(mCompiler->mOptions.mMachineType == BfMachineType_ARM) ||
		(mCompiler->mOptions.mMachineType == BfMachineType_Wasm32))
		wantPtrSize = 4;