joeq.Compiler.Analysis.IPSSA
Class SSAProcInfo.Helper

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

Enclosing class:

SSAProcInfo

public static class SSAProcInfo.Helper
extends Object

This class is used to make modifications to the IPSSA representation.

See Also:

SSAProcInfo.Query

Constructor Summary

protected

SSAProcInfo.Helper(jq_Method method)

Method Summary

static SSADefinition

create_ssa_definition(SSALocation loc, Quad quad, jq_Method method)

Methods inherited from class java.lang.Object

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

Constructor Detail

SSAProcInfo.Helper

protected SSAProcInfo.Helper(jq_Method method)

Method Detail

create_ssa_definition

public static SSADefinition create_ssa_definition(SSALocation loc,
                                                  Quad quad,
                                                  jq_Method method)