harpoon.Analysis.PA2.Mutation
Class MLabel

java.lang.Object
  harpoon.Analysis.PA2.Mutation.MLabel

Direct Known Subclasses:

MLabel.Field, MLabel.Param, MLabel.Reach, MLabel.ReachFromStat

public abstract class MLabel
extends Object

MLabel - labels for the mutation NFA. These labels will appear in the generated regular expression that covers all mutated locations.

Version:

$Id: MLabel.java,v 1.2 2005/09/07 20:36:50 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Nested Class Summary

static class	MLabel.Field
static class	MLabel.Param
static class	MLabel.Reach
static class	MLabel.ReachFromStat

Field Summary

static MLabel	reach
static MLabel	reachFromStat

Constructor Summary

MLabel()

Method Summary

static MLabel

field2mlabel(HField hf)

Methods inherited from class java.lang.Object

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

Field Detail

reach

public static final MLabel reach

reachFromStat

public static final MLabel reachFromStat

Constructor Detail

MLabel

public MLabel()

Method Detail

field2mlabel

public static MLabel field2mlabel(HField hf)