harpoon.Analysis.PA2
Class DSFactories

java.lang.Object
  harpoon.Analysis.PA2.DSFactories

public class DSFactories
extends Object

DSFactories

Version:

$Id: DSFactories.java,v 1.4 2005/08/31 02:37:54 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Field Summary

static jpaul.DataStructs.SetFactory<jpaul.DataStructs.Pair<PANode,HField>>	abstractFieldSetFactory Factory used to generate the sets of mutated abstract fields.
static jpaul.DataStructs.Factory<PAEdgeSet>	edgeSetFactory Factory used to generate all set of edges (inside and outside).
static jpaul.DataStructs.RelationFactory<PANode,PANode>	mappingFactory
static jpaul.DataStructs.SetFactory<PANode>	nodeSetFactory Factory used to generate all set of nodes (returned/thrown nodes, escaped nodes etc.)

Constructor Summary

DSFactories()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

edgeSetFactory

public static final jpaul.DataStructs.Factory<PAEdgeSet> edgeSetFactory

Factory used to generate all set of edges (inside and outside).

nodeSetFactory

public static final jpaul.DataStructs.SetFactory<PANode> nodeSetFactory

Factory used to generate all set of nodes (returned/thrown nodes, escaped nodes etc.)

mappingFactory

public static final jpaul.DataStructs.RelationFactory<PANode,PANode> mappingFactory

abstractFieldSetFactory

public static final jpaul.DataStructs.SetFactory<jpaul.DataStructs.Pair<PANode,HField>> abstractFieldSetFactory

Factory used to generate the sets of mutated abstract fields.

Constructor Detail

DSFactories

public DSFactories()