Configuration

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

6. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def canReturn(t: Int): Boolean

   Can t's operation return?

8. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

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

   Definition Classes

   AnyRef

10. def equals(other: Any): Boolean

    Definition Classes

    Configuration → AnyRef → Any

11. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

12. def fire(t: Int): Either[Configuration[S], Any]

    Try to fire t's operation if it produces the expected value (non-destructive).

    Try to fire t's operation if it produces the expected value (non-destructive). Pre: t has a pending operation.

    returns

    Either the new configuration (if successful) or the result produced (otherwise).

13. def fireRet(t: Int): Either[Configuration[S], Any]

    Try to return t's operation, firing it if it hasn't already been fired and produces the expected value (non-destructive).

    Try to return t's operation, firing it if it hasn't already been fired and produces the expected value (non-destructive). Pre: thread t is in either a Pending or Ret state

    returns

    Either the new configuration (if successful) or the result produced (otherwise).

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

    Definition Classes

    AnyRef → Any

15. def hasPending(t: Int): Boolean

    Does t have a pending operation?

16. def hashCode(): Int

    Definition Classes

    Configuration → AnyRef → Any

17. def invoke[A](t: Int, msg: String, op: (S) ⇒ (A, S), result: A): Unit

    Log that op is invoked upon this configuration (destructive).

18. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

19. def logInvoke[A](t: Int, msg: String, op: (S) ⇒ (A, S), result: A): Configuration[S]

    Create new configuration corresponding to op being invoked by t.

    Create new configuration corresponding to op being invoked by t. (Non-destructive.)

20. def logReturnJITLin(t: Int, result: Any, configs: Configs): Unit

    Create new configurations caused by firing any pending operations from this, then logging t returning result; t should be the last fired, or no operations should be fired if t has already been fired.

    Create new configurations caused by firing any pending operations from this, then logging t returning result; t should be the last fired, or no operations should be fired if t has already been fired. Add all such to configs. (Destructive.)

21. def logReturnJITLinND(t: Int, result: Any): ConfigsAB

    Create new configurations caused by firing any pending operations from this, then logging t returning result; t should be the last fired, or no operations should be fired if t has already been fired.

    Create new configurations caused by firing any pending operations from this, then logging t returning result; t should be the last fired, or no operations should be fired if t has already been fired. (Non-destructive.)

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

    Definition Classes

    AnyRef

23. final def notify(): Unit

    Definition Classes

    AnyRef

24. final def notifyAll(): Unit

    Definition Classes

    AnyRef

25. var stateWrapper: StateWrapper[S]

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

    Definition Classes

    AnyRef

27. val tStates: ThreadStates[S]

28. def toString(): String

    Definition Classes

    Configuration → AnyRef → Any

29. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()