table_widget3 (library)
Author(s): Isabel Martín García.The predicates exported by this module display data in a regular table, as we brought up in the introduction. Both predicates have in common that the font weight for the elements placed in the first column is bold and the remaining elements are in medium font weight.
If the arguments are not in a correct format the exception error8 will be thrown.
Usage and interface
- Library usage:
:- use_module(library(table_widget3)). - Exports:
- Predicates:
tablewidget3/4, tablewidget3/5.
- Predicates:
- Imports:
- System library modules:
chartlib/genbar1, chartlib/bltclass, chartlib/table_widget1, chartlib/test_format, chartlib/install_utils, lists. - Packages:
prelude, nonpure, assertions, regtypes, isomodes.
- System library modules:
Documentation on exports
PREDICATE
tablewidget3(Title,Header,ElementTable,Footer)
Shows a regular table in a window. The user does not choose a background image.
Example:
tablewidget3('This is the title',
'Header text',
[['Number of processors','8'],['Average processors','95'],
['Tasks per fork','7.5']],
'Footer text').
Usage:
- The following properties should hold at call time:
(genbar1:title/1)Title is a text (an atom) to be used as label, usually not very long.
(genbar1:header/1)Header is a text (an atom) describing the header of the graph.
(table_widget1:table/1)table_widget1:table(ElementTable)
(genbar1:footer/1)Footer is a text (an atom) describing the footer of the graph.
PREDICATE
tablewidget3(Title,Header,ElementTable,Footer,BackgroundImage)
Shows a regular table in a window. The user must set a background image.
Example:
tablewidget3('This is the title',
'Header text',
[['Number of processors','8'],['Average processors','95'],
['Average Tasks per fork','7.5']],
'Footer text',
'./images/rain.gif')
Usage:
- The following properties should hold at call time:
(genbar1:title/1)Title is a text (an atom) to be used as label, usually not very long.
(genbar1:header/1)Header is a text (an atom) describing the header of the graph.
(table_widget1:table/1)table_widget1:table(ElementTable)
(genbar1:footer/1)Footer is a text (an atom) describing the footer of the graph.
(table_widget1:image/1)table_widget1:image(BackgroundImage)
