|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
LE
- the type that represents the analysis knowledgepublic interface IResult<LE>
Interface for mapping branch labels to analysis information. Clients do not usually have to implement this interface. Instead, use one of the pre-defined implementing classes. If you want a single lattice value regardless of labels and do not want to track labels, use @link{SingleResult}. If you want a single lattice value but do want to track labels, use @link{LabeledSingleResult}. If you want to provide different lattice values for each label, use @link{LabeledResult}.
Method Summary | |
---|---|
LE |
get(ILabel label)
Clients should not modify the returned value. |
IResult<LE> |
join(IResult<LE> otherResult,
IAbstractLatticeOperations<LE,?> ops)
Clients do not usually call this method. |
Set<ILabel> |
keySet()
Returns the set of labels mapped by this IResult . |
Method Detail |
---|
LE get(ILabel label)
label
is null
.
label
-
null
if the label
is unknown.Set<ILabel> keySet()
IResult
.
IResult
.
This method must not return null
IResult<LE> join(IResult<LE> otherResult, IAbstractLatticeOperations<LE,?> ops)
IResult
objects passed in.
otherResult
- IResult
object to join this IResult
with.ops
- Lattice operations so we can join individual elements.
ILatticeOperations.join(LE, LE, org.eclipse.jdt.core.dom.ASTNode)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |