joeq.Compiler.Analysis.IPA
Class PAQuery.ConstParameterFinder

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application
      joeq.Compiler.Analysis.IPA.PAQuery.ConstParameterFinder

All Implemented Interfaces:

Runnable

Enclosing class:

PAQuery

public static class PAQuery.ConstParameterFinder
extends IPSSABuilder.Application

Application for finding and printing const-parameters.

Field Summary

Fields inherited from class joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application

_builder

Constructor Summary

PAQuery.ConstParameterFinder()

PAQuery.ConstParameterFinder(IPSSABuilder builder, String name, String[] args)

Method Summary

boolean	isConst(net.sf.javabdd.TypedBDDFactory.TypedBDD param, jq_Method m, boolean recursive) Check whether parameter param : V1 can of method m can be declared a const parameter.
protected void	parseParams(String[] args)
void	run()

Methods inherited from class joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application

create, getBuilder, getName, initialize, setBuilder

Methods inherited from class java.lang.Object

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

Constructor Detail

PAQuery.ConstParameterFinder

public PAQuery.ConstParameterFinder()

PAQuery.ConstParameterFinder

public PAQuery.ConstParameterFinder(IPSSABuilder builder,
                                    String name,
                                    String[] args)

Method Detail

isConst

public boolean isConst(net.sf.javabdd.TypedBDDFactory.TypedBDD param,
                       jq_Method m,
                       boolean recursive)

Check whether parameter param : V1 can of method m can be declared a const parameter. recursive determines whether we consider callees to look for modifications.

parseParams

protected void parseParams(String[] args)

Specified by:

parseParams in class IPSSABuilder.Application

run

public void run()

Specified by:

run in interface Runnable

Specified by:

run in class IPSSABuilder.Application