Uses of Class
com.ibm.wala.cfg.exc.intra.MethodState

Packages that use MethodState

Package	Description
com.ibm.wala.cfg.exc
com.ibm.wala.cfg.exc.inter
com.ibm.wala.cfg.exc.intra

Uses of MethodState in com.ibm.wala.cfg.exc

Methods in com.ibm.wala.cfg.exc with parameters of type MethodState

Modifier and Type	Method and Description
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, com.ibm.wala.util.MonitorUtil.IProgressMonitor progress)
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, com.ibm.wala.util.MonitorUtil.IProgressMonitor progress, boolean optHasExceptions)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState, boolean optHasException)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)

Uses of MethodState in com.ibm.wala.cfg.exc.inter

Methods in com.ibm.wala.cfg.exc.inter with parameters of type MethodState

Modifier and Type	Method and Description
static InterprocNullPointerAnalysis	InterprocNullPointerAnalysis.compute(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultMethodState, com.ibm.wala.util.MonitorUtil.IProgressMonitor progress, boolean optHasExceptions)

Uses of MethodState in com.ibm.wala.cfg.exc.intra

Fields in com.ibm.wala.cfg.exc.intra declared as MethodState

Modifier and Type	Field and Description
static MethodState	MethodState.DEFAULT

Constructors in com.ibm.wala.cfg.exc.intra with parameters of type MethodState

Constructor and Description
ExplodedCFGNullPointerAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState, boolean optHasExceptions)
SSACFGNullPointerAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)