模块 aya.base

程序包 org.aya.tyck.pat

接口 PatternProblem

所有超级接口:

org.aya.util.reporter.Problem

所有已知实现类:

PatternProblem.BlockedEval, 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.UnknownCtor, PatternProblem.TupleNonSig, PatternProblem.TooManyPattern, PatternProblem.InsufficientPattern, PatternProblem.TooManyImplicitPattern

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	PatternProblem.BlockedEval
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

从接口继承的嵌套类/接口 org.aya.util.reporter.Problem

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

字段概要

从接口继承的字段 org.aya.util.reporter.Problem

ERROR, NOTE, TEXT

方法概要

修饰符和类型	方法	说明
default @NotNull org.aya.util.reporter.Problem.Severity	level()
@NotNull Pattern	pattern()
default @NotNull org.aya.util.error.SourcePos	sourcePos()

从接口继承的方法 org.aya.util.reporter.Problem

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

方法详细资料

pattern

@NotNull
@NotNull Pattern pattern()

sourcePos

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

指定者:

sourcePos 在接口中 org.aya.util.reporter.Problem

level

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

指定者:

level 在接口中 org.aya.util.reporter.Problem