fabric.visit

Class FabricLabelChecker

java.lang.Object

LabelChecker

fabric.visit.FabricLabelChecker

public class FabricLabelChecker
extends LabelChecker

Constructor Summary

Constructors

Constructor and Description
FabricLabelChecker(Job job, TypeSystem ts, NodeFactory nf, boolean warningsEnabled, boolean solvePerClassBody, boolean solvePerMethod, boolean doLabelSubst)

Method Summary

Modifier and Type	Method and Description
protected java.lang.Object	clone()
CallHelper	createCallHelper(Label receiverLabel, Receiver receiver, ReferenceType calleeContainer, JifProcedureInstance pi, java.util.List<Expr> actualArgs, Position position)
CallHelper	createCallHelper(Label receiverLabel, ReferenceType calleeContainer, JifProcedureInstance pi, java.util.List<Expr> actualArgs, Position position)
JifMethodDecl	leavingMethod(JifMethodDecl n)

Methods inherited from class java.lang.Object

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

Constructor Detail

FabricLabelChecker

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

Method Detail

leavingMethod

public JifMethodDecl leavingMethod(JifMethodDecl n)

createCallHelper

public CallHelper createCallHelper(Label receiverLabel,
                                   Receiver receiver,
                                   ReferenceType calleeContainer,
                                   JifProcedureInstance pi,
                                   java.util.List<Expr> actualArgs,
                                   Position position)

createCallHelper

public CallHelper createCallHelper(Label receiverLabel,
                                   ReferenceType calleeContainer,
                                   JifProcedureInstance pi,
                                   java.util.List<Expr> actualArgs,
                                   Position position)

clone

protected java.lang.Object clone()
                          throws java.lang.CloneNotSupportedException

Throws:

java.lang.CloneNotSupportedException