p3-analysis.c File Reference

Compiler phase 3: static analysis. More...

#include "p3-analysis.h"

Classes
struct	AnalysisData
	State/data for static analysis visitor. More...

Macros
#define	DATA   ((AnalysisData*)visitor->data)
	Macro for more convenient access to the data inside a AnalysisVisitor data structure.
#define	ERROR_LIST   (((AnalysisData*)visitor->data)->errors)
	Macro for more convenient access to the error list inside a AnalysisVisitor data structure.
#define	SET_INFERRED_TYPE(T)
	Macro for shorter storing of the inferred type attribute.
#define	GET_INFERRED_TYPE(N)   (DecafType)(long)ASTNode_get_attribute(N, "type")
	Macro for shorter retrieval of the inferred type attribute.

Typedefs
typedef struct AnalysisData	AnalysisData
	State/data for static analysis visitor.

Functions
AnalysisData *	AnalysisData_new (void)
	Allocate memory for analysis data.
void	AnalysisData_free (AnalysisData *data)
	Deallocate memory for analysis data.
Symbol *	lookup_symbol_with_reporting (NodeVisitor *visitor, ASTNode *node, const char *name)
	Wrapper for lookup_symbol that reports an error if the symbol isn't found.
ErrorList *	analyze (ASTNode *tree)
	Perform static analysis on an AST and return a list of errors.

Detailed Description

Compiler phase 3: static analysis.

Macro Definition Documentation

SET_INFERRED_TYPE

#define SET_INFERRED_TYPE

(

T

)

Value:

                                 ASTNode_set_printable_attribute(node, "type", (void*)(T), \
                                 type_attr_print, dummy_free)

Macro for shorter storing of the inferred type attribute.

Function Documentation

AnalysisData_free()

void AnalysisData_free

(

AnalysisData *

data

)

Deallocate memory for analysis data.

Parameters

data	Pointer to the structure to be deallocated

AnalysisData_new()

AnalysisData * AnalysisData_new

(

void

)

Allocate memory for analysis data.

Returns

Pointer to allocated structure

analyze()

ErrorList * analyze

(

ASTNode *

tree

)

Perform static analysis on an AST and return a list of errors.

Parameters

tree	Root of AST

Returns

List of static analysis errors found (the list should be empty if no errors were found)

lookup_symbol_with_reporting()

Symbol * lookup_symbol_with_reporting	(	NodeVisitor *	visitor,
		ASTNode *	node,
		const char *	name
	)

Wrapper for lookup_symbol that reports an error if the symbol isn't found.

Parameters

visitor	Visitor with the error list for reporting
node	AST node to begin the search at
name	Name of symbol to find

Returns

The Symbol if found, otherwise NULL