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
getLabel
String getLabel()