fabric.visit
Class FabricLabelChecker

java.lang.Object
  extended by LabelChecker
      extended by fabric.visit.FabricLabelChecker

public class FabricLabelChecker
extends LabelChecker


Constructor Summary
FabricLabelChecker(Job job, TypeSystem ts, NodeFactory nf, boolean solvePerClassBody, boolean solvePerMethod, boolean doLabelSubst)
           
 
Method Summary
 JifMethodDecl leavingMethod(JifMethodDecl n)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FabricLabelChecker

public FabricLabelChecker(Job job,
                          TypeSystem ts,
                          NodeFactory nf,
                          boolean solvePerClassBody,
                          boolean solvePerMethod,
                          boolean doLabelSubst)
Method Detail

leavingMethod

public JifMethodDecl leavingMethod(JifMethodDecl n)