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
- All
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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
curried: (PropertyStore) ⇒ (FallbackReason) ⇒ (Entity) ⇒ ThrownExceptions
- Definition Classes
- Function3
- Annotations
- @unspecialized()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
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()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
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(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )