Package ch.so.agi.mcp.constraint

Record Class ConstraintModelSynthesizer.ReferenceBinding

java.lang.Object

java.lang.Record

ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding

Enclosing class:

ConstraintModelSynthesizer

public static record ConstraintModelSynthesizer.ReferenceBinding(ConstraintExpression.Reference reference, ConstraintModelSynthesizer.ValueDomain domain, String attributeName, @Nullable ConstraintModelSynthesizer.AssociationBinding association, List<ConstraintModelSynthesizer.NavigationBinding> navigation)
extends Record

Constructor Summary

Constructors

Constructor	Description
ReferenceBinding(ConstraintExpression.Reference reference, ConstraintModelSynthesizer.ValueDomain domain, String attributeName, @Nullable ConstraintModelSynthesizer.AssociationBinding association)
ReferenceBinding(ConstraintExpression.Reference reference, ConstraintModelSynthesizer.ValueDomain domain, String attributeName, @Nullable ConstraintModelSynthesizer.AssociationBinding association, List<ConstraintModelSynthesizer.NavigationBinding> navigation)	Creates an instance of a ReferenceBinding record class.

Method Summary

Modifier and Type	Method	Description
@Nullable ConstraintModelSynthesizer.AssociationBinding	association()	Returns the value of the association record component.
boolean	associationPath()
String	attributeName()	Returns the value of the attributeName record component.
ConstraintModelSynthesizer.ValueDomain	domain()	Returns the value of the domain record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
final int	hashCode()	Returns a hash code value for this object.
boolean	navigatedPath()
List<ConstraintModelSynthesizer.NavigationBinding>	navigation()	Returns the value of the navigation record component.
ConstraintExpression.Reference	reference()	Returns the value of the reference record component.
final String	toString()	Returns a string representation of this record class.

Methods inherited from class java.lang.Object

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

Constructor Details

ReferenceBinding

public ReferenceBinding(ConstraintExpression.Reference reference,
 ConstraintModelSynthesizer.ValueDomain domain,
 String attributeName,
 @Nullable ConstraintModelSynthesizer.AssociationBinding association,
 List<ConstraintModelSynthesizer.NavigationBinding> navigation)

Creates an instance of a ReferenceBinding record class.

Parameters:

reference - the value for the reference record component

domain - the value for the domain record component

attributeName - the value for the attributeName record component

association - the value for the association record component

navigation - the value for the navigation record component

ReferenceBinding

public ReferenceBinding(ConstraintExpression.Reference reference,
 ConstraintModelSynthesizer.ValueDomain domain,
 String attributeName,
 @Nullable ConstraintModelSynthesizer.AssociationBinding association)

Method Details

associationPath

public boolean associationPath()

navigatedPath

public boolean navigatedPath()

toString

public final 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

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.

reference

public ConstraintExpression.Reference reference()

Returns the value of the reference record component.

Returns:

the value of the reference record component

domain

public ConstraintModelSynthesizer.ValueDomain domain()

Returns the value of the domain record component.

Returns:

the value of the domain record component

attributeName

public String attributeName()

Returns the value of the attributeName record component.

Returns:

the value of the attributeName record component

association

public @Nullable ConstraintModelSynthesizer.AssociationBinding association()

Returns the value of the association record component.

Returns:

the value of the association record component

navigation

public List<ConstraintModelSynthesizer.NavigationBinding> navigation()

Returns the value of the navigation record component.

Returns:

the value of the navigation record component