joeq.Compiler.Analysis.IPSSA.Utils
Class AnalysisObjectSpec.PAObjectSpec

java.lang.Object
  extended by joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec
      extended by joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec.PAObjectSpec
Enclosing class:
AnalysisObjectSpec

public static class AnalysisObjectSpec.PAObjectSpec
extends AnalysisObjectSpec


Nested Class Summary
 
Nested classes/interfaces inherited from class joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec
AnalysisObjectSpec.IPSSAObjectSpec, AnalysisObjectSpec.PAObjectSpec, AnalysisObjectSpec.UnknownAnalysisObjectExeption
 
Method Summary
static AnalysisObjectSpec.PAObjectSpec create(PAResultSelector sel, String line)
           
 net.sf.javabdd.TypedBDDFactory.TypedBDD getBDD()
           
 MethodSummary.Node getNode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

create

public static AnalysisObjectSpec.PAObjectSpec create(PAResultSelector sel,
                                                     String line)

getBDD

public net.sf.javabdd.TypedBDDFactory.TypedBDD getBDD()
                                               throws AnalysisObjectSpec.UnknownAnalysisObjectExeption
Throws:
AnalysisObjectSpec.UnknownAnalysisObjectExeption

getNode

public MethodSummary.Node getNode()
                           throws AnalysisObjectSpec.UnknownAnalysisObjectExeption
Throws:
AnalysisObjectSpec.UnknownAnalysisObjectExeption

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2001-2008 John Whaley. All Rights Reserved.