Function FunctionPrototype

NULLC/Callbacks.cpp:3019–3069

}

void FunctionPrototype(const char* pos)
{
	FunctionInfo &lastFunc = *currDefinedFunc.back();
	// Remove function arguments used to enable typeof
	for(VariableInfo *curr = lastFunc.firstParam; curr; curr = curr->next)
		varMap.remove(curr->nameHash, curr);
	if(!lastFunc.retType && !lastFunc.generic)
		ThrowError(pos, "ERROR: function prototype with unresolved return type");
	lastFunc.funcType = CodeInfo::GetFunctionType(lastFunc.retType, lastFunc.firstParam, lastFunc.paramCount);
	currDefinedFunc.pop_back();
	if(newType && lastFunc.type == FunctionInfo::THISCALL)
		methodCount++;
	if(lastFunc.generic)
	{
		CodeInfo::nodeList.push_back(new NodeFunctionProxy(&lastFunc, pos, true));
		AddOneExpressionNode(typeVoid);
		lastFunc.afterNode = (NodeExpressionList*)CodeInfo::nodeList.back();
	}else if(lastFunc.type == FunctionInfo::LOCAL || lastFunc.type == FunctionInfo::COROUTINE){
		// For a local or a coroutine function prototype, we must create a forward declaration of a context variable
		// When a function will be implemented, it will fill up the closure type with members, update this context variable and create closure initialization
		char *hiddenHame = AllocateString(lastFunc.nameLength + 24);
		int length = sprintf(hiddenHame, "$%s_%d_ext", lastFunc.name, lastFunc.indexInArr);
		unsigned beginPos = lastFunc.parentFunc ? lastFunc.parentFunc->allParamSize + NULLC_PTR_SIZE : 0; // so that a coroutine will not mistake this for argument, choose starting position carefully
		lastFunc.funcContext = new VariableInfo(lastFunc.parentFunc, InplaceStr(hiddenHame, length), GetStringHash(hiddenHame), beginPos, CodeInfo::GetReferenceType(typeInt), !lastFunc.parentFunc);
		lastFunc.funcContext->blockDepth = varInfoTop.size();
		// Allocate node where the context initialization will be placed
		CodeInfo::nodeList.push_back(new NodeZeroOP());
		AddOneExpressionNode(typeVoid);
		lastFunc.afterNode = (NodeExpressionList*)CodeInfo::nodeList.back();
		// Context variable should be visible
		varMap.insert(lastFunc.funcContext->nameHash, lastFunc.funcContext);
	}else{
		AddVoidNode();
	}
	// Check if this function was already defined
	HashMap<FunctionInfo*>::Node *curr = funcMap.first(lastFunc.nameHash);
	while(curr)
	{
		FunctionInfo *func = curr->value;
		if(func->visible && func->funcType == lastFunc.funcType && func != &lastFunc)
			ThrowError(pos, "ERROR: function is already defined");
		curr = funcMap.next(curr);
	}
	// Remove aliases defined in a prototype argument list
	AliasInfo *info = lastFunc.childAlias;
	while(info)
	{
		CodeInfo::classMap.remove(info->nameHash, info->type);
		info = info->next;
	}
}

void FunctionStart(const char* pos)
{