com.ibm.wala.cast.js.ipa.callgraph.correlations.extraction

Class PosSwitch<A>

java.lang.Object

com.ibm.wala.cast.js.ipa.callgraph.correlations.extraction.PosSwitch<A>

public abstract class PosSwitch<A>
extends Object

Constructor Summary

Constructors

Constructor and Description
PosSwitch()

Method Summary

Methods

Modifier and Type	Method and Description
abstract A	caseChildPos(ChildPos pos)
abstract A	caseForInLoopBodyPos(ExtractionPos pos)
abstract A	caseLabelPos(LabelPos pos)
abstract A	caseRootPos(RootPos pos)

Methods inherited from class java.lang.Object

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

Constructor Detail

PosSwitch

public PosSwitch()

Method Detail

caseRootPos

public abstract A caseRootPos(RootPos pos)

caseChildPos

public abstract A caseChildPos(ChildPos pos)

caseForInLoopBodyPos

public abstract A caseForInLoopBodyPos(ExtractionPos pos)

caseLabelPos

public abstract A caseLabelPos(LabelPos pos)