Interface StringValue
- All Superinterfaces:
AbstractValue<StringValue, String>, Add<StringValue>, Comparable<StringValue>
- All Known Implementing Classes:
StringValue.Concrete, StringValue.Error, StringValue.Unknown
public sealed interface StringValue
extends AbstractValue<StringValue, String>, Add<StringValue>
permits StringValue.Unknown, StringValue.Error, StringValue.Concrete
-
Nested Class Summary
Nested ClassesModifier and TypeInterfaceDescriptionstatic final recordstatic final classstatic final class -
Field Summary
Fields -
Method Summary
Static MethodsMethods inherited from interface AbstractValue
checkEquals, getArbitrary, getConcrete, isConcrete, isError, isOverlapping, isRefinementOf, join, meetMethods inherited from interface Comparable
compareTo
-
Field Details
-
UNKNOWN
-
ERROR
-
-
Method Details
-
of
-