Module aya.base
Package org.aya.tyck.pat

Interface ClausesProblem

All Superinterfaces:
org.aya.util.reporter.Problem
All Known Implementing Classes:
ClausesProblem.Conditions, ClausesProblem.Confluence, ClausesProblem.Domination, ClausesProblem.FMDomination, ClausesProblem.MissingCase, ClausesProblem.UnsureCase
public sealed interface ClausesProblem extends org.aya.util.reporter.Problem permits ClausesProblem.Conditions, ClausesProblem.Confluence, ClausesProblem.MissingCase, ClausesProblem.UnsureCase, ClausesProblem.Domination, ClausesProblem.FMDomination

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    ClausesProblem.Conditions
     
    static final record 
    ClausesProblem.Confluence
     
    static final record 
    ClausesProblem.Domination
     
    static final record 
    ClausesProblem.FMDomination
     
    static final record 
    ClausesProblem.MissingCase
     
    static final record 
    ClausesProblem.UnsureCase
     

    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()
     

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

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

  • Method Details

    • level

      @NotNull default @NotNull org.aya.util.reporter.Problem.Severity level()
      Specified by:
      level in interface org.aya.util.reporter.Problem