Event

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 apply (v: Variable, action: ⇒ Unit = null, intaction: (Int) ⇒ Unit = null, intsetaction: (SortedSet[Int]) ⇒ Unit = null, ModifiedVars: Iterable[Variable] = null): Event

   this is an event, which is used to run dedicated code when the value of some variable changes.

   this is an event, which is used to run dedicated code when the value of some variable changes. It can also impact on the value of other variable, although it is not recommended to implement invariants as events, because you cannot have the delta.

   v

   the variable whose change will trigger the execution of action

   action

   the action to execute when the variable changes.

   ModifiedVars

   the variables that could be modified by the Event

7. def asInstanceOf [T0] : T0

   Attributes

   final

   Definition Classes

   Any

8. def clone (): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

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. def getClass (): java.lang.Class[_]

    Attributes

    final

    Definition Classes

    AnyRef → Any

13. def hashCode (): Int

    Definition Classes

    AnyRef → Any

14. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

15. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

16. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

17. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

18. def readResolve (): AnyRef

    Attributes

    protected

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

    Attributes

    final

    Definition Classes

    AnyRef

20. def toString (): String

    Definition Classes

    AnyRef → Any

21. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

23. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()