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

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec
      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