joeq.Compiler.Analysis.IPSSA
Class SSAProcInfo

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSAProcInfo

public final class SSAProcInfo
extends java.lang.Object

Version:

$Id: SSAProcInfo.java,v 1.11 2004/09/22 22:17:32 joewhaley Exp $

Author:

V.Benjamin Livshits

See Also:

SSAProcInfo.Query

Nested Class Summary

static class	SSAProcInfo.Helper This class is used to make modifications to the IPSSA representation.
static class	SSAProcInfo.Query This class is used to get information about the IPSSA representation.

Constructor Summary

SSAProcInfo()

Method Summary

static SSAProcInfo.Helper	retrieveHelper(jq_Method method)
static SSAProcInfo.Query	retrieveQuery(jq_Method method)

Methods inherited from class java.lang.Object

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

Constructor Detail

SSAProcInfo

public SSAProcInfo()

Method Detail

retrieveQuery

public static SSAProcInfo.Query retrieveQuery(jq_Method method)

retrieveHelper

public static SSAProcInfo.Helper retrieveHelper(jq_Method method)