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

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec
      joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec.IPSSAObjectSpec

Enclosing class:

AnalysisObjectSpec

public static class AnalysisObjectSpec.IPSSAObjectSpec
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.IPSSAObjectSpec	create(IPSSABuilder builder, java.lang.String line)
SSADefinition	getDefinition()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

create

public static AnalysisObjectSpec.IPSSAObjectSpec create(IPSSABuilder builder,
                                                        java.lang.String line)

getDefinition

public SSADefinition getDefinition()
                            throws AnalysisObjectSpec.UnknownAnalysisObjectExeption

Throws:

AnalysisObjectSpec.UnknownAnalysisObjectExeption