BIBLIOTHECA OPALICA

next node: SetEntryNE,
prev node: SeqEntryNE,
up to node: Subsystem Opal Window Additions

SetEntry

This structure provides a view for sets as listbox. The netries may be edited by het user.

Signature of SetEntry

List of Import References :
See BOOL
See BTUnion
See Char
See Com
See DENOTATION
See Int
See Nat
See Option
See Pair
See ParserL
See Real
See Seq
See Set
See String
See Void
See WinConfig
See WinEmitter
See WinEvent
See WinInternal
See WinRegulator
See WinTclTk

SIGNATURE SetEntry[data, <, parse, print]

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

Parameter

SORT data
FUN < : data ** data -> bool
FUN parse: parser[data]
FUN print: data -> denotation

IMPORT ParserL[data] ONLY parser

Imports

IMPORT Com[setEntry] ONLY com
       Com[void] ONLY com
       Com[data] ONLY com
       Com[set[data, <]] ONLY com
       Void ONLY void
       WinConfig ONLY point
       WinInternal ONLY view:SORT config:SORT
       WinEmitter[nat] ONLY emitter:SORT
       WinEmitter[data] ONLY emitter:SORT
       Nat ONLY nat
       Set[data, <] ONLY set
       Pair[nat, nat] ONLY pair
       WinEvent ONLY event:SORT eventInfo:SORT
       WinRegulator ONLY regulator:SORT

The new sort and its constructors

SORT setEntry

There are three versions available for setEntries:

default version
```
FUN setEntry: com[setEntry]
```

specify width, height

FUN setEntry: nat ** nat -> com[setEntry]

specify configuration. Use any configuration appropriate for a text view except edit.
```
FUN setEntry: config -> com[setEntry]
```

FUN defaultDim: pair[nat, nat]
FUN defaultConfig: config

Control for OpalWin

FUN view: setEntry -> view
FUN regulator: setEntry -> regulator

Accessing contents

Note: getXXX and upd fail, if text cannot be parsed as data.

set the displayed value (blocked until setEntry is displayed!, spwan an agent to initialize the entry!)

FUN set: setEntry ** set[data, <] -> com[void]

get the displayed map or selected map

FUN get: setEntry -> com[set[data, <]]
FUN getSelection: setEntry -> com[set[data, <]]

get index and entry in line which contains point

FUN get: setEntry ** point -> com[data]

update data as specified by function

FUN upd: setEntry ** (set[data, <] -> set[data, <]) -> com[void]

Binding Events

FUN bind: setEntry ** event ** 
          (setEntry ** eventInfo -> com[void]) -> com[void]
FUN bind: setEntry ** event ** 
          (setEntry ** eventInfo ** set[data, <] -> com[void]) -> com[void]

Specify a command, which is called, whenever set or upd have been called. This may be repeated for different commands. Note that direct changes by the user do not trigger the command (but you could bind the return key to a similar command).

FUN sync: setEntry ** (set[data, <] -> com[void]) -> com[void]

next node: SetEntryNE,
prev node: SeqEntryNE,
up to node: Subsystem Opal Window Additions