Class Hierarchy
- java.lang.Object
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- java.lang.RuntimeException
- org.aya.generic.util.InterruptException
- org.aya.tyck.order.AyaSccTycker.SCCTyckingFailed
- org.aya.generic.util.InterruptException
- java.lang.RuntimeException
- java.lang.Exception
- java.lang.Throwable (implements java.io.Serializable)
Interface Hierarchy
Record Class Hierarchy
- java.lang.Object
- java.lang.Record
- org.aya.tyck.order.AyaOrgaTycker (implements org.aya.util.tyck.OrgaTycker<T,
E>) - org.aya.tyck.order.AyaSccTycker (implements org.aya.util.tyck.SCCTycker<T,
E>) - org.aya.tyck.order.SigRefFinder (implements org.aya.concrete.visitor.ExprConsumer)
- org.aya.tyck.order.TyckOrder.Body (implements org.aya.tyck.order.TyckOrder)
- org.aya.tyck.order.TyckOrder.Head (implements org.aya.tyck.order.TyckOrder)
- org.aya.tyck.order.AyaOrgaTycker (implements org.aya.util.tyck.OrgaTycker<T,
- java.lang.Record