joeq.Compiler.Analysis.IPSSA
Class SSAProcInfo.Query

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

Enclosing class:

SSAProcInfo

public static class SSAProcInfo.Query
extends Object

This class is used to get information about the IPSSA representation. Use SSAProcInfo.retreiveQuery to get an appropriate query.

See Also:

SSAProcInfo.Helper

Field Summary

protected HashMap	_bindingMap
protected ControlFlowGraph	_cfg
protected DominatorQuery	_dom_query

Constructor Summary

protected

SSAProcInfo.Query(jq_Method method)

Method Summary

int	getBindingCount(Quad quad)
SSAIterator.BindingIterator	getBindingIterator(jq_Method method) An iterator for all bindings in method.
SSAIterator.BindingIterator	getBindingIterator(Quad q)
SSADefinition	getDefinitionFor(SSALocation loc, Quad q)
DominatorQuery	getDominatorQuery()
Quad	getFirstQuad()
SSADefinition	getLastDefinitionFor(SSALocation loc, Quad q, boolean strict)
void	print(PrintStream out)
void	printDot()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_cfg

protected ControlFlowGraph _cfg

_dom_query

protected DominatorQuery _dom_query

_bindingMap

protected HashMap _bindingMap

Constructor Detail

SSAProcInfo.Query

protected SSAProcInfo.Query(jq_Method method)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getDefinitionFor

public SSADefinition getDefinitionFor(SSALocation loc,
                                      Quad q)

getLastDefinitionFor

public SSADefinition getLastDefinitionFor(SSALocation loc,
                                          Quad q,
                                          boolean strict)

getBindingIterator

public SSAIterator.BindingIterator getBindingIterator(Quad q)

getBindingCount

public int getBindingCount(Quad quad)

getBindingIterator

public SSAIterator.BindingIterator getBindingIterator(jq_Method method)

An iterator for all bindings in method.

print

public void print(PrintStream out)

printDot

public void printDot()

getDominatorQuery

public DominatorQuery getDominatorQuery()

getFirstQuad

public Quad getFirstQuad()