scopeHelper.c

/*
 * scopeStack.c : Implementation to manage the compilation scope
 * Part of the compiler project for LSD10 language
 * Gaudry Stéphane
 * More information on http://www.gaudry.be/langages-table-des-symboles.html
 * **********************************************************
 */
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#if(VERBOSE_LEVEL<=DEB_E)
	#include <errno.h>
#endif
#include "scopeStack.h"
#include "scopeHelper.h"
#include "common.h"
 
/*
 * **********************************************************
 * Internal business
 * **********************************************************
 */
 
ScopeStack *scopeStackPtr;
 
/**
 * Incremental identifier of the scope
 */
int scopeId=INITIAL_INT;
 
/**
 * Depth of the scope
 */
int scopeDepth=INITIAL_INT;
 
/**
 * Exits with a failure level if the scopeHelper
 * is not able to perform the operation
 */
void scopeHelperCheckIntegrity(char *file, int line)
{
	if(scopeStackPtr==NULL)
	{
		#if(VERBOSE_LEVEL<=DEB_E)
		{
			printMsg(DEB_E,"Illegal operation (read on uninitialized stack)", file, line);
			printMsg(DEB_E, (char *)strerror(errno), __FILE__, __LINE__);
		}
		#endif
		//Failure of the compiler behavior, independent of the parsed code
		exit(EXIT_FAILURE);
	}
}
/**
 * Creates a new fictive ASTNode to store depth and scope information on the stack
 */
AstNode *getScopeHelperNewNode()
{
	return createASTNode(
		NULL,
		NODE_TYPE_NOTHING,
		createASTNodeInfo(NO_NAME, NODE_TYPE_NOTHING, INITIAL_INT),
		NULL,
		NULL );
}
 
/*
 * **********************************************************
 * Implementation of the header exposed items
 * See scopeHelper.h for these functions comments
 * **********************************************************
 */
 
void scopeHelperSetCurrentFunction(AstNode *currentFunctionNode)
{
	#if(VERBOSE_LEVEL<=DEB_SYM)
		printf(
			"\n;\tSet current function : %s (compiler %s %d)",
			currentFunctionNode->info->name,
			__FILE__,
			__LINE__
		);
	#endif
	scopeStackPtr->functionNode=currentFunctionNode;
}
AstNode* scopeHelperGetCurrentFunction()
{
	return scopeStackPtr->functionNode;
}
void scopeHelperEnterScope()
{
	++scopeId;
	++scopeDepth;
	pushScopesStack(&scopeStackPtr, scopeId, getScopeHelperNewNode());
	//setScopesStackDepth(scopeStackPtr, scopeDepth);
	printSymbolsTableItem("Entrée dans la portée");
	#if(VERBOSE_LEVEL<=DEB_SYM)
		printf(
			"\n;\tenter scope %d; ast=%s",
			getScopeDepth(scopeStackPtr),
			scopeStackPtr->declarationNode==NULL?"null":"ok"
			);
	#endif
}
void scopeHelperExitScope()
{
	#if(VERBOSE_LEVEL<=DEB_SYM)
		printf(
			"\n;\texit scope %d, return to %d(%s)",
			getScopeDepth(scopeStackPtr),
			getScopeDepth(scopeStackPtr==NULL?scopeStackPtr:scopeStackPtr->parentPtr),
			scopeStackPtr->parentPtr==NULL||scopeStackPtr->parentPtr->functionNode==NULL ?
					"?":
					scopeStackPtr->parentPtr->functionNode->info->name
		);
	#endif
	popScopeStack(&scopeStackPtr);
	--scopeDepth;
	printSymbolsTableItem("Sortie de la portée; déclarations non supprimées de la table");
}
int scopeHelperGetCurrentScope()
{
	scopeHelperCheckIntegrity (__FILE__, __LINE__);
	return getScopeDepth(scopeStackPtr);
}
int scopeHelperGetCurrentDepth()
{
	return scopeDepth;
}
int scopeHelperGetParentScope()
{
	scopeHelperCheckIntegrity(__FILE__, __LINE__);
	return getScopeDepth(scopeStackPtr==NULL?scopeStackPtr:scopeStackPtr->parentPtr);
}
void resetScopeHelper()
{
	#if(VERBOSE_LEVEL<=DEB_SYM)
		printf("\n;\n;\tReset scope helper");
	#endif
	if(scopeStackPtr!=NULL)
	{
		scopeStackPtr->functionNode = NULL;
	}
	scopeId= INITIAL_INT;
	scopeDepth= INITIAL_INT;
}
void initializeScopeHelper()
{
	scopeStackPtr=createScopeStack();
	scopeStackPtr->declarationNode = getScopeHelperNewNode();
	scopeStackPtr->declarationNode->info->scopeId = INITIAL_INT;
	scopeStackPtr->declarationNode->info->scopeDepth = INITIAL_INT;
	resetScopeHelper();
}
void finalizeScopeHelper()
{
	resetScopeHelper();
	if(scopeStackPtr!=NULL)
	{
		finalizeScopeStack(&scopeStackPtr);
	}
}