joeq.Compiler.Analysis.IPA
Class CollectionFinder

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application
      joeq.Compiler.Analysis.IPA.CollectionFinder

All Implemented Interfaces:

Runnable

public class CollectionFinder
extends IPSSABuilder.Application

Finds and outputs information about polymorphic: - fields - method parameters The result is output in XML.

Field Summary

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

_builder

Constructor Summary

CollectionFinder()

CollectionFinder(IPSSABuilder builder, String name, String[] args)

Method Summary

net.sf.javabdd.BDD	calculateCommonSupertype(net.sf.javabdd.BDD types)
net.sf.javabdd.BDD	calculateConcreteTypes(net.sf.javabdd.BDD types, boolean removeNull)
jq_Reference	getType(net.sf.javabdd.TypedBDDFactory.TypedBDD types)
protected void	parseParams(String[] args)
void	run()
static String	xmlEscape(String s)

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

CollectionFinder

public CollectionFinder()

CollectionFinder

public CollectionFinder(IPSSABuilder builder,
                        String name,
                        String[] args)

Method Detail

xmlEscape

public static String xmlEscape(String s)

calculateCommonSupertype

public net.sf.javabdd.BDD calculateCommonSupertype(net.sf.javabdd.BDD types)

calculateConcreteTypes

public net.sf.javabdd.BDD calculateConcreteTypes(net.sf.javabdd.BDD types,
                                                 boolean removeNull)

getType

public jq_Reference getType(net.sf.javabdd.TypedBDDFactory.TypedBDD types)

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