void compileParam(void) {
// TODO: create and declare a parameter
Object* obj = NULL;
switch (lookAhead->tokenType) {
case TK_IDENT:
eat(TK_IDENT);
obj = createParameterObject(currentToken->string, PARAM_VALUE, symtab->currentScope->owner);
eat(SB_COLON);
obj->paramAttrs->type = compileBasicType();
declareObject(obj);
break;
case KW_VAR:
eat(KW_VAR);
eat(TK_IDENT);
obj = createParameterObject(currentToken->string, PARAM_REFERENCE, symtab->currentScope->owner);
eat(SB_COLON);
obj->paramAttrs->type = compileBasicType();
declareObject(obj);
break;
default:
error(ERR_INVALID_PARAMETER, lookAhead->lineNo, lookAhead->colNo);
break;
}
}
void initSymTab(void) {
Object* obj;
Object* param;
symtab = (SymTab*) malloc(sizeof(SymTab));
symtab->globalObjectList = NULL;
obj = createFunctionObject("READC");
obj->funcAttrs->returnType = makeCharType();
addObject(&(symtab->globalObjectList), obj);
obj = createFunctionObject("READI");
obj->funcAttrs->returnType = makeIntType();
addObject(&(symtab->globalObjectList), obj);
obj = createProcedureObject("WRITEI");
param = createParameterObject("i", PARAM_VALUE, obj);
param->paramAttrs->type = makeIntType();
addObject(&(obj->procAttrs->paramList),param);
addObject(&(symtab->globalObjectList), obj);
obj = createProcedureObject("WRITEC");
param = createParameterObject("ch", PARAM_VALUE, obj);
param->paramAttrs->type = makeCharType();
addObject(&(obj->procAttrs->paramList),param);
addObject(&(symtab->globalObjectList), obj);
obj = createProcedureObject("WRITELN");
addObject(&(symtab->globalObjectList), obj);
intType = makeIntType();
charType = makeCharType();
}
void compileParam(void) {
Object* param;
Type* type;
enum ParamKind paramKind;
switch (lookAhead->tokenType) {
case TK_IDENT:
paramKind = PARAM_VALUE;
break;
case KW_VAR:
eat(KW_VAR);
paramKind = PARAM_REFERENCE;
break;
default:
error(ERR_INVALID_PARAMETER, lookAhead->lineNo, lookAhead->colNo);
break;
}
eat(TK_IDENT);
checkFreshIdent(currentToken->string);
param = createParameterObject(currentToken->string, paramKind, symtab->currentScope->owner);
eat(SB_COLON);
type = compileBasicType();
param->paramAttrs->type = type;
declareObject(param);
}
void initSymTab(void) {
Object* param;
symtab = (SymTab*) malloc(sizeof(SymTab));
symtab->globalObjectList = NULL;
symtab->program = NULL;
symtab->currentScope = NULL;
readcFunction = createFunctionObject("READC");
declareObject(readcFunction);
readcFunction->funcAttrs->returnType = makeCharType();
readiFunction = createFunctionObject("READI");
declareObject(readiFunction);
readiFunction->funcAttrs->returnType = makeIntType();
writeiProcedure = createProcedureObject("WRITEI");
declareObject(writeiProcedure);
enterBlock(writeiProcedure->procAttrs->scope);
param = createParameterObject("i", PARAM_VALUE);
param->paramAttrs->type = makeIntType();
declareObject(param);
exitBlock();
writecProcedure = createProcedureObject("WRITEC");
declareObject(writecProcedure);
enterBlock(writecProcedure->procAttrs->scope);
param = createParameterObject("ch", PARAM_VALUE);
param->paramAttrs->type = makeCharType();
declareObject(param);
exitBlock();
writelnProcedure = createProcedureObject("WRITELN");
declareObject(writelnProcedure);
intType = makeIntType();
charType = makeCharType();
}
void compileParam(void) {
Object* param;
Type* type;
enum ParamKind paramKind = PARAM_VALUE;
if (lookAhead->tokenType == KW_VAR) {
paramKind = PARAM_REFERENCE;
eat(KW_VAR);
}
eat(TK_IDENT);
checkFreshIdent(currentToken->string);
param = createParameterObject(currentToken->string, paramKind);
eat(SB_COLON);
type = compileBasicType();
param->paramAttrs->type = type;
declareObject(param);
}
int main() {
Object* obj;
initSymTab();
obj = createProgramObject("PRG");
enterBlock(obj->progAttrs->scope);
obj = createConstantObject("c1");
obj->constAttrs->value = makeIntConstant(10);
declareObject(obj);
obj = createConstantObject("c2");
obj->constAttrs->value = makeCharConstant('a');
declareObject(obj);
obj = createTypeObject("t1");
obj->typeAttrs->actualType = makeArrayType(10, makeIntType());
declareObject(obj);
obj = createVariableObject("v1");
obj->varAttrs->type = makeIntType();
declareObject(obj);
obj = createVariableObject("v2");
obj->varAttrs->type = makeArrayType(10, makeArrayType(10, makeIntType()));
declareObject(obj);
obj = createFunctionObject("f");
obj->funcAttrs->returnType = makeIntType();
declareObject(obj);
enterBlock(obj->funcAttrs->scope);
obj = createParameterObject("p1", PARAM_VALUE, symtab->currentScope->owner);
obj->paramAttrs->type = makeIntType();
declareObject(obj);
obj = createParameterObject("p2", PARAM_REFERENCE, symtab->currentScope->owner);
obj->paramAttrs->type = makeCharType();
declareObject(obj);
exitBlock();
obj = createProcedureObject("p");
declareObject(obj);
enterBlock(obj->procAttrs->scope);
obj = createParameterObject("v1", PARAM_VALUE, symtab->currentScope->owner);
obj->paramAttrs->type = makeIntType();
declareObject(obj);
obj = createConstantObject("c1");
obj->constAttrs->value = makeCharConstant('a');
declareObject(obj);
obj = createConstantObject("c3");
obj->constAttrs->value = makeIntConstant(10);
declareObject(obj);
obj = createTypeObject("t1");
obj->typeAttrs->actualType = makeIntType();
declareObject(obj);
obj = createTypeObject("t2");
obj->typeAttrs->actualType = makeArrayType(10, makeIntType());
declareObject(obj);
obj = createVariableObject("v2");
obj->varAttrs->type = makeArrayType(10, makeIntType());
declareObject(obj);
obj = createVariableObject("v3");
obj->varAttrs->type = makeCharType();
declareObject(obj);
exitBlock();
exitBlock();
printObject(symtab->program, 0);
cleanSymTab();
return 0;
}
