WinRegulator

This structure provides the gate of regulators.

Signature of WinRegulator

List of Import References :
See BOOL
See Char
See Com
See DENOTATION
See Nat
See Option
See Pair
See Real
See Seq
See Set
See String
See Void
See WinInternal
See WinTclTk

SIGNATURE WinRegulator

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT  Com[regulator]          ONLY com
        Com[void]               ONLY com
        Com[config]             ONLY com
        Com[pair[config,version]] ONLY com
        Pair[config,version]    ONLY pair
        Void                    ONLY void

IMPORT  WinInternal             ONLY config:SORT

Regulator Gate

A regulator is a gate which represents an adjustable configuration. Agents may get or set the configuration, or may synchronize with state changes.

SORT regulator

FUN  regulator  : com[regulator]

FUN  set        : regulator ** config   -> com[void]
FUN  get        : regulator             -> com[config]

SORT version
FUN  first      : version
FUN  next       : version               -> version
FUN  <          : version ** version    -> bool
FUN  sync       : regulator ** version  -> com[pair[config,version]]

The basic idea of synchronizing with a regulator is to tag configuration settings with abstract versions. The command sync(R,V) will be provided by the regulator only if the current version of the regulator configuration is more recent than the passed one.

Regulator Configuration

Regulators may be attached to views or to items via their configuration, such that each time the regulator is changed the view or item will synchronize its configuration.

FUN  regulate   : regulator             -> config

next node: WinScrollbar,
prev node: WinImage,
up to node: Subsystem Opal Windows