|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.cmu.cs.crystal.flow.SingleResult<LE>
LE
- the type that represents the analysis knowledgepublic class SingleResult<LE>
This is a degenerate result that maps all labels to a
single lattice element and only knows a single label,
NormalLabel
.
This is a useful class if you want to return the same lattice information no matter
what label is used. It is the least expressive as it does not track labels, but simple.
Constructor Summary | |
---|---|
SingleResult(LE singleValue)
Create a result that maps all labels to the given lattice element. |
Method Summary | |
---|---|
LE |
get(ILabel label)
Clients should not modify the returned value. |
IResult<LE> |
join(IResult<LE> otherResult,
IAbstractLatticeOperations<LE,?> op)
Clients do not usually call this method. |
Set<ILabel> |
keySet()
Returns the set of labels mapped by this IResult . |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SingleResult(LE singleValue)
singleValue
- The single lattice element all labels will map to.Method Detail |
---|
public LE get(ILabel label)
IResult
label
is null
.
get
in interface IResult<LE>
public Set<ILabel> keySet()
IResult
IResult
.
keySet
in interface IResult<LE>
public IResult<LE> join(IResult<LE> otherResult, IAbstractLatticeOperations<LE,?> op)
IResult
IResult
objects passed in.
join
in interface IResult<LE>
otherResult
- IResult
object to join this IResult
with.op
- 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 |