kbcv.model

KBCV

object KBCV extends Model

This object implements all methods of the Model trait.

Some defaults such as language and initial example are set.

Linear Supertypes
Model, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. KBCV
  2. Model
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

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. val cdl : CountDownLatch

    This java.util.concurrent.CountDownLatch is only used if the -a flag is set like:

    This java.util.concurrent.CountDownLatch is only used if the -a flag is set like:

    # ./kbcv -a
    Definition Classes
    Model

  8. def clone (): AnyRef

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

  9. def cmd (msg: Request): Unit

    Takes a Request gives it to the Interpretor and after that calls kbcv.model.Model.updateViews with the generated Reply.

    Takes a Request gives it to the Interpretor and after that calls kbcv.model.Model.updateViews with the generated Reply.

    msg

    the Request to handle

    Definition Classes
    KBCV → Model

  10. var compute : Boolean

    A flag used for automatic completion.

    A flag used for automatic completion. It is set to false by default.

    Definition Classes
    KBCV → Model

  11. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  12. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  13. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  15. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  16. val inittrs : String

    The initial equational system to show in the view.

  17. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  18. def lang : EN

    The language used by the model.

    The language used by the model.

    Definition Classes
    KBCV → Model

  19. def ms : Boolean

    Indicates if kbcv is running on a Windows machine (true) or not (false).

    Indicates if kbcv is running on a Windows machine (true) or not (false).

    Definition Classes
    KBCV → Model

  20. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  21. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  22. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  23. def parse (args: Array[String]): Unit

    Parse the input arguments to set various options.

    Parse the input arguments to set various options.

    args

    the command line arguments given to kbcv

  24. def register (v: View): Unit

    Adds a view to the update list.

    Adds a view to the update list.

    v

    a view which should be notified in case of an update

    Definition Classes
    KBCV → Model

  25. def state : Stacks

    A reference to the Stacks object.

    A reference to the Stacks object.

    Definition Classes
    KBCV → Model

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

    Attributes
    final
    Definition Classes
    AnyRef

  27. def toString (): String

    Definition Classes
    AnyRef → Any

  28. def updateViews (rpl: Reply): Unit

    Takes a Reply and updates the views in the update list accordingly.

    Takes a Reply and updates the views in the update list accordingly.

    rpl

    the Reply to use for the update

    Definition Classes
    KBCV → Model

  29. val version : String

    The current version of kbcv.

    The current version of kbcv.

    The current version is: kbcv 1.5

  30. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  32. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Model

Inherited from AnyRef

Inherited from Any