edu.jmu.decaf

Class MyDecafAnalysis

java.lang.Object

edu.jmu.decaf.DefaultASTVisitor

edu.jmu.decaf.StaticAnalysis

edu.jmu.decaf.DecafAnalysis

edu.jmu.decaf.MyDecafAnalysis

All Implemented Interfaces:

ASTVisitor

public class MyDecafAnalysis
extends DecafAnalysis

Perform type checking using the Decaf type rules.

Constructor Summary

Constructors

Constructor and Description
MyDecafAnalysis()

Method Summary

Modifier and Type	Method and Description
void	assertType(ASTNode node, ASTNode.DataType expectedType)
void	assertValidParameters(List<ASTNode.DataType> formalTypes, List<ASTExpression> actualArgs, SourceInfo src)
void	postVisit(ASTAssignment node)
void	postVisit(ASTBinaryExpr node)
void	postVisit(ASTBlock node)
void	postVisit(ASTBreak node)
void	postVisit(ASTConditional node)
void	postVisit(ASTContinue node)
void	postVisit(ASTFunctionCall node)
void	postVisit(ASTLocation node)
void	postVisit(ASTProgram node)
void	postVisit(ASTReturn node)
void	postVisit(ASTUnaryExpr node)
void	postVisit(ASTVariable node)
void	postVisit(ASTVoidFunctionCall node)
void	postVisit(ASTWhileLoop node)
void	preVisit(ASTBinaryExpr node)
void	preVisit(ASTFunction node)
void	preVisit(ASTFunctionCall node)
void	preVisit(ASTLiteral node)
void	preVisit(ASTLocation node)
void	preVisit(ASTProgram node)
void	preVisit(ASTUnaryExpr node)
void	preVisit(ASTWhileLoop node)

Methods inherited from class edu.jmu.decaf.DecafAnalysis

lookupSymbol

Methods inherited from class edu.jmu.decaf.StaticAnalysis

addError, addError, getErrors, getErrorString, resetErrors

Methods inherited from class edu.jmu.decaf.DefaultASTVisitor

defaultInVisit, defaultPostVisit, defaultPreVisit, inVisit, postVisit, postVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MyDecafAnalysis

public MyDecafAnalysis()

Method Detail

assertType

public void assertType(ASTNode node,
                       ASTNode.DataType expectedType)

preVisit

public void preVisit(ASTProgram node)

Specified by:

preVisit in interface ASTVisitor

Overrides:

preVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTProgram node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTVariable node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

preVisit

public void preVisit(ASTFunction node)

Specified by:

preVisit in interface ASTVisitor

Overrides:

preVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTBlock node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTAssignment node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTConditional node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

preVisit

public void preVisit(ASTWhileLoop node)

Specified by:

preVisit in interface ASTVisitor

Overrides:

preVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTWhileLoop node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTBreak node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTContinue node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTReturn node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

preVisit

public void preVisit(ASTLocation node)

Specified by:

preVisit in interface ASTVisitor

Overrides:

preVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTLocation node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

preVisit

public void preVisit(ASTLiteral node)

Specified by:

preVisit in interface ASTVisitor

Overrides:

preVisit in class DefaultASTVisitor

preVisit

public void preVisit(ASTFunctionCall node)

Specified by:

preVisit in interface ASTVisitor

Overrides:

preVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTFunctionCall node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTVoidFunctionCall node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

assertValidParameters

public void assertValidParameters(List<ASTNode.DataType> formalTypes,
                                  List<ASTExpression> actualArgs,
                                  SourceInfo src)

preVisit

public void preVisit(ASTBinaryExpr node)

Specified by:

preVisit in interface ASTVisitor

Overrides:

preVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTBinaryExpr node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor

preVisit

public void preVisit(ASTUnaryExpr node)

Specified by:

preVisit in interface ASTVisitor

Overrides:

preVisit in class DefaultASTVisitor

postVisit

public void postVisit(ASTUnaryExpr node)

Specified by:

postVisit in interface ASTVisitor

Overrides:

postVisit in class DefaultASTVisitor