harpoon.Analysis.PA2.Mutation
Class WPMutationAnalysisCompStage

java.lang.Object
  harpoon.Main.CompilerStage
      harpoon.Main.CompilerStageEZ
          harpoon.Analysis.PA2.Mutation.WPMutationAnalysisCompStage

public class WPMutationAnalysisCompStage
extends CompilerStageEZ

WPMutationAnalysisCompStage

Version:

$Id: WPMutationAnalysisCompStage.java,v 1.16 2006/01/07 17:10:15 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Field Summary

static Map<HMethod,List<Integer>>	method2SafeParams If the --wp-mutation-save option is used, the analysis will save here a map from each analyzed method to the indices of its safe parameters; indices start from 0, and take into account the this argument for the instance methods.
static Set<HMethod>	pureMethods If the --wp-mutation-save option is used, the analysis will save all discovered pure methods in this set.

Fields inherited from class harpoon.Main.CompilerStageEZ

attribs, classHierarchy, frame, hcf, linker, mainM, old_cs, roots

Constructor Summary

WPMutationAnalysisCompStage(jpaul.Misc.BoolMCell paEnabler)

Method Summary

boolean	enabled()
List<Option>	getOptions()
void	real_action()

Methods inherited from class harpoon.Main.CompilerStageEZ

_PACK_CS, _UNPACK_CS, action

Methods inherited from class harpoon.Main.CompilerStage

name

Methods inherited from class java.lang.Object

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

Field Detail

pureMethods

public static Set<HMethod> pureMethods

If the --wp-mutation-save option is used, the analysis will save all discovered pure methods in this set.

method2SafeParams

public static Map<HMethod,List<Integer>> method2SafeParams

If the --wp-mutation-save option is used, the analysis will save here a map from each analyzed method to the indices of its safe parameters; indices start from 0, and take into account the this argument for the instance methods.

Constructor Detail

WPMutationAnalysisCompStage

public WPMutationAnalysisCompStage(jpaul.Misc.BoolMCell paEnabler)

Method Detail

getOptions

public List<Option> getOptions()

Overrides:

getOptions in class CompilerStageEZ

enabled

public boolean enabled()

Specified by:

enabled in class CompilerStage

real_action

public void real_action()

Specified by:

real_action in class CompilerStageEZ