Dataflow

Value Members

1. def != (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

2. def != (arg0: Any): Boolean

   Attributes

   final

   Definition Classes

   Any

3. def ## (): Int

   Attributes

   final

   Definition Classes

   AnyRef → Any

4. def == (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

5. def == (arg0: Any): Boolean

   Attributes

   final

   Definition Classes

   Any

6. def asInstanceOf [T0] : T0

   Attributes

   final

   Definition Classes

   Any

7. def clone (): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

8. val defines : $eq$eq$greater[Stm, Set[Var]]

   Variable definitions.

   Variable definitions.

   Definition Classes

   VariablesImpl → Variables

9. def eq (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

10. def equals (arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

11. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

12. val following : $eq$eq$greater[Stm, Set[Stm]]

    Control flow default successor relation.

    Control flow default successor relation.

    Definition Classes

    ControlFlowImpl → ControlFlow

13. def getClass (): java.lang.Class[_]

    Attributes

    final

    Definition Classes

    AnyRef → Any

14. def hashCode (): Int

    Definition Classes

    AnyRef → Any

15. var icount : Int

    Definition Classes

    LivenessImpl

16. val in : (Stm) ⇒ Set[Var]

    Variables "live" into a statement.

    Variables "live" into a statement.

    Definition Classes

    LivenessImpl → Liveness

17. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

18. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

19. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

20. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

21. var ocount : Int

    Definition Classes

    LivenessImpl

22. val out : (Stm) ⇒ Set[Var]

    Variables "live" out of a statement.

    Variables "live" out of a statement.

    Definition Classes

    LivenessImpl → Liveness

23. val succ : $eq$eq$greater[Stm, Set[Stm]]

    Control flow successor relation.

    Control flow successor relation.

    Definition Classes

    ControlFlowImpl → ControlFlow

24. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes

    final

    Definition Classes

    AnyRef

25. def toString (): String

    Definition Classes

    AnyRef → Any

26. val uses : $eq$eq$greater[Stm, Set[Var]]

    Variable uses.

    Variable uses.

    Definition Classes

    VariablesImpl → Variables

27. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

29. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()