Gui Programming
Programming Graphical User Interfaces in MINERVA exploits
the power of recursive data structures of MINERVA and
the wide availability and interoperability of the Java AWT.
MINERVA supports GUI programming with two user modifiable packages:
gui and guibuilder.
gui
The MINERVA package gui is a one-to-one mapping of the
essential methods of the Java AWT toolkit, thus allows to
program at the fine-grained abstraction level and detail of the AWT.
The MINERVA developer can extend this package and add new or own
predicates.
guibuilder
The MINERVA package guibuilder is a higher level description
language that allows to denote a complete GUI window, e.g. an applet
or frame in a single MINERVA term, complete with menues, selections
and graphics areas.
guibuilder is implemented with the MINERVA package gui
and allows use of fine AWT-level statements if needed.
The MINERVA developer can extend this package and add new or own
functionality and higher-level abstractions, for example to enforce
corporate user-interface policies for useability, uniform appearance
or rigorous software engineering.
Package: gui
guievent
Package: guibuilder
Darueber
read on...
