jltools.ext.jif.visit
Class FieldLabelResolver

java.lang.Object
  |
  +--jltools.ast.NodeVisitor
        |
        +--jltools.visit.BaseVisitor
              |
              +--jltools.visit.SemanticVisitor
                    |
                    +--jltools.ext.jif.visit.FieldLabelResolver

public class FieldLabelResolver

extends SemanticVisitor

A visitor used to resolving field labels. We want to resolving field labels of all the classes before the label checking pass, because these field labels might be included in other labels, thus need to resolve first.

Inner classes inherited from class jltools.visit.SemanticVisitor

SemanticVisitor.Abort, SemanticVisitor.Catcher

Fields inherited from class jltools.visit.SemanticVisitor

catcher, context

Fields inherited from class jltools.visit.BaseVisitor

job

Constructor Summary

FieldLabelResolver(Job job)

Method Summary

Node	leaveCall(Node n)
protected Node	overrideCall(Node n)

Methods inherited from class jltools.visit.SemanticVisitor

catchErrors, context, enter, enterScope, leave, leaveCall, leaveScope, newCatcher, override

Methods inherited from class jltools.visit.BaseVisitor

errorQueue, importTable, job, nodeFactory, parsedResolver, typeSystem

Methods inherited from class jltools.ast.NodeVisitor

finish, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

FieldLabelResolver

public FieldLabelResolver(Job job)

Method Detail

overrideCall

protected Node overrideCall(Node n)
                     throws SemanticException

Overrides:

overrideCall in class SemanticVisitor

leaveCall

public Node leaveCall(Node n)
               throws SemanticException

Overrides:

leaveCall in class SemanticVisitor