模块 org.aya

程序包 org.aya.concrete.error

类 OperatorProblem

java.lang.Object

org.aya.concrete.error.OperatorProblem

public final class OperatorProblem
extends Object

嵌套类概要

嵌套类

修饰符和类型	类	说明
static final record	OperatorProblem.AmbiguousPredError
static final record	OperatorProblem.BindSelfError
static final record	OperatorProblem.Circular
static final record	OperatorProblem.FixityError
static final record	OperatorProblem.NotOperator

构造器概要

构造器

构造器	说明
OperatorProblem()

方法概要

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

OperatorProblem

public OperatorProblem()