Class ConditionalTransferResult<V extends AbstractValue<V>,S extends Store<S>>

java.lang.Object
org.checkerframework.dataflow.analysis.TransferResult<V,S>
org.checkerframework.dataflow.analysis.ConditionalTransferResult<V,S>
Type Parameters:
V - type of the abstract value that is tracked
S - the store type used in the analysis

public class ConditionalTransferResult<V extends AbstractValue<V>,S extends Store<S>> extends TransferResult<V,S>
Implementation of a TransferResult with two non-exceptional stores. The 'then' store contains information valid when the previous boolean-valued expression was true, and the 'else' store contains information valid when the expression was false.

getRegularStore() returns the least upper bound of the two underlying stores.