Semant
Class Semant

java.lang.Object
  Absyn.Visitor<java.lang.Void,Type>
      Semant.Semant

public class Semant
extends Visitor<java.lang.Void,Type>

Field Summary

boolean	anyErrors
static BOOLEAN	BOOLEAN
Table<java.lang.String,CLASS>	classEnv The classes defined by this compilation.
static INT	INT
static NIL	NIL
static CLASS	STRING
static CLASS	SYSTEM
static VOID	VOID

Constructor Summary

Semant(java.util.List<ClassDec> classes, java.lang.String mainClassName)

Method Summary

Type	visit(ArrayExp e, java.lang.Void _)
Type	visit(ArrayType t, java.lang.Void _)
Type	visit(AssignExp e, java.lang.Void _)
Type	visit(BinExp e, java.lang.Void _)
Type	visit(Block b, java.lang.Void _)
Type	visit(BreakStm s, java.lang.Void _)
Type	visit(CallExp e, java.lang.Void _)
Type	visit(ClassDec d, java.lang.Void _)
Type	visit(ContinueStm s, java.lang.Void _)
Type	visit(ExpStm s, java.lang.Void _)
Type	visit(FieldDec f, java.lang.Void _)
Type	visit(FieldExp e, java.lang.Void _)
Type	visit(Formal f, java.lang.Void _)
Type	visit(ForStm s, java.lang.Void _)
Type	visit(IfStm s, java.lang.Void _)
Type	visit(LiteralExp e, java.lang.Void _)
Type	visit(MethodDec m, java.lang.Void _)
Type	visit(NameExp e, java.lang.Void _)
Type	visit(NameType t, java.lang.Void _)
Type	visit(ObjectExp e, java.lang.Void _)
Type	visit(PrimitiveType t, java.lang.Void _)
Type	visit(ReturnStm s, java.lang.Void _)
Type	visit(SubscriptExp e, java.lang.Void _)
Type	visit(SuperExp e, java.lang.Void _)
Type	visit(ThisExp e, java.lang.Void _)
Type	visit(UnExp e, java.lang.Void _)
Type	visit(VarDec v, java.lang.Void _)
Type	visit(WhileStm s, java.lang.Void _)

Methods inherited from class java.lang.Object

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

Field Detail

classEnv

public Table<java.lang.String,CLASS> classEnv

The classes defined by this compilation.

anyErrors

public boolean anyErrors

VOID

public static final VOID VOID

BOOLEAN

public static final BOOLEAN BOOLEAN

INT

public static final INT INT

NIL

public static final NIL NIL

STRING

public static final CLASS STRING

SYSTEM

public static final CLASS SYSTEM

Constructor Detail

Semant

public Semant(java.util.List<ClassDec> classes,
              java.lang.String mainClassName)

Method Detail

visit

public Type visit(MethodDec m,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ClassDec d,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(Formal f,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(FieldDec f,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(VarDec v,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(PrimitiveType t,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ArrayType t,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(NameType t,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(Block b,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(BreakStm s,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ContinueStm s,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ExpStm s,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(IfStm s,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ReturnStm s,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(WhileStm s,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ForStm s,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(AssignExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(BinExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(UnExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ArrayExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(CallExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(LiteralExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ObjectExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(ThisExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(SuperExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(FieldExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(NameExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>

visit

public Type visit(SubscriptExp e,
                  java.lang.Void _)

Overrides:

visit in class Visitor<java.lang.Void,Type>