Class AnnotatedValue<T>
- java.lang.Object
-
- org.sosy_lab.common.configuration.AnnotatedValue<T>
-
@Immutable(containerOf="T") public abstract class AnnotatedValue<T> extends Object
Immutable container that stores a value and an optional string.
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract Optional<String>
annotation()
static <T> AnnotatedValue<T>
create(T value)
static <T> AnnotatedValue<T>
create(T value, String annotation)
static <T> AnnotatedValue<T>
create(T value, Optional<String> annotation)
abstract T
value()
-
-
-
Method Detail
-
create
public static <T> AnnotatedValue<T> create(T value)
-
create
public static <T> AnnotatedValue<T> create(T value, String annotation)
-
create
public static <T> AnnotatedValue<T> create(T value, Optional<String> annotation)
-
value
public abstract T value()
-
-