Trait/Object

org.argus.jawa.compiler.alir

ControlFlowGraph

Related Docs: object ControlFlowGraph | package alir

Permalink

trait ControlFlowGraph[VirtualLabel] extends AlirIntraProceduralGraph[Node, VirtualLabel] with AlirSuccPredAccesses[Node]

Linear Supertypes
AlirSuccPredAccesses[Node], AlirIntraProceduralGraph[Node, VirtualLabel], AlirGraph[Node], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ControlFlowGraph
  2. AlirSuccPredAccesses
  3. AlirIntraProceduralGraph
  4. AlirGraph
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Edge = AlirEdge[Node]

    Permalink
    Definition Classes
    AlirGraph

Abstract Value Members

  1. abstract def entryNode: Node

    Permalink

  2. abstract def exitNode: Node

    Permalink

  3. abstract def pool: MMap[AlirIntraProceduralNode, Node]

    Permalink
    Attributes
    protected
    Definition Classes
    AlirIntraProceduralGraph

  4. abstract def reverse: ControlFlowGraph[VirtualLabel]

    Permalink

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def addNode(locUri: Option[ResourceUri], locIndex: Int): Node

    Permalink
    Definition Classes
    AlirIntraProceduralGraph

  5. def addNode(node: Node): Node

    Permalink
    Definition Classes
    AlirIntraProceduralGraph

  6. def addVirtualNode(vlabel: VirtualLabel): Node

    Permalink
    Definition Classes
    AlirIntraProceduralGraph

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  9. def edgeSource(edge: AlirEdge[Node]): Node

    Permalink
    Attributes
    protected
    Definition Classes
    AlirSuccPredAccesses

  10. def edgeTarget(edge: AlirEdge[Node]): Node

    Permalink
    Attributes
    protected
    Definition Classes
    AlirSuccPredAccesses

  11. def edges: Iterable[Edge]

    Permalink
    Definition Classes
    AlirGraph

  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  16. def getEdges(n1: Node, n2: Node): CSet[Edge]

    Permalink
    Definition Classes
    AlirGraph

  17. def getNode(l: LocationDecl): Node

    Permalink
    Definition Classes
    AlirIntraProceduralGraph

  18. def getNode(locUri: Option[ResourceUri], locIndex: Int): Node

    Permalink
    Definition Classes
    AlirIntraProceduralGraph

  19. def getNode(n: Node): Node

    Permalink
    Definition Classes
    AlirIntraProceduralGraph → AlirGraph

  20. def getVirtualNode(vlabel: VirtualLabel): Node

    Permalink
    Definition Classes
    AlirIntraProceduralGraph

  21. val graph: DirectedPseudograph[Node, Edge]

    Permalink
    Attributes
    protected
    Definition Classes
    AlirIntraProceduralGraph → AlirGraph

  22. def hasEdge(n1: Node, n2: Node): Boolean

    Permalink
    Definition Classes
    AlirGraph

  23. def hasNode(n: Node): Boolean

    Permalink
    Definition Classes
    AlirGraph

  24. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  26. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  27. def newNode(locUri: Option[ResourceUri], locIndex: Int): AlirLocationNode with Product with Serializable

    Permalink
    Attributes
    protected
    Definition Classes
    AlirIntraProceduralGraph

  28. def newVirtualNode(vlabel: VirtualLabel): AlirVirtualNode[VirtualLabel]

    Permalink
    Attributes
    protected
    Definition Classes
    AlirIntraProceduralGraph

  29. def nodes: Iterable[Node]

    Permalink
    Definition Classes
    AlirGraph

  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  32. def numOfEdges: Int

    Permalink
    Definition Classes
    AlirGraph

  33. def numOfNodes: Int

    Permalink
    Definition Classes
    AlirGraph

  34. def prePostNodeOrder(n: Node): MMap[Node, (Int, Int)]

    Permalink
    Definition Classes
    AlirGraph

  35. def predecessor(edge: Edge): Node

    Permalink
    Definition Classes
    AlirSuccPredAccesses

  36. def predecessorEdges(node: Node): CSet[Edge]

    Permalink
    Definition Classes
    AlirSuccPredAccesses

  37. def predecessors(node: Node): CSet[Node]

    Permalink
    Definition Classes
    AlirSuccPredAccesses

  38. def stronglyConnectedSets: Iterable[CSet[Node]]

    Permalink
    Definition Classes
    AlirGraph

  39. def successor(edge: Edge): Node

    Permalink
    Definition Classes
    AlirSuccPredAccesses

  40. def successorEdges(node: Node): CSet[Edge]

    Permalink
    Definition Classes
    AlirSuccPredAccesses

  41. def successors(node: Node): CSet[Node]

    Permalink
    Definition Classes
    AlirSuccPredAccesses

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

    Permalink
    Definition Classes
    AnyRef

  43. def toDot(w: Writer): Unit

    Permalink
    Definition Classes
    AlirIntraProceduralGraph

  44. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  45. val vlabelProvider: VertexNameProvider[Node]

    Permalink
    Attributes
    protected
    Definition Classes
    AlirIntraProceduralGraph

  46. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  48. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AlirSuccPredAccesses[Node]

Inherited from AlirIntraProceduralGraph[Node, VirtualLabel]

Inherited from AlirGraph[Node]

Inherited from AnyRef

Inherited from Any

Ungrouped