com.ibm.wala.demandpa.flowgraph

Class AbstractFlowLabelVisitor

java.lang.Object

com.ibm.wala.demandpa.flowgraph.AbstractFlowLabelVisitor

All Implemented Interfaces:

IFlowLabel.IFlowLabelVisitor

public class AbstractFlowLabelVisitor
extends java.lang.Object
implements IFlowLabel.IFlowLabelVisitor

An IFlowLabel.IFlowLabelVisitor that does nothing. Subclasses can override only the label types they care about.

Constructor Summary

Constructors

Constructor and Description
AbstractFlowLabelVisitor()

Method Summary

Modifier and Type	Method and Description
void	visitAssign(AssignLabel label, java.lang.Object dst)
void	visitAssignBar(AssignBarLabel label, java.lang.Object dst)
void	visitAssignGlobal(AssignGlobalLabel label, java.lang.Object dst)
void	visitAssignGlobalBar(AssignGlobalBarLabel label, java.lang.Object dst)
void	visitGetField(GetFieldLabel label, java.lang.Object dst)
void	visitGetFieldBar(GetFieldBarLabel label, java.lang.Object dst)
void	visitMatch(MatchLabel label, java.lang.Object dst)
void	visitMatchBar(MatchBarLabel label, java.lang.Object dst)
void	visitNew(NewLabel label, java.lang.Object dst)
void	visitNewBar(NewBarLabel label, java.lang.Object dst)
void	visitParam(ParamLabel label, java.lang.Object dst)
void	visitParamBar(ParamBarLabel label, java.lang.Object dst)
void	visitPutField(PutFieldLabel label, java.lang.Object dst)
void	visitPutFieldBar(PutFieldBarLabel label, java.lang.Object dst)
void	visitReturn(ReturnLabel label, java.lang.Object dst)
void	visitReturnBar(ReturnBarLabel label, java.lang.Object dst)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractFlowLabelVisitor

public AbstractFlowLabelVisitor()

Method Detail

visitParam

public void visitParam(ParamLabel label,
                       java.lang.Object dst)

Specified by:

visitParam in interface IFlowLabel.IFlowLabelVisitor

visitReturn

public void visitReturn(ReturnLabel label,
                        java.lang.Object dst)

Specified by:

visitReturn in interface IFlowLabel.IFlowLabelVisitor

visitAssign

public void visitAssign(AssignLabel label,
                        java.lang.Object dst)

Specified by:

visitAssign in interface IFlowLabel.IFlowLabelVisitor

visitAssignGlobal

public void visitAssignGlobal(AssignGlobalLabel label,
                              java.lang.Object dst)

Specified by:

visitAssignGlobal in interface IFlowLabel.IFlowLabelVisitor

visitGetField

public void visitGetField(GetFieldLabel label,
                          java.lang.Object dst)

Specified by:

visitGetField in interface IFlowLabel.IFlowLabelVisitor

visitMatch

public void visitMatch(MatchLabel label,
                       java.lang.Object dst)

Specified by:

visitMatch in interface IFlowLabel.IFlowLabelVisitor

visitNew

public void visitNew(NewLabel label,
                     java.lang.Object dst)

Specified by:

visitNew in interface IFlowLabel.IFlowLabelVisitor

visitPutField

public void visitPutField(PutFieldLabel label,
                          java.lang.Object dst)

Specified by:

visitPutField in interface IFlowLabel.IFlowLabelVisitor

visitAssignGlobalBar

public void visitAssignGlobalBar(AssignGlobalBarLabel label,
                                 java.lang.Object dst)

Specified by:

visitAssignGlobalBar in interface IFlowLabel.IFlowLabelVisitor

visitAssignBar

public void visitAssignBar(AssignBarLabel label,
                           java.lang.Object dst)

Specified by:

visitAssignBar in interface IFlowLabel.IFlowLabelVisitor

visitGetFieldBar

public void visitGetFieldBar(GetFieldBarLabel label,
                             java.lang.Object dst)

Specified by:

visitGetFieldBar in interface IFlowLabel.IFlowLabelVisitor

visitMatchBar

public void visitMatchBar(MatchBarLabel label,
                          java.lang.Object dst)

Specified by:

visitMatchBar in interface IFlowLabel.IFlowLabelVisitor

visitNewBar

public void visitNewBar(NewBarLabel label,
                        java.lang.Object dst)

Specified by:

visitNewBar in interface IFlowLabel.IFlowLabelVisitor

visitPutFieldBar

public void visitPutFieldBar(PutFieldBarLabel label,
                             java.lang.Object dst)

Specified by:

visitPutFieldBar in interface IFlowLabel.IFlowLabelVisitor

visitReturnBar

public void visitReturnBar(ReturnBarLabel label,
                           java.lang.Object dst)

Specified by:

visitReturnBar in interface IFlowLabel.IFlowLabelVisitor

visitParamBar

public void visitParamBar(ParamBarLabel label,
                          java.lang.Object dst)

Specified by:

visitParamBar in interface IFlowLabel.IFlowLabelVisitor