Package tools.refinery.logic.term.string

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 Classes

Modifier and Type	Interface	Description
static final record	StringValue.Concrete
static final class	StringValue.Error
static final class	StringValue.Unknown

Field Summary

Fields

Modifier and Type	Field	Description
static final StringValue	ERROR
static final StringValue	UNKNOWN

Method Summary

Static Methods

Modifier and Type	Method	Description
static StringValue	of(@Nullable String value)

Methods inherited from interface tools.refinery.logic.AbstractValue

checkEquals, getArbitrary, getConcrete, isConcrete, isError, isOverlapping, isRefinementOf, join, meet

Methods inherited from interface tools.refinery.logic.term.operators.Add

add

Methods inherited from interface java.lang.Comparable

compareTo

Field Details

UNKNOWN

static final StringValue UNKNOWN

ERROR

static final StringValue ERROR

Method Details

of

static StringValue of(@Nullable
 @Nullable String value)