This structure provides a view for sequences as listbox. The entries cannot be edited by the user.
List of Import References :
See BOOL
See BTUnion
See Char
See Com
See DENOTATION
See Int
See Nat
See Option
See Pair
See Real
See Seq
See Set
See String
See Void
See WinConfig
See WinEmitter
See WinEvent
See WinInternal
See WinRegulator
See WinTclTk
SIGNATURE SeqEntryNE[data, print]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
SORT data FUN print: data -> denotation
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
SORT seqEntry
There are three versions available for seqEntries:
FUN seqEntry: seq[data] -> com[seqEntry]
FUN seqEntry: seq[data] ** nat ** nat -> com[seqEntry]
FUN seqEntry: seq[data] ** config -> com[seqEntry]
FUN defaultDim: pair[nat, nat] FUN defaultConfig: config
FUN view: seqEntry -> view FUN regulator: seqEntry -> regulator
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]
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.
FUN sync: seqEntry ** (seq -> com[void]) -> com[void]
next node: SetEntry,
prev node: SeqEntry,
up to node: Subsystem Opal Window Additions