Packages

sealed trait InterpretationFailedException extends AnyRef

Exception that is thrown by the abstract interpreter when the abstract interpretation of a method's implementation failed.

To create an instance use the companion object InterpretationFailedException$.

Source
InterpretationFailedException.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InterpretationFailedException
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract val ai: AI[_ >: domain.type]
  2. abstract def cause: Throwable
  3. abstract val cfJoins: IntTrieSet
  4. abstract val domain: Domain
  5. abstract val evaluatedPCs: IntArrayStack
  6. abstract val localsArray: Domain.LocalsArray
  7. abstract val memoryLayoutBeforeSubroutineCall: List[(Int, Domain.OperandsArray, Domain.LocalsArray)]
  8. abstract val operandsArray: Domain.OperandsArray
  9. abstract val pc: Int
  10. abstract val worklist: List[Int]