Module aya.cli.impl

Package org.aya.cli.parse

Record Class ModifierParser.Filter

java.lang.Object

java.lang.Record

org.aya.cli.parse.ModifierParser.Filter

Record Components:

defaultMods - If a modifier is available, but not present in the declaration, we use the default value from here.

available - Checks if a modifier is available.

Enclosing class:

ModifierParser

public static record ModifierParser.Filter(@NotNull ModifierParser.Modifiers defaultMods, @NotNull Predicate<ModifierParser.Modifier> available)
extends Record

For different declarations we have different modifiers that are available.

Constructor Summary

Constructors

Constructor	Description
Filter(@NotNull ModifierParser.Modifiers defaultMods, @NotNull Predicate<ModifierParser.Modifier> available)	Creates an instance of a Filter record class.

Method Summary

Modifier and Type	Method	Description
@NotNull ModifierParser.Filter	and(@NotNull Predicate<ModifierParser.Modifier> and)
@NotNull Predicate<ModifierParser.Modifier>	available()	Returns the value of the available record component.
static @NotNull ModifierParser.Filter	create(@NotNull org.aya.util.error.WithPos<org.aya.concrete.stmt.Stmt.Accessibility> defaultAcc, @NotNull org.aya.util.error.WithPos<org.aya.concrete.stmt.decl.DeclInfo.Personality> defaultPer, @NotNull EnumSet<ModifierParser.Modifier> miscAvail)
@NotNull ModifierParser.Modifiers	defaultMods()	Returns the value of the defaultMods 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.
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

Filter

public Filter(@NotNull
 @NotNull ModifierParser.Modifiers defaultMods,
 @NotNull
 @NotNull Predicate<ModifierParser.Modifier> available)

Creates an instance of a Filter record class.

Parameters:

defaultMods - the value for the defaultMods record component

available - the value for the available record component

Method Details

and

@NotNull
public @NotNull ModifierParser.Filter and(@NotNull
 @NotNull Predicate<ModifierParser.Modifier> and)

create

@NotNull
public static @NotNull ModifierParser.Filter create(@NotNull
 @NotNull org.aya.util.error.WithPos<org.aya.concrete.stmt.Stmt.Accessibility> defaultAcc,
 @NotNull
 @NotNull org.aya.util.error.WithPos<org.aya.concrete.stmt.decl.DeclInfo.Personality> defaultPer,
 @NotNull
 @NotNull EnumSet<ModifierParser.Modifier> miscAvail)

Parameters:

defaultAcc - Default Stmt.Accessibility

defaultPer - Default DeclInfo.Personality

miscAvail - Available miscellaneous modifiers, see ModifierParser.DefaultModifiers.miscAvail

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.

defaultMods

@NotNull
public @NotNull ModifierParser.Modifiers defaultMods()

Returns the value of the defaultMods record component.

Returns:

the value of the defaultMods record component

available

@NotNull
public @NotNull Predicate<ModifierParser.Modifier> available()

Returns the value of the available record component.

Returns:

the value of the available record component