Module dev.argon.esexpr

Package dev.argon.esexpr

Interface ESExprTagSet

All Known Implementing Classes:

ESExprTagSet.All, ESExprTagSet.Tags

public sealed interface ESExprTagSet
permits ESExprTagSet.All, ESExprTagSet.Tags

Represents a set of expression tags.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	ESExprTagSet.All	A set of all tags.
static final record	ESExprTagSet.Tags	A finite set of tags.

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.
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.
static ESExprTagSet	of(ESExprTag... tags)	Creates an instance of ESExprTagSet from the given tags.
ESExprTagSet	union(ESExprTagSet other)	Creates a tag set with all elements of this and another set.

Method Details

of

static ESExprTagSet of(ESExprTag... tags)

Creates an instance of ESExprTagSet from the given tags.

Parameters:

tags - The array of ESExprTag elements to include in the set.

Returns:

A ESExprTagSet containing the specified tags.

add

ESExprTagSet add(ESExprTag tag)

Creates a tag set with a new tag added.

Parameters:

tag - The tag to add.

Returns:

The updated set.

union

ESExprTagSet union(ESExprTagSet other)

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

Parameters:

other - The other set.

Returns:

The updated set.

isEmpty

boolean isEmpty()

Returns true iff the set is empty.

Returns:

true iff the set is empty

isAll

boolean isAll()

Returns true iff this is the set of all tags.

Returns:

true iff this is the set of all tags

contains

boolean contains(ESExprTag tag)

Checks if the set contains a tag.

Parameters:

tag - The tag to check.

Returns:

true iff the set contains the tag.

isDisjoint

boolean isDisjoint(ESExprTagSet other)

Checks if sets are disjoint.

Parameters:

other - The other set.

Returns:

true iff there are no common elements between the sets.