Module dev.argon.esexpr

Package dev.argon.esexpr

Record Class ESExprTagSet.Tags

java.lang.Object

java.lang.Record

dev.argon.esexpr.ESExprTagSet.Tags

Record Components:

tags - The tags.

All Implemented Interfaces:

ESExprTagSet

Enclosing interface:

ESExprTagSet

public static record ESExprTagSet.Tags(com.google.common.collect.ImmutableSet<ESExprTag> tags)
extends Record
implements ESExprTagSet

A finite set of tags.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.argon.esexpr.ESExprTagSet

ESExprTagSet.All, ESExprTagSet.Tags

Constructor Summary

Constructors

Constructor	Description
Tags(com.google.common.collect.ImmutableSet<ESExprTag> tags)	Creates an instance of a Tags record class.

Method Summary

Modifier and Type	Method	Description
ESExprTagSet	add(ESExprTag tag)	Creates a tag set with a new tag added.
boolean	contains(ESExprTag tag)	Checks if the set contains a tag.
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	isAll()	Returns true iff this is the set of all tags.
boolean	isDisjoint(ESExprTagSet other)	Checks if sets are disjoint.
boolean	isEmpty()	Returns true iff the set is empty.
com.google.common.collect.ImmutableSet<ESExprTag>	tags()	Returns the value of the tags record component.
final String	toString()	Returns a string representation of this record class.
ESExprTagSet	union(ESExprTagSet other)	Creates a tag set with all elements of this and another set.

Methods inherited from class java.lang.Object

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

Constructor Details

Tags

public Tags(com.google.common.collect.ImmutableSet<ESExprTag> tags)

Creates an instance of a Tags record class.

Parameters:

tags - the value for the tags record component

Method Details

add

public ESExprTagSet add(ESExprTag tag)

Description copied from interface: ESExprTagSet

Creates a tag set with a new tag added.

Specified by:

add in interface ESExprTagSet

Parameters:

tag - The tag to add.

Returns:

The updated set.

union

public ESExprTagSet union(ESExprTagSet other)

Description copied from interface: ESExprTagSet

Creates a tag set with all elements of this and another set.

Specified by:

union in interface ESExprTagSet

Parameters:

other - The other set.

Returns:

The updated set.

isEmpty

public boolean isEmpty()

Description copied from interface: ESExprTagSet

Returns true iff the set is empty.

Specified by:

isEmpty in interface ESExprTagSet

Returns:

true iff the set is empty

isAll

public boolean isAll()

Description copied from interface: ESExprTagSet

Returns true iff this is the set of all tags.

Specified by:

isAll in interface ESExprTagSet

Returns:

true iff this is the set of all tags

contains

public boolean contains(ESExprTag tag)

Description copied from interface: ESExprTagSet

Checks if the set contains a tag.

Specified by:

contains in interface ESExprTagSet

Parameters:

tag - The tag to check.

Returns:

true iff the set contains the tag.

isDisjoint

public boolean isDisjoint(ESExprTagSet other)

Description copied from interface: ESExprTagSet

Checks if sets are disjoint.

Specified by:

isDisjoint in interface ESExprTagSet

Parameters:

other - The other set.

Returns:

true iff there are no common elements between the sets.

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.

tags

public com.google.common.collect.ImmutableSet<ESExprTag> tags()

Returns the value of the tags record component.

Returns:

the value of the tags record component