harpoon.Analysis.PA2.Mutation
Class MutationNFA

java.lang.Object
  jpaul.Graphs.DiGraph<Vertex>
      jpaul.Graphs.LabeledDiGraph<State,A>
          jpaul.RegExps.NFA<PANode,MLabel>
              harpoon.Analysis.PA2.Mutation.MutationNFA

public class MutationNFA
extends jpaul.RegExps.NFA<PANode,MLabel>

MutationNFA

Version:

$Id: MutationNFA.java,v 1.5 2005/11/30 22:25:56 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Nested Class Summary

Nested classes/interfaces inherited from class jpaul.RegExps.NFA

jpaul.RegExps.NFA.BigState<State>

Nested classes/interfaces inherited from class jpaul.Graphs.LabeledDiGraph

jpaul.Graphs.LabeledDiGraph.LabeledBiDiNavigator<Vertex,Label>, jpaul.Graphs.LabeledDiGraph.LabeledForwardNavigator<Vertex,Label>

Field Summary

Fields inherited from class jpaul.Graphs.DiGraph

CACHING

Constructor Summary

MutationNFA(HMethod hm, InterProcAnalysisResult ipar, PointerAnalysis pa)

Method Summary

protected Collection<PANode>	_acceptStates()
jpaul.Graphs.LabeledDiGraph.LabeledForwardNavigator<PANode,MLabel>	getLabeledForwardNavigator()
PANode	startState()
jpaul.RegExps.RegExp<MLabel>	toRegExp()

Methods inherited from class jpaul.RegExps.NFA

acceptStates, create, create, getRoots, simplify, states, toString

Methods inherited from class jpaul.Graphs.LabeledDiGraph

getForwardNavigator, getLabeledBiDiNavigator, getNavigator

Methods inherited from class jpaul.Graphs.DiGraph

constructBiDiNavigator, dfs, dfs2, diGraph, diGraph, findPath, findPath, forAllVertices, getBiDiNavigator, getComponentDiGraph, numArcs, numVertices, reverseDiGraph, subDiGraph, transitivePred, transitivePred, transitiveSucc, transitiveSucc, union, vertices

Methods inherited from class java.lang.Object

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

Constructor Detail

MutationNFA

public MutationNFA(HMethod hm,
                   InterProcAnalysisResult ipar,
                   PointerAnalysis pa)

Method Detail

startState

public PANode startState()

Specified by:

startState in class jpaul.RegExps.NFA<PANode,MLabel>

_acceptStates

protected Collection<PANode> _acceptStates()

Specified by:

_acceptStates in class jpaul.RegExps.NFA<PANode,MLabel>

getLabeledForwardNavigator

public jpaul.Graphs.LabeledDiGraph.LabeledForwardNavigator<PANode,MLabel> getLabeledForwardNavigator()

Overrides:

getLabeledForwardNavigator in class jpaul.Graphs.LabeledDiGraph<PANode,MLabel>

toRegExp

public jpaul.RegExps.RegExp<MLabel> toRegExp()

Overrides:

toRegExp in class jpaul.RegExps.NFA<PANode,MLabel>