object ThrownExceptionsFallback extends (PropertyStore, FallbackReason, Entity) => ThrownExceptions
A very straight forward flow-insensitive analysis which can successfully analyze methods
with respect to the potentially thrown exceptions under the conditions that no other
methods are invoked and that no exceptions are explicitly thrown (ATHROW). This analysis
always computes a sound over approximation of the potentially thrown exceptions.
The analysis has limited support for the following cases to be more precise in case of common code patterns (e.g., a standard getter):
- If all instance based field reads are using the self reference "this" and "this" is used in the expected manner
- If no org.opalj.br.instructions.MONITORENTER/org.opalj.br.instructions.MONITOREXIT
instructions are found, the return instructions will not throw
IllegalMonitorStateExceptions.
Hence, the primary use case of this method is to identify those methods that are guaranteed to never throw exceptions.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ThrownExceptionsFallback
- Function3
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final val ObjectEqualsMethodDescriptor: MethodDescriptor
- def apply(ps: PropertyStore, m: Method): ThrownExceptions
- def apply(ps: PropertyStore, e: Entity): ThrownExceptions
- def apply(ps: PropertyStore, reason: FallbackReason, e: Entity): ThrownExceptions
- Definition Classes
- ThrownExceptionsFallback → Function3
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- def curried: (PropertyStore) => (FallbackReason) => (Entity) => ThrownExceptions
- Definition Classes
- Function3
- Annotations
- @unspecialized()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- Function3 → AnyRef → Any
- def tupled: ((PropertyStore, FallbackReason, Entity)) => ThrownExceptions
- Definition Classes
- Function3
- Annotations
- @unspecialized()
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated