CallBySignature

This property encapsulates for each interface method those method that are potentially called by call-by-signature means only. Since the property assumes that the current codebase can be extended, it does not make sense to compute this property when a closed-world program/whole application is analyzed.

When an incomplete application or library is analyzed the unknown code could contain subtypes that introduce valid call edges within the known code base. This is in particular the case when it exists an interface and a - from the interface independent - class within the codebase which share a method with the same signature. The unknown codebase could contain a subtype which extends both the class and the interface but does not override the method. If there exists a call on an interface method which fulfills the previously described scenario the method of the class becomes a possible call target even if it does not implement the interface. The following example illustrates this case:

/* Known codebase */

public interface Logger {
  public void log();
}

public class ConcreteLogger {
  public void log(){ /* */} // this method becomes a call target of an interface invocation because of the ApplicationLogger class
}

  /* unknown/hypothetical codebase */

public class ApplicationLogger extends ConcreteLogger implements Logger {
  // if the log method of the interface is invoked the log method of ConcreteLogger is called.
}

Fallback

The CallBySignature property has only a save fallback in the closed-world application scenario where the codebase can not be extended. Hence, in this case it is save to yield NoCBSTargets as fallback. In any other case there is no save fallback. Due to the unavailability of a save fallhback a very simple computation is triggered that returns either NoCBSTargets if no call-by-signature targets could be found and CBSTargets if a sound approximation of possible call-by-signature targets could be found. This computation returns all possible call targets that fulfill the following criteria:

the respective method has to be concrete
the respective method need the access flag public
the declaring class of the respective method allows inheritance (it is not (effectively) final)
the declaring class of the respective method does not implement interface where the given method is defined
if it can not be determined whether the declaring class is a subtype of the interface, the respective method is included in the set of potential call-by-signature targets

Cycle Resolution Strategy

This property does not depend on other entities since there can not be any cycles.

Linear Supertypes

Property, PropertyMetaInformation, PropertyKind, AnyRef, Any

Known Subclasses

CBSTargets, NoCBSTargets, UnknownCBSTargets

Type Members

final type Self = CallBySignature

Definition Classes
CallBySignature → PropertyMetaInformation

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 def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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
def hashCode(): Int

Definition Classes
AnyRef → Any
final def id: Int

Definition Classes
PropertyMetaInformation → PropertyKind
final def isFinal: Boolean

Definition Classes
Property
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def isRefineable: Boolean

Definition Classes
CallBySignature → Property
final def key: PropertyKey[CallBySignature]

Returns the key used by all CallBySignature properties.
Returns the key used by all CallBySignature properties.

Definition Classes
CallBySignature → PropertyMetaInformation
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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
@throws( ... )

Related Docs: object CallBySignature | package properties

sealed trait CallBySignature extends Property

Fallback

Cycle Resolution Strategy

Type Members

final type Self = CallBySignature

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def id: Int

final def isFinal: Boolean

final def isInstanceOf[T0]: Boolean

final def isRefineable: Boolean

final def key: PropertyKey[CallBySignature]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Property

Inherited from PropertyMetaInformation

Inherited from PropertyKind

Inherited from AnyRef

Inherited from Any

Ungrouped