Extern/Beef
1
0
Fork 0
mirror of https://github.com/beefytech/Beef.git synced 2025-06-08 19:48:20 +02:00
Code Activity

Improved errors for invalid method specifiers in interfaces

Browse source
This commit is contained in:
Brian Fiete 2020-11-16 17:44:39 -08:00
parent ec92168669
commit 959ccebc26
1 changed files with 18 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

22
IDEHelper/Compiler/BfModule.cpp
View file

@ -21535,6 +21535,23 @@ void BfModule::DoMethodDeclaration(BfMethodDeclaration* methodDeclaration, bool
bool foundHiddenMethod = false;
BfTokenNode* virtualToken = NULL;
auto propertyDeclaration = methodDef->GetPropertyDeclaration();
if (propertyDeclaration != NULL)
virtualToken = propertyDeclaration->mVirtualSpecifier;
else if (methodDeclaration != NULL)
virtualToken = methodDeclaration->mVirtualSpecifier;
if ((methodDef->mIsVirtual) && (methodDef->mIsStatic))
{
Fail("Static members cannot be marked as override, virtual, or abstract", virtualToken, true);
}
else if (methodDef->mIsVirtual)
{
if ((methodDef->mProtection == BfProtection_Private) && (virtualToken != NULL))
Fail("Virtual or abstract members cannot be private", virtualToken, true);
}
// Don't compare specialized generic methods against normal methods
if ((((mCurMethodInstance->mIsUnspecialized) || (mCurMethodInstance->mMethodDef->mGenericParams.size() == 0))) &&
(!methodDef->mIsLocalMethod))
@ -21858,16 +21875,13 @@ bool BfModule::SlotVirtualMethod(BfMethodInstance* methodInstance, BfAmbiguityCo
if ((methodDef->mIsVirtual) && (methodDef->mIsStatic))
{
Fail("Static members cannot be marked as override, virtual, or abstract", virtualToken, true);
//Fail: Static members cannot be marked as override, virtual, or abstract
}
else if (methodDef->mIsVirtual)
{
if (mCompiler->IsHotCompile())
mContext->EnsureHotMangledVirtualMethodName(methodInstance);
if ((methodDef->mProtection == BfProtection_Private) && (virtualToken != NULL))
Fail("Virtual or abstract members cannot be private", virtualToken, true);
BfTypeInstance* checkBase = typeInstance;
// If we are in an extension, look in ourselves first
if (methodDef->mDeclaringType->mTypeDeclaration == typeInstance->mTypeDef->mTypeDeclaration)