joeq.Compiler.Analysis.IPA
Class PAQuery

java.lang.Object
  joeq.Compiler.Analysis.IPA.PAQuery

public class PAQuery
extends Object

A query on top of PAResults. Will probably need to move nested classes to other places later.

Version:

$Id: PAQuery.java 2470 2006-07-17 05:20:48Z joewhaley $

Author:

Vladimir Livshits

See Also:

PAQuery.ParamAliasFinder, PAQuery.ConstParameterFinder

Nested Class Summary

static class	PAQuery.ConstParameterFinder Application for finding and printing const-parameters.
static class	PAQuery.HeapReferenceStat Produces statistics on how many locations are references by a given load or store within a given context.
static class	PAQuery.ParamAliasFinder Finds parameter aliases under different constexts.

Constructor Summary

PAQuery()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

PAQuery

public PAQuery()