jltools.ext.jif.visit
Class JifLabelSubst

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

public class JifLabelSubst

extends SemanticVisitor

This visitor substitutes labels for each variable in the path maps of each JifExt object. By subclassing SemanticVisitor, type objects are rebuilt automatically.

Inner classes inherited from class jltools.visit.SemanticVisitor

SemanticVisitor.Abort, SemanticVisitor.Catcher

Field Summary

protected VarMap	bounds
protected ErrorQueue	eq
protected Job	job
protected Solver	solver
protected JifTypeSystem	ts

Fields inherited from class jltools.visit.SemanticVisitor

catcher, context

Constructor Summary

JifLabelSubst(Job job, Solver solver)

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

Field Detail

job

protected Job job

ts

protected JifTypeSystem ts

solver

protected Solver solver

eq

protected ErrorQueue eq

bounds

protected VarMap bounds

Constructor Detail

JifLabelSubst

public JifLabelSubst(Job job,
                     Solver solver)

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