Method CheckVariableDef

IDEHelper/Compiler/BfModule.cpp:16475–16513

}

void BfModule::CheckVariableDef(BfLocalVariable* variableDef)
{
	if (variableDef->mName.IsEmpty())
		return;

	BfLocalVarEntry* localVarEntryPtr = NULL;
	if ((mCurMethodState != NULL) && (mCurMethodState->mLocalVarSet.TryGet(BfLocalVarEntry(variableDef), &localVarEntryPtr)))
	{
		auto checkLocal = localVarEntryPtr->mLocalVar;
		if ((checkLocal->mLocalVarIdx >= mCurMethodState->GetLocalStartIdx()) && (!checkLocal->mIsShadow))
		{
			auto _Fail = [&](int warningNum, String str, BfAstNode* refNode)
			{
				BfError* error = Warn(warningNum, str, refNode);				
				if ((checkLocal->mNameNode != NULL) && (error != NULL))
					mCompiler->mPassInstance->MoreInfo("Previous declaration", checkLocal->mNameNode);
			};
			
			auto checkScope = mCurMethodState->mCurScope;
			if (checkScope->mScopeKind == BfScopeKind_StatementTarget)			
				checkScope = checkScope->mPrevScope;			

			if (checkLocal->mIsImplicitParam)
				return; // Ignore 'redefinition'
			if (checkLocal->IsParam())
			{
				if (variableDef->IsParam())
					_Fail(4200, StrFormat("A parameter named '%s' has already been declared", variableDef->mName.c_str()), variableDef->mNameNode);
				else
					_Fail(4200, StrFormat("The name '%s' is already used by a parameter. Consider declaring 'var %s;' if you wish to make a mutable copy of that parameter.", variableDef->mName.c_str(), variableDef->mName.c_str()), variableDef->mNameNode);
			}
			else if (checkLocal->mLocalVarIdx < checkScope->mLocalVarStart)
				_Fail(4200, StrFormat("A variable named '%s' has already been declared in an outer scope", variableDef->mName.c_str()), variableDef->mNameNode);
			else
				_Fail(4200, StrFormat("A variable named '%s' has already been declared in this scope", variableDef->mName.c_str()), variableDef->mNameNode);
			return;
		}
	}
}

BfScopeData* BfModule::FindScope(BfAstNode* scopeName, BfMixinState* fromMixinState, bool allowAcrossDeferredBlock)
{