AbstractMethodError

scala

AnyRef

scala

ArrayIndexOutOfBoundsException

scala

alreadyAnalyzed

TransitiveChecker

analyzeClassHierarchy

TransitiveTraverser

areSerializable

TransitiveChecker

assumeClosed

TransitiveChecker

assumeClosedExistence

ExistentialShield