Scala Compiler2.13.6 < Back


# Packages

-  package root

  The Scala compiler and reflection APIs.

  The Scala compiler and reflection APIs.

  Definition Classes
    root
-  package scala
  Definition Classes
    root
-  package tools
  Definition Classes
    scala
-  package nsc
  Definition Classes
    tools
-  package backend
  Definition Classes
    nsc
-  package jvm
  Definition Classes
    backend
-  package opt
  Definition Classes
    jvm
- BoxUnbox
- ByteCodeRepository
- BytecodeUtils
- CallGraph
- ClosureOptimizer
- CopyProp
- InlineInfoAttribute
- InlineInfoAttributePrototype
- Inliner
- InlinerHeuristics
- LabelNotLive
- LocalOpt
- LocalOptImpls
- LruMap
- RemovePair
- RemovePairDependency

c

scala.tools.nsc.backend.jvm.opt

# CallGraph

###

#### abstract class CallGraph extends AnyRef

Source
  CallGraph.scala

Linear Supertypes
AnyRef, Any
Type Hierarchy

Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. CallGraph
2. AnyRef
3. Any

Implicitly

1. by any2stringadd
2. by StringFormat
3. by Ensuring
4. by ArrowAssoc

1. Hide All
2. Show All

Visibility

1. Public
2. Protected

### Instance Constructors

1.  new CallGraph()

### Type Members

1.  sealed trait ArgInfo extends AnyRef

   Information about invocation arguments, obtained through data flow analysis of the callsite method.

2.  final case class Callee(callee: MethodNode, calleeDeclarationClass: ClassBType, isStaticallyResolved: Boolean, sourceFilePath: Option[String], annotatedInline: Boolean, annotatedNoInline: Boolean, samParamTypes: IntMap[ClassBType], calleeInfoWarning: Option[CalleeInfoWarning]) extends Product with Serializable

   A callee in the call graph.

   A callee in the call graph.

   callee

     The callee, as it appears in the invocation instruction. For virtual calls, an override of the callee might be invoked. Also, the callee can be abstract.

   calleeDeclarationClass

     The class in which the callee is declared

   isStaticallyResolved

     True if the callee cannot be overridden

   annotatedInline

     True if the callee is annotated @inline

   annotatedNoInline

     True if the callee is annotated @noinline

   samParamTypes

     A map from parameter positions to SAM parameter types

   calleeInfoWarning

     An inliner warning if some information was not available while gathering the information about this callee.

3.  final case class Callsite(callsiteInstruction: MethodInsnNode, callsiteMethod: MethodNode, callsiteClass: ClassBType, callee: Either[OptimizerWarning, Callee], argInfos: IntMap[ArgInfo], callsiteStackHeight: Int, receiverKnownNotNull: Boolean, callsitePosition: Position, annotatedInline: Boolean, annotatedNoInline: Boolean) extends Product with Serializable

   A callsite in the call graph.

   A callsite in the call graph.

   callsiteInstruction

     The invocation instruction

   callsiteMethod

     The method containing the callsite

   callsiteClass

     The class containing the callsite

   callee

     The callee, as it appears in the invocation instruction. For virtual calls, an override of the callee might be invoked. Also, the callee can be abstract. Contains a warning message if the callee MethodNode cannot be found in the bytecode repository.

   argInfos

     Information about the invocation receiver and arguments

   callsiteStackHeight

     The stack height at the callsite, required by the inliner

   callsitePosition

     The source position of the callsite, used for inliner warnings.

4.  final case class ClosureInstantiation(lambdaMetaFactoryCall: LambdaMetaFactoryCall, ownerMethod: MethodNode, ownerClass: ClassBType, capturedArgInfos: IntMap[ArgInfo]) extends Product with Serializable

   Metadata about a closure instantiation, stored in the call graph

   Metadata about a closure instantiation, stored in the call graph

   lambdaMetaFactoryCall

     the InvokeDynamic instruction

   ownerMethod

     the method where the closure is allocated

   ownerClass

     the class containing the above method

   capturedArgInfos

     information about captured arguments. Used for updating the call graph when re-writing a closure invocation to the body method.

5.  final class FLazy[T] extends AnyRef
6.  final case class ForwardedParam(index: Int) extends ArgInfo with Product with Serializable

### Abstract Value Members

1.  abstract val postProcessor: PostProcessor

### Concrete Value Members

1.  final def !=(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
2.  final def ##: Int
   Definition Classes
     AnyRef → Any
3.  def +(other: String): String
   Implicit
     This member is added by an implicit conversion from CallGraph toany2stringadd[CallGraph] performed by method any2stringadd in scala.Predef.
   Definition Classes
     any2stringadd
4.  def ->[B](y: B): (CallGraph, B)
   Implicit
     This member is added by an implicit conversion from CallGraph toArrowAssoc[CallGraph] performed by method ArrowAssoc in scala.Predef.
   Definition Classes
     ArrowAssoc
   Annotations
     @inline()
5.  final def ==(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
6.  def addCallsite(callsite: Callsite): Unit
7.  def addClass(classNode: ClassNode): Unit
8.  def addMethod(methodNode: MethodNode, definingClass: ClassBType): Unit
9.  final def asInstanceOf[T0]: T0
   Definition Classes
     Any
10.  val callsitePositions: Map[MethodInsnNode, Position]

    Store the position of every MethodInsnNode during code generation.

    Store the position of every MethodInsnNode during code generation. This allows each callsite in the call graph to remember its source position, which is required for inliner warnings.

11.  val callsites: Map[MethodNode, Map[MethodInsnNode, Callsite]]

    The call graph contains the callsites in the program being compiled.

    The call graph contains the callsites in the program being compiled.

    Indexing the call graph by the containing MethodNode and the invocation MethodInsnNode allows finding callsites efficiently. For example, an inlining heuristic might want to know all callsites within a callee method.

    Note that the call graph is not guaranteed to be complete: callsites may be missing. In particular, if a method is very large, all of its callsites might not be in the hash map. The reason is that adding a method to the call graph requires running an ASM analyzer, which can be too slow.

    Note that call graph entries (Callsite instances) keep a reference to the invocation MethodInsnNode, which keeps all AbstractInsnNodes of the method reachable. Adding classes from the classpath to the call graph (in addition to classes being compiled) may prevent method instruction nodes from being GCd. The ByteCodeRepository has a fixed size cache for parsed ClassNodes - keeping all ClassNodes alive consumed too much memory. The call graph is less problematic because only methods being called are kept alive, not entire classes. But we should keep an eye on this.

12.  def clone(): AnyRef
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.CloneNotSupportedException]) @native()
13.  val closureInstantiations: Map[MethodNode, Map[InvokeDynamicInsnNode, ClosureInstantiation]]

    Closure instantiations in the program being compiled.

    Closure instantiations in the program being compiled.

    Indexing closure instantiations by the containing MethodNode is beneficial for the closure optimizer: finding callsites to re-write requires running a producers-consumers analysis on the method. Here the closure instantiations are already grouped by method.

14.  def computeArgInfos(callee: Either[OptimizerWarning, Callee], callsiteInsn: MethodInsnNode, paramTps: FLazy[Array[Type]], typeAnalyzer: NonLubbingTypeFlowAnalyzer): IntMap[ArgInfo]
15.  def computeCapturedArgInfos(lmf: LambdaMetaFactoryCall, indyParamTypes: Array[Type], typeAnalyzer: NonLubbingTypeFlowAnalyzer): IntMap[ArgInfo]
16.  def containsCallsite(callsite: Callsite): Boolean
17.  def ensuring(cond: (CallGraph) => Boolean, msg: => Any): CallGraph
    Implicit
      This member is added by an implicit conversion from CallGraph toEnsuring[CallGraph] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
18.  def ensuring(cond: (CallGraph) => Boolean): CallGraph
    Implicit
      This member is added by an implicit conversion from CallGraph toEnsuring[CallGraph] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
19.  def ensuring(cond: Boolean, msg: => Any): CallGraph
    Implicit
      This member is added by an implicit conversion from CallGraph toEnsuring[CallGraph] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
20.  def ensuring(cond: Boolean): CallGraph
    Implicit
      This member is added by an implicit conversion from CallGraph toEnsuring[CallGraph] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
21.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
22.  def equals(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef → Any
23.  def finalize(): Unit
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.Throwable])
24.  def formatted(fmtstr: String): String
    Implicit
      This member is added by an implicit conversion from CallGraph toStringFormat[CallGraph] performed by method StringFormat in scala.Predef.
    Definition Classes
      StringFormat
    Annotations
      @inline()
25.  final def getClass(): Class[_ <: AnyRef]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
26.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
27.  val inlineAnnotatedCallsites: Set[MethodInsnNode]

    Stores callsite instructions of invocations annotated `f(): @inline/noinline`.

    Stores callsite instructions of invocations annotated `f(): @inline/noinline`. Instructions are added during code generation (BCodeBodyBuilder). The maps are then queried when building the CallGraph, every Callsite object has an annotated(No)Inline field.

28.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
29.  def isStaticCallsite(call: MethodInsnNode): Boolean
30.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
31.  val noInlineAnnotatedCallsites: Set[MethodInsnNode]
32.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
33.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
34.  def refresh(methodNode: MethodNode, definingClass: ClassBType): Unit
35.  def removeCallsite(invocation: MethodInsnNode, methodNode: MethodNode): Option[Callsite]
36.  def removeClosureInstantiation(indy: InvokeDynamicInsnNode, methodNode: MethodNode): Option[ClosureInstantiation]
37.  def samParamTypes(methodNode: MethodNode, paramTps: Array[Type], receiverType: ClassBType): IntMap[ClassBType]
38.  val staticallyResolvedInvokespecial: Set[MethodInsnNode]
39.  final def synchronized[T0](arg0: => T0): T0
    Definition Classes
      AnyRef
40.  def toString(): String
    Definition Classes
      AnyRef → Any
41.  final def wait(): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
42.  final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
43.  final def wait(arg0: Long): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException]) @native()
44.  object FLazy
45.  case object FunctionLiteral extends ArgInfo with Product with Serializable
46.  case object StaticallyKnownArray extends ArgInfo with Product with Serializable

### Deprecated Value Members

1.  def →[B](y: B): (CallGraph, B)
   Implicit
     This member is added by an implicit conversion from CallGraph toArrowAssoc[CallGraph] performed by method ArrowAssoc in scala.Predef.
   Definition Classes
     ArrowAssoc
   Annotations
     @deprecated
   Deprecated

     (Since version 2.13.0) Use `->` instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

### Inherited from AnyRef

### Inherited from Any

### Inherited by implicit conversion any2stringadd fromCallGraph to any2stringadd[CallGraph]

### Inherited by implicit conversion StringFormat fromCallGraph to StringFormat[CallGraph]

### Inherited by implicit conversion Ensuring fromCallGraph to Ensuring[CallGraph]

### Inherited by implicit conversion ArrowAssoc fromCallGraph to ArrowAssoc[CallGraph]

### Ungrouped