case classProjectionException(message: String, original_proof: LKskProof, new_proofs: List[LKskProof], nested: Exception) extends Exception with Product with Serializable
This member is added by an implicit conversion from ProjectionException to
any2stringadd[ProjectionException] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from ProjectionException to
ArrowAssoc[ProjectionException] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from ProjectionException to
StringFormat[ProjectionException] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from ProjectionException to
ArrowAssoc[ProjectionException] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Deprecated Value Members
defgetStackTraceString: String
Implicit information
This member is added by an implicit conversion from ProjectionException to
RichException performed by method RichException in scala.Predef.
Definition Classes
RichException
Annotations
@deprecated
Deprecated
(Since version 2.11.0) Use Throwable#getStackTrace