edu.cmu.cs.crystal.flow
Interface ILabel

All Known Implementing Classes:
BooleanLabel, ExceptionalLabel, IteratorLabel, NormalLabel, SwitchLabel

public interface ILabel

A label is a named edge on a control flow graph. This is used for distinguishing between multiple branches on the control flow, and to allow a branch-senstive analysis to track lattices along branches seperately. Labels will properly override Object#equals and Object#hashCode, and so can be compared to each other and used as keys in a hash.

Author:
Kevin Bierhoff
See Also:
IResult, IBranchSensitiveTransferFunction, ITACBranchSensitiveTransferFunction

Method Summary
 String getLabel()
           
 

Method Detail

getLabel

String getLabel()