Module org.kink_lang.kink

Package org.kink_lang.kink.internal.program.itree

Record Class TraitNewValItree

java.lang.Object

java.lang.Record

org.kink_lang.kink.internal.program.itree.TraitNewValItree

Record Components:

trait - the itree of the expected trait, which is spreaded on the head.

spreadPos - the pos of the spreading of the trait.

symValPairs - sym-val pairs.

pos - the pos index of the itree.

All Implemented Interfaces:

Itree, ItreeElem

public record TraitNewValItree(Itree trait, int spreadPos, List<SymValPair> symValPairs, int pos)
extends Record
implements Itree

Itree of new_val(... Trait 'X' x 'Y' y).

Nested Class Summary

Nested classes/interfaces inherited from interface org.kink_lang.kink.internal.program.itree.ItreeElem

ItreeElem.Spread

Constructor Summary

Constructors

Constructor	Description
TraitNewValItree(Itree trait, int spreadPos, List<SymValPair> symValPairs, int pos)	Constructs an itree.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ItreeVisitor<T> visitor)	Accepts a visitor.
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.
int	pos()	Returns the value of the pos record component.
int	spreadPos()	Returns the value of the spreadPos record component.
List<SymValPair>	symValPairs()	Returns the value of the symValPairs record component.
final String	toString()	Returns a string representation of this record class.
Itree	trait()	Returns the value of the trait record component.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.kink_lang.kink.internal.program.itree.Itree

expr, isSingle

Methods inherited from interface org.kink_lang.kink.internal.program.itree.ItreeElem

isSpread

Constructor Details

TraitNewValItree

public TraitNewValItree(Itree trait,
 int spreadPos,
 List<SymValPair> symValPairs,
 int pos)

Constructs an itree.

syms and vals must have the same size.

Parameters:

trait - the itree of the expected trait, which is spreaded on the head.

spreadPos - the pos of the spreading of the trait.

symValPairs - sym-val pairs.

pos - the pos index of the itree.

Method Details

accept

public <T> T accept(ItreeVisitor<T> visitor)

Description copied from interface: Itree

Accepts a visitor.

Specified by:

accept in interface Itree

Type Parameters:

T - the result type of the visitor.

Parameters:

visitor - the visitor.

Returns:

the result of the visitor.

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. 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.

trait

public Itree trait()

Returns the value of the trait record component.

Returns:

the value of the trait record component

spreadPos

public int spreadPos()

Returns the value of the spreadPos record component.

Returns:

the value of the spreadPos record component

symValPairs

public List<SymValPair> symValPairs()

Returns the value of the symValPairs record component.

Returns:

the value of the symValPairs record component

pos

public int pos()

Returns the value of the pos record component.

Specified by:

pos in interface Itree

Specified by:

pos in interface ItreeElem

Returns:

the value of the pos record component