Package tools.refinery.logic.term.cardinalityinterval

Record Class NonEmptyCardinalityInterval

java.lang.Object

java.lang.Record

tools.refinery.logic.term.cardinalityinterval.NonEmptyCardinalityInterval

All Implemented Interfaces:

AbstractValue<CardinalityInterval,Integer>, CardinalityInterval

public record NonEmptyCardinalityInterval(int lowerBound, UpperCardinality upperBound)
extends Record
implements CardinalityInterval

Constructor Summary

Constructors

Constructor	Description
NonEmptyCardinalityInterval(int lowerBound, UpperCardinality upperBound)	Creates an instance of a NonEmptyCardinalityInterval record class.

Method Summary

Modifier and Type	Method	Description
CardinalityInterval	add(CardinalityInterval other)
boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
@NotNull Integer	getArbitrary()
@Nullable Integer	getConcrete()
int	hashCode()	Returns a hash code value for this object.
boolean	isConcrete()
boolean	isError()
boolean	isRefinementOf(CardinalityInterval other)
CardinalityInterval	join(CardinalityInterval other)
int	lowerBound()	Returns the value of the lowerBound record component.
CardinalityInterval	max(CardinalityInterval other)
CardinalityInterval	meet(CardinalityInterval other)
CardinalityInterval	min(CardinalityInterval other)
CardinalityInterval	multiply(CardinalityInterval other)
CardinalityInterval	take(int count)
String	toString()	Returns a string representation of this record class.
UpperCardinality	upperBound()	Returns the value of the upperBound record component.

Methods inherited from class java.lang.Object

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

Constructor Details

NonEmptyCardinalityInterval

public NonEmptyCardinalityInterval(int lowerBound,
 UpperCardinality upperBound)

Creates an instance of a NonEmptyCardinalityInterval record class.

Parameters:

lowerBound - the value for the lowerBound record component

upperBound - the value for the upperBound record component

Method Details

getConcrete

@Nullable
public @Nullable Integer getConcrete()

Specified by:

getConcrete in interface AbstractValue<CardinalityInterval,Integer>

isConcrete

public boolean isConcrete()

Specified by:

isConcrete in interface AbstractValue<CardinalityInterval,Integer>

getArbitrary

@NotNull
public @NotNull Integer getArbitrary()

Specified by:

getArbitrary in interface AbstractValue<CardinalityInterval,Integer>

isError

public boolean isError()

Specified by:

isError in interface AbstractValue<CardinalityInterval,Integer>

isRefinementOf

public boolean isRefinementOf(CardinalityInterval other)

Specified by:

isRefinementOf in interface AbstractValue<CardinalityInterval,Integer>

min

public CardinalityInterval min(CardinalityInterval other)

Specified by:

min in interface CardinalityInterval

max

public CardinalityInterval max(CardinalityInterval other)

Specified by:

max in interface CardinalityInterval

add

public CardinalityInterval add(CardinalityInterval other)

Specified by:

add in interface CardinalityInterval

multiply

public CardinalityInterval multiply(CardinalityInterval other)

Specified by:

multiply in interface CardinalityInterval

meet

public CardinalityInterval meet(CardinalityInterval other)

Specified by:

meet in interface AbstractValue<CardinalityInterval,Integer>

join

public CardinalityInterval join(CardinalityInterval other)

Specified by:

join in interface AbstractValue<CardinalityInterval,Integer>

take

public CardinalityInterval take(int count)

Specified by:

take in interface CardinalityInterval

toString

public 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

equals

public 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. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.

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.

hashCode

public 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

lowerBound

public int lowerBound()

Returns the value of the lowerBound record component.

Specified by:

lowerBound in interface CardinalityInterval

Returns:

the value of the lowerBound record component

upperBound

public UpperCardinality upperBound()

Returns the value of the upperBound record component.

Specified by:

upperBound in interface CardinalityInterval

Returns:

the value of the upperBound record component