Package cdc.enums
Interface SynthesisMask<M extends SynthesisMask<M,V>,V>
-
- Type Parameters:
M- The synthesis mask type.V- the value type.
- All Known Implementing Classes:
AbstractSynthesisMask,EnumSynthesisMask,NullableEnumSynthesisMask
public interface SynthesisMask<M extends SynthesisMask<M,V>,V>Interface describing a synthesis mask.It is a map from values to
SynthesisStatus.- Author:
- Damien Carbonne
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description SynthesisStatusget(V value)Returns the status associated to a value.SynthesisMaskSupport<M,V>getSupport()ListType<V>getType()default booleanisLooselySet(V value)booleanisNullable()Mmerge(Mask<?,V> mask)Mmerge(M other)Mset(V value, SynthesisStatus status)Sets the status of a value.MsetAll(SynthesisStatus status)Sets the status of all values.StringtoString(Function<SynthesisStatus,String> statusToString, String separator)
-
-
-
Method Detail
-
getSupport
SynthesisMaskSupport<M,V> getSupport()
- Returns:
- The associated support.
-
isNullable
boolean isNullable()
- Returns:
trueifnullis a valid mask value that can be characterized.
-
set
M set(V value, SynthesisStatus status)
Sets the status of a value.- Parameters:
value- The value.status- The status.- Returns:
- The corresponding mask.
-
setAll
M setAll(SynthesisStatus status)
Sets the status of all values.- Parameters:
status- The status.- Returns:
- The corresponding mask.
-
get
SynthesisStatus get(V value)
Returns the status associated to a value.- Parameters:
value- The value.- Returns:
- The status of
value.
-
isLooselySet
default boolean isLooselySet(V value)
-
toString
String toString(Function<SynthesisStatus,String> statusToString, String separator)
-
-