Package tools.refinery.logic.term.string

Record Class StringValue.Concrete

java.lang.Object

java.lang.Record

tools.refinery.logic.term.string.StringValue.Concrete

All Implemented Interfaces:

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

Enclosing interface:

StringValue

public static record StringValue.Concrete(@NotNull String value)
extends Record
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

Constructor Summary

Constructors

Constructor	Description
Concrete(@NotNull String value)	Creates an instance of a Concrete record class.

Method Summary

Modifier and Type	Method	Description
StringValue	add(StringValue other)
TruthValue	checkEquals(StringValue other)
int	compareTo(@NotNull StringValue other)
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
@NotNull String	getArbitrary()
@NotNull String	getConcrete()
final int	hashCode()	Returns a hash code value for this object.
boolean	isConcrete()
boolean	isError()
boolean	isOverlapping(StringValue other)
boolean	isRefinementOf(StringValue other)
StringValue	join(StringValue other)
StringValue	meet(StringValue other)
@NotNull String	toString()	Returns a string representation of this record class.
@NotNull String	value()	Returns the value of the value record component.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Concrete

public Concrete(@NotNull
 @NotNull String value)

Creates an instance of a Concrete record class.

Parameters:

value - the value for the value record component

Method Details

getConcrete

@NotNull
public @NotNull String getConcrete()

Specified by:

getConcrete in interface AbstractValue<StringValue,String>

isConcrete

public boolean isConcrete()

Specified by:

isConcrete in interface AbstractValue<StringValue,String>

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>

add

public StringValue add(StringValue other)

Specified by:

add in interface Add<StringValue>

checkEquals

public TruthValue checkEquals(StringValue other)

Specified by:

checkEquals in interface AbstractValue<StringValue,String>

toString

@NotNull
public @NotNull String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

compareTo

public int compareTo(@NotNull
 @NotNull StringValue other)

Specified by:

compareTo in interface Comparable<StringValue>

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

value

@NotNull
public @NotNull String value()

Returns the value of the value record component.

Returns:

the value of the value record component