Package tools.refinery.logic.term.string

Class StringValue.Unknown

java.lang.Object

tools.refinery.logic.term.string.StringValue.Unknown

All Implemented Interfaces:

Comparable<StringValue>, AbstractValue<StringValue,String>, Add<StringValue>, StringValue

Enclosing interface:

StringValue

public static final class StringValue.Unknown
extends Object
implements StringValue

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.logic.term.string.StringValue

StringValue.Concrete, StringValue.Error, StringValue.Unknown

Field Summary

Fields inherited from interface tools.refinery.logic.term.string.StringValue

ERROR, UNKNOWN

Method Summary

Modifier and Type	Method	Description
StringValue	add(StringValue other)
TruthValue	checkEquals(StringValue other)
int	compareTo(@NotNull StringValue other)
@NotNull String	getArbitrary()
@Nullable String	getConcrete()
boolean	isConcrete()
boolean	isError()
boolean	isOverlapping(StringValue other)
boolean	isRefinementOf(StringValue other)
StringValue	join(StringValue other)
StringValue	meet(StringValue other)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getArbitrary

@NotNull
public @NotNull String getArbitrary()

Specified by:

getArbitrary in interface AbstractValue<StringValue,String>

isError

public boolean isError()

Specified by:

isError in interface AbstractValue<StringValue,String>

join

public StringValue join(StringValue other)

Specified by:

join in interface AbstractValue<StringValue,String>

meet

public StringValue meet(StringValue other)

Specified by:

meet in interface AbstractValue<StringValue,String>

isRefinementOf

public boolean isRefinementOf(StringValue other)

Specified by:

isRefinementOf in interface AbstractValue<StringValue,String>

isOverlapping

public boolean isOverlapping(StringValue other)

Specified by:

isOverlapping in interface AbstractValue<StringValue,String>

checkEquals

public TruthValue checkEquals(StringValue other)

Specified by:

checkEquals in interface AbstractValue<StringValue,String>

add

public StringValue add(StringValue other)

Specified by:

add in interface Add<StringValue>

toString

public String toString()

Overrides:

toString in class Object

getConcrete

@Nullable
public @Nullable String getConcrete()

Specified by:

getConcrete in interface AbstractValue<StringValue,String>

isConcrete

public boolean isConcrete()

Specified by:

isConcrete in interface AbstractValue<StringValue,String>

compareTo

public int compareTo(@NotNull
 @NotNull StringValue other)

Specified by:

compareTo in interface Comparable<StringValue>