semantic.h

一个面向对像语言的编译器

/*
 * File: semantic.h
 * ----------------
 * This is the header file for the semantic processing module
 * which exports routines to verify various semantic rules of
 * the language.  
*/

#ifndef _H_semantic
#define _H_semantic

#include "decllist.h"
#include "typelist.h"
class Declaration;
class Type;

/* Enum: DeclOrDefn
 * ----------------
 * Used as argument creating function declaration objects to
 * distinguish foward declarations from full definitions.
 */

typedef enum { DeclOnly, FullDefn } DeclOrDefn; 

/* Declaration creation functions
 * ------------------------------
 * Helpers for creating a new declaration object with right name
 * and type. These don't do any checking about conflicts, they just
 * create the declaration as specified from the parameters.
 */
Declaration *BuildVarDecl(const char *varName, Type *varType, int lineNum);
Declaration *BuildClassDecl(const char *className, Type *super, int lineNum);
Declaration *BuildFnDecl(const char *fnName, Type *returnType,
                      DeclList *formals, DeclOrDefn kind, struct yyltype *loc);


/* Function: TypeForClassName
 * --------------------------
 * Helper to lookup class by name and return Type object for the class.
 */
Type *TypeForClassName(const char *className);

/*新添加函数*/
Declaration *DealWithCall(Declaration *OptReceiver, char *id, DeclList * actuals);
Declaration *DealWithArray(Declaration *expr1, Declaration *index);
Declaration *DealWithLValue(Declaration *OptReceiver, char *id);
void DealWithPrint(DeclList *exprList);

#endif