|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.cmu.cs.crystal.flow.LabeledSingleResult<LE>
LE
- the type that represents the lattice elementpublic class LabeledSingleResult<LE>
This class maps a set of known labels to a single lattice element. This is different from @link{SingleResult} because it will return a keyset which may contain more labels, so it will preserve the independence of those branches.
Constructor Summary | |
---|---|
LabeledSingleResult(LE singleValue,
Collection<ILabel> labels)
Creates a result that maps the given labels to the given lattice element. |
Method Summary | ||
---|---|---|
static
|
createResult(LE value,
Collection<ILabel> labels)
Creates a result that maps the given labels to the given lattice element. |
|
static
|
createResult(LE value,
ILabel... labels)
Creates a result that maps the given labels to the given lattice element. |
|
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 LabeledSingleResult(LE singleValue, Collection<ILabel> labels)
singleValue
- The lattice element all given labels will map to.labels
- The labels known to this result.Method Detail |
---|
public static <LE> IResult<LE> createResult(LE value, Collection<ILabel> labels)
value
- The lattice element all given labels will map to.labels
- The labels known to this result.public static <LE> IResult<LE> createResult(LE value, ILabel... labels)
value
- The lattice element all given labels will map to.labels
- The labels known to this result.public Set<ILabel> keySet()
IResult
IResult
.
keySet
in interface IResult<LE>
IResult
.
This method must not return null
public LE get(ILabel label)
IResult
label
is null
.
get
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 |