fabric.visit
Class FabricLabelChecker

java.lang.Object
  LabelChecker
      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)