interprocedural

Type Members

1. abstract class Callee extends AnyRef

   

2. final case class InstanceCallee(callee: Signature, ins: Instance) extends Callee with Product with Serializable

   

3. trait InterproceduralGraph[Node <: InterproceduralNode] extends AlirGraph[Node] with AlirEdgeAccesses[Node] with AlirSuccPredAccesses[Node] with Serializable

   

4. abstract class InterproceduralNode extends PropertyProvider with Serializable

   

5. final case class StaticCallee(callee: Signature) extends Callee with Product with Serializable

   

6. final case class UnknownCallee(callee: Signature) extends Callee with Product with Serializable