Module aya.base

Package org.aya.tyck.pat

Interface PatternProblem

All Superinterfaces:

org.aya.util.reporter.Problem

All Known Implementing Classes:

PatternProblem.BadLitPattern, PatternProblem.BlockedEval, PatternProblem.IllegalPropPat, PatternProblem.InsufficientPattern, PatternProblem.PossiblePat, PatternProblem.SplittingOnNonData, PatternProblem.TooManyImplicitPattern, PatternProblem.TooManyPattern, PatternProblem.TupleNonSig, PatternProblem.UnavailableCtor, PatternProblem.UnknownCtor

public sealed interface PatternProblem
extends org.aya.util.reporter.Problem
permits PatternProblem.BlockedEval, PatternProblem.PossiblePat, PatternProblem.SplittingOnNonData, PatternProblem.UnavailableCtor, PatternProblem.IllegalPropPat, PatternProblem.UnknownCtor, PatternProblem.TupleNonSig, PatternProblem.TooManyPattern, PatternProblem.InsufficientPattern, PatternProblem.TooManyImplicitPattern, PatternProblem.BadLitPattern

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	PatternProblem.BadLitPattern
static final record	PatternProblem.BlockedEval
static final record	PatternProblem.IllegalPropPat
static final record	PatternProblem.InsufficientPattern
static final record	PatternProblem.PossiblePat
static final record	PatternProblem.SplittingOnNonData
static final record	PatternProblem.TooManyImplicitPattern
static final record	PatternProblem.TooManyPattern
static final record	PatternProblem.TupleNonSig
static final record	PatternProblem.UnavailableCtor
static final record	PatternProblem.UnknownCtor

Nested classes/interfaces inherited from interface org.aya.util.reporter.Problem

org.aya.util.reporter.Problem.Severity, org.aya.util.reporter.Problem.Stage

Field Summary

Fields inherited from interface org.aya.util.reporter.Problem

ERROR, NOTE, TEXT

Method Summary

Modifier and Type	Method	Description
default @NotNull org.aya.util.reporter.Problem.Severity	level()
@NotNull Pattern	pattern()
default @NotNull org.aya.util.error.SourcePos	sourcePos()

Methods inherited from interface org.aya.util.reporter.Problem

brief, describe, hint, inlineHints, isError, stage, toPrettyError

Method Details

pattern

@NotNull
@NotNull Pattern pattern()

sourcePos

@NotNull
default @NotNull org.aya.util.error.SourcePos sourcePos()

Specified by:

sourcePos in interface org.aya.util.reporter.Problem

level

@NotNull
default @NotNull org.aya.util.reporter.Problem.Severity level()

Specified by:

level in interface org.aya.util.reporter.Problem