ContextSensitiveStateMachine.RecursionHandler (wala 1.6.8-SNAPSHOT API)

All Known Implementing Classes:: ContextSensitiveStateMachine.BasicRecursionHandler

Enclosing class:: ContextSensitiveStateMachine

public static interface ContextSensitiveStateMachine.RecursionHandler

Method Summary

Modifier and Type

Method

Description

boolean

isRecursive(CallerSiteContext callSite)

ContextSensitiveStateMachine.RecursionHandler

makeNew()

in lieu of creating factories

void

makeRecursive(Collection<CallerSiteContext> callSites)

Method Details
- isRecursive
  
  boolean isRecursive(CallerSiteContext callSite)
- makeRecursive
  
  void makeRecursive(Collection<CallerSiteContext> callSites)
- makeNew
  
  ContextSensitiveStateMachine.RecursionHandler makeNew()
  
  in lieu of creating factories