BIBLIOTHECA OPALICA

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

SeqEntry

This structure provides a view for sequences as listbox. The entries may be edited by the user.

Signature of SeqEntry

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 SeqEntry[data, parse, print]

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

Parameter

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

IMPORT ParserL[data] ONLY parser

Imports

IMPORT Com[seqEntry] ONLY com
       Com[void] ONLY com
       Com[data] ONLY com
       Com[seq[data]] ONLY com
       Com[pair[nat, 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
       Seq[data] ONLY seq
       Pair[nat, nat] ONLY pair
       Pair[nat, data] ONLY pair
       WinEvent ONLY event:SORT eventInfo:SORT
       WinRegulator ONLY regulator:SORT

The new sort and its constructors

SORT seqEntry

There are three versions available for seqEntries:

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

specify width, height

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

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

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

Control for OpalWin

FUN view: seqEntry -> view
FUN regulator: seqEntry -> regulator

Accessing contents

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

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

FUN set: seqEntry ** seq[data] -> com[void]

get the displayed map or selected map

FUN get: seqEntry -> com[seq[data]]
FUN getSelection: seqEntry -> com[seq[data]]

get index and entry in line which contains point

FUN get: seqEntry ** point -> com[pair[nat, data]]

update data as specified by function

FUN upd: seqEntry ** (seq[data] -> seq[data]) -> com[void]

Binding Events

FUN bind: seqEntry ** event ** 
          (seqEntry ** eventInfo -> com[void]) -> com[void]
FUN bind: seqEntry ** event ** 
          (seqEntry ** eventInfo ** seq -> 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: seqEntry ** (seq -> com[void]) -> com[void]

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