kbcv.model

Model

trait Model extends AnyRef

This trait provides the basic functions for the communication with the core.

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

Abstract Value Members

  1. 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

    Attributes
    abstract
  2. def compute : Boolean

    A flag used for automatic completion.

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

    Attributes
    abstract
  3. def compute_= (b: Boolean): Unit

    The setter for compute used in automatic completion.

    The setter for compute used in automatic completion.

    b

    a boolean

    Attributes
    abstract
  4. def lang : Lang

    The language used by the model.

    The language used by the model.

    Attributes
    abstract
  5. 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).

    Attributes
    abstract
  6. 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

    Attributes
    abstract
  7. def state : Stacks

    A reference to the Stacks object.

    A reference to the Stacks object.

    Attributes
    abstract
  8. 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

    Attributes
    abstract

Concrete 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
    
  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 synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  19. def toString (): String

    Definition Classes
    AnyRef → Any
  20. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  21. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  22. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any