typeCheck
public Node typeCheck(TypeChecker tc)
throws SemanticException
Description copied from interface: NodeOps
Type check the AST.
This method is called by the leave()
method of the
visitor. The method should perform work that should be done
after visiting the children of the node. The method may return
this
or a new copy of the node which will be
installed as a child of the node's parent.
- Specified by:
typeCheck
in interface NodeOps
- Overrides:
typeCheck
in class Ext_c
- Parameters:
tc
- The type checking visitor.
- Throws:
SemanticException