The VTACallGraphExtractor extracts call edges using the type information at hand.
I.e., it does not use the specified declaring class type, but instead uses the
type information about the receiver value that are available.
This member is added by an implicit conversion from VTACallGraphExtractor[TheDomain] to
any2stringadd[VTACallGraphExtractor[TheDomain]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from VTACallGraphExtractor[TheDomain] to
ArrowAssoc[VTACallGraphExtractor[TheDomain]] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from VTACallGraphExtractor[TheDomain] to
Ensuring[VTACallGraphExtractor[TheDomain]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from VTACallGraphExtractor[TheDomain] to
Ensuring[VTACallGraphExtractor[TheDomain]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from VTACallGraphExtractor[TheDomain] to
Ensuring[VTACallGraphExtractor[TheDomain]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from VTACallGraphExtractor[TheDomain] to
Ensuring[VTACallGraphExtractor[TheDomain]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from VTACallGraphExtractor[TheDomain] to
StringFormat[VTACallGraphExtractor[TheDomain]] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from VTACallGraphExtractor[TheDomain] to
ArrowAssoc[VTACallGraphExtractor[TheDomain]] performed by method ArrowAssoc in scala.Predef.
The
VTACallGraphExtractor
extracts call edges using the type information at hand. I.e., it does not use the specified declaring class type, but instead uses the type information about the receiver value that are available.