Semant

Class TypeChecker

java.lang.Object

Semant.TypeChecker

All Implemented Interfaces:

TypeVisitor

public class TypeChecker
extends java.lang.Object
implements TypeVisitor

Interface for Type Visitor Pattern traversals.

Field Summary

Fields

Modifier and Type	Field and Description
static BOOLEAN	BOOLEAN
int	errors
static INT	INT
static NIL	NIL
static STRING	STRING
static VOID	VOID

Constructor Summary

Constructors

Constructor and Description
TypeChecker()

Method Summary

Modifier and Type	Method and Description
Type	visit(java.util.AbstractList list) Visitor pattern dispatch.
Type	visit(AddExpr ast)
Type	visit(AndExpr ast)
Type	visit(ArrayExpr ast)
Type	visit(ArrayType ast)
Type	visit(AssignStmt ast)
Type	visit(BlockStmt ast)
Type	visit(BooleanType ast)
Type	visit(CallExpr ast)
Type	visit(ClassDecl ast)
Type	visit(DivExpr ast)
Type	visit(EqualExpr ast)
Type	visit(FalseExpr ast)
Type	visit(FieldExpr ast)
Type	visit(Formal ast)
Type	visit(GreaterExpr ast)
Type	visit(IdentifierExpr ast)
Type	visit(IdentifierType ast)
Type	visit(IfStmt ast)
Type	visit(IntegerLiteral ast)
Type	visit(IntegerType ast)
Type	visit(LesserExpr ast)
Type	visit(MethodDecl ast)
Type	visit(MulExpr ast)
Type	visit(NegExpr ast)
Type	visit(NewArrayExpr ast)
Type	visit(NewObjectExpr ast)
Type	visit(NotEqExpr ast)
Type	visit(NotExpr ast)
Type	visit(NullExpr ast)
Type	visit(OrExpr ast)
Type	visit(Program ast)
Type	visit(StringLiteral ast)
Type	visit(SubExpr ast)
Type	visit(ThisExpr ast)
Type	visit(ThreadDecl ast)
Type	visit(TrueExpr ast)
Type	visit(VarDecl ast)
Type	visit(VoidDecl ast)
Type	visit(WhileStmt ast)
Type	visit(XinuCallExpr ast)
Type	visit(XinuCallStmt ast)
Type	visitFields(VarDecl ast)

Methods inherited from class java.lang.Object

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

Field Detail

BOOLEAN

public static final BOOLEAN BOOLEAN

INT

public static final INT INT

NIL

public static final NIL NIL

VOID

public static final VOID VOID

STRING

public static final STRING STRING

errors

public int errors

Constructor Detail

TypeChecker

public TypeChecker()

Method Detail

visit

public Type visit(Program ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(ClassDecl ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(ThreadDecl ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(MethodDecl ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(VoidDecl ast)

Specified by:

visit in interface TypeVisitor

visitFields

public Type visitFields(VarDecl ast)

visit

public Type visit(VarDecl ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(java.util.AbstractList list)

Description copied from interface: TypeVisitor

Visitor pattern dispatch.

Specified by:

visit in interface TypeVisitor

visit

public Type visit(AssignStmt ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(BlockStmt ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(IfStmt ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(XinuCallStmt ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(XinuCallExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(WhileStmt ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(AddExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(AndExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(DivExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(MulExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(SubExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(EqualExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(GreaterExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(LesserExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(NotEqExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(NotExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(NegExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(OrExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(ArrayExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(CallExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(FieldExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(Formal ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(IdentifierExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(NewArrayExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(NewObjectExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(NullExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(ThisExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(ArrayType ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(IdentifierType ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(IntegerType ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(IntegerLiteral ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(StringLiteral ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(BooleanType ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(FalseExpr ast)

Specified by:

visit in interface TypeVisitor

visit

public Type visit(TrueExpr ast)

Specified by:

visit in interface TypeVisitor