模块 aya.base

程序包 org.aya.tyck.pat

接口 ClausesProblem

所有超级接口:

org.aya.util.reporter.Problem

所有已知实现类:

ClausesProblem.Conditions, ClausesProblem.Confluence, ClausesProblem.Domination, ClausesProblem.FMDomination, ClausesProblem.MissingBindCase, ClausesProblem.MissingCase, ClausesProblem.SplitInterval, ClausesProblem.UnsureCase

public sealed interface ClausesProblem
extends org.aya.util.reporter.Problem
permits ClausesProblem.Conditions, ClausesProblem.Confluence, ClausesProblem.MissingCase, ClausesProblem.MissingBindCase, ClausesProblem.SplitInterval, ClausesProblem.UnsureCase, ClausesProblem.Domination, ClausesProblem.FMDomination

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	ClausesProblem.Conditions
static final record	ClausesProblem.Confluence
static final record	ClausesProblem.Domination
static final record	ClausesProblem.FMDomination
static final record	ClausesProblem.MissingBindCase
static final record	ClausesProblem.MissingCase
static final record	ClausesProblem.SplitInterval
static final record	ClausesProblem.UnsureCase

从接口继承的嵌套类/接口 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()

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

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

方法详细资料

level

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

指定者:

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