Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

avrora.stack
Class Analyzer.FrontierInfo

java.lang.Object
  extended byavrora.stack.Analyzer.FrontierInfo
Enclosing class:
Analyzer
public static class Analyzer.FrontierInfo
extends java.lang.Object

Nested Class Summary
static class Analyzer.FrontierInfo.CallSiteList
           
 
Field Summary
 Analyzer.FrontierInfo.CallSiteList callsites
           
 StateSpace.State state
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

state

public StateSpace.State state

callsites

public Analyzer.FrontierInfo.CallSiteList callsites
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD